A survey of temporal extensions of description logics
DOI10.1023/A:1016636131405zbMATH Open0998.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
surveydescription logicstemporal logicscomputational propertiestemporal extensions of description logics
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in artificial intelligence (68T27) Temporal logic (03B44)
Cited In (24)
- Queries on ontologies with temporal dependences on Allen's extended interval logic
- Runtime Verification Using a Temporal Description Logic
- Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters
- First-order temporal verification in practice
- Combining interval-based temporal reasoning with general TBoxes
- Reasoning on temporal class diagrams: Undecidability results
- Decidable temporal dynamic description logic
- Towards World Identification in Description Logics
- A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
- Temporalizing description logics
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- A description logic based situation calculus
- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Evolving objects in temporal information systems
- An NP-complete fragment of fibring logic
- Checking content consistency of integrated web documents
- Towards constructive DL for abstraction and refinement
- Planning temporal events using point-interval logic
- Decidable fragments of first-order temporal logics
- Non-finitely axiomatisable two-dimensional modal logics
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
This page was built for publication: A survey of temporal extensions of description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1601879)
