Runtime verification using the temporal description logic ALC-LTL revisited

DOI10.1016/J.JAL.2014.09.001zbMATH Open1310.68140OpenAlexW2005484623WikidataQ57383679 ScholiaQ57383679MaRDI QIDQ472810FDOQ472810

Authors: Franz Baader, Marcel Lippmann 

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

Recommendations

• Runtime verification using a temporal description logic
• Comparing LTL semantics for runtime verification
• An LTL proof system for runtime verification
• Monitoring of Real-Time Properties
• scientific article; zbMATH DE number 6930545

zbMATH Keywords

runtime verificationmonitoringtemporal description logics

Mathematics Subject Classification ID

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

Cites Work

• Many-dimensional modal logics: theory and applications
• The complexity of propositional linear temporal logics
• Title not available (Why is that?)
• Monitoring of Real-Time Properties
• Title not available (Why is that?)
• Attributive concept descriptions with complements
• Reasoning about infinite computations
• Title not available (Why is that?)
• Runtime verification using a temporal description logic
• Title not available (Why is that?)
• Comparing LTL semantics for runtime verification
• Model checking of safety properties
• Defining liveness
• A survey of temporal extensions of description logics
• LTL over description logic axioms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematical Foundations of Computer Science 2003

Cited In (10)

• An LTL proof system for runtime verification
• Computer says no: verdict explainability for runtime monitors using a local proof system
• Title not available (Why is that?)
• Comparing trace expressions and linear temporal logic for runtime verification
• Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
• First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
• Runtime verification using a temporal description logic
• Runtime enforcement using knowledge bases
• Comparing LTL semantics for runtime verification
• Rule systems for run-time monitoring: from EAGLE to RULER

Uses Software

• LTL2BA

This page was built for publication: Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q472810)