Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited

DOI10.1016/j.jal.2014.09.001zbMath1310.68140OpenAlexW2005484623WikidataQ57383679 ScholiaQ57383679MaRDI QIDQ472810

Marcel Lippmann, Franz Baader

Publication date: 20 November 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2014.09.001

zbMATH Keywords

monitoringruntime verificationtemporal description logics

Mathematics Subject Classification ID

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

Uses Software

• LTL2BA

Cites Work

• Attributive concept descriptions with complements
• Defining liveness
• Reasoning about infinite computations
• Many-dimensional modal logics: theory and applications
• A survey of temporal extensions of description logics
• LTL over description logic axioms
• Comparing LTL Semantics for Runtime Verification
• Runtime Verification Using a Temporal Description Logic
• The complexity of propositional linear temporal logics
• Monitoring of Real-Time Properties
• Mathematical Foundations of Computer Science 2003
• Model checking of safety properties
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item