Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
From MaRDI portal
Publication:3172878
DOI10.1007/978-3-642-24364-6_1zbMATH Open1348.68235DBLPconf/frocos/ArtaleKRZ11OpenAlexW89083043WikidataQ62048627 ScholiaQ62048627MaRDI QIDQ3172878FDOQ3172878
Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev, Alessandro Artale
Publication date: 7 October 2011
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://eprints.bbk.ac.uk/id/eprint/6637/1/AKRZfrocos11.pdf
Recommendations
- Temporalizing description logics
- scientific article; zbMATH DE number 1931652
- Time-dependent concepts: representation and reasoning using temporal description logics
- A survey of temporal extensions of description logics
- Temporally attributed description logics
- A Correspondence between Temporal Description Logics
- Decidable temporal dynamic description logic
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- Temporal logic programs with temporal description logic axioms
Cites Work
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- The DL-Lite Family and Relations
- Linking Data to Ontologies
- Many-dimensional modal logics: theory and applications
- Temporal logic. Vol. 2. Mathematical foundations and computational aspects
- Title not available (Why is that?)
- Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
- Reasoning on UML class diagrams
- Dynamic constraints and object migration
- Evolving objects in temporal information systems
- Conceptual Modeling for Traditional and Spatio-Temporal Applications
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
- Foundations of Temporal Conceptual Data Models
- DL-Lite with temporalised concepts, rigid axioms and roles
Cited In (9)
- DL-Lite with temporalised concepts, rigid axioms and roles
- Title not available (Why is that?)
- Decidable temporal dynamic description logic
- Temporalizing description logics
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- Foundations of Temporal Conceptual Data Models
- Evolving objects in temporal information systems
- Title not available (Why is that?)
This page was built for publication: Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172878)
