A survey of temporal extensions of description logics
From MaRDI portal
Publication:1601879
DOI10.1023/A:1016636131405zbMath0998.03013MaRDI QIDQ1601879
Alessandro Artale, Enrico Franconi
Publication date: 27 June 2002
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
survey; description logics; temporal logics; computational properties; temporal extensions of description logics
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
68-02: Research exposition (monographs, survey articles) pertaining to computer science
03B44: Temporal logic
Related Items
A description logic based situation calculus, Combining interval-based temporal reasoning with general TBoxes, First-order temporal verification in practice, Reasoning on temporal class diagrams: Undecidability results, Towards constructive DL for abstraction and refinement, Decidable fragments of first-order temporal logics, Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design, Evolving objects in temporal information systems, Planning temporal events using point-interval logic, Checking content consistency of integrated web documents, Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters, Non-finitely axiomatisable two-dimensional modal logics, DL-Lite with Temporalised Concepts, Rigid Axioms and Roles, Runtime Verification Using a Temporal Description Logic