Runtime Verification Using a Temporal Description Logic

DOI10.1007/978-3-642-04222-5_9zbMath1193.68160OpenAlexW1581671536MaRDI QIDQ3655197

Andreas Bauer, Franz Baader, Marcel Lippmann

Publication date: 7 January 2010

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04222-5_9

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Data repair of inconsistent nonmonotonic description logic programs, Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited, Monitoring Metric First-Order Temporal Properties

Cites Work

• Unnamed Item
• Attributive concept descriptions with complements
• Reasoning about infinite computations
• A survey of temporal extensions of description logics
• LTL over description logic axioms
• Comparing LTL Semantics for Runtime Verification
• Monitoring of Real-Time Properties