A survey of temporal extensions of description logics

DOI10.1023/A:1016636131405zbMath0998.03013OpenAlexW2128204593MaRDI QIDQ1601879

Alessandro Artale, Enrico Franconi

Publication date: 27 June 2002

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016636131405

zbMATH Keywords

surveydescription logicstemporal logicscomputational propertiestemporal extensions of description logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Temporal logic (03B44)

Related Items (19)

Towards World Identification in Description Logics ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ First-order temporal verification in practice ⋮ Evolving objects in temporal information systems ⋮ Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters ⋮ Non-finitely axiomatisable two-dimensional modal logics ⋮ Reasoning on temporal class diagrams: Undecidability results ⋮ A description logic based situation calculus ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ An NP-complete fragment of fibring logic ⋮ Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited ⋮ Planning temporal events using point-interval logic ⋮ Towards constructive DL for abstraction and refinement ⋮ Checking content consistency of integrated web documents ⋮ DL-Lite with Temporalised Concepts, Rigid Axioms and Roles ⋮ Runtime Verification Using a Temporal Description Logic ⋮ Decidable fragments of first-order temporal logics ⋮ Combining interval-based temporal reasoning with general TBoxes

This page was built for publication: A survey of temporal extensions of description logics