Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
From MaRDI portal
Publication:3172878
DOI10.1007/978-3-642-24364-6_1zbMath1348.68235WikidataQ62048627 ScholiaQ62048627MaRDI QIDQ3172878
Roman Kontchakov, Vladislav Ryzhikov, Alessandro Artale, Michael Zakharyashchev
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
Related Items
A Cookbook for Temporal Conceptual Data Modelling with Description Logics, Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Cites Work
- Unnamed Item
- Unnamed Item
- Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
- Dynamic constraints and object migration
- Many-dimensional modal logics: theory and applications
- Evolving objects in temporal information systems
- Reasoning on UML class diagrams
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
- Foundations of Temporal Conceptual Data Models
- The DL-Lite Family and Relations
- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
- Linking Data to Ontologies
- Conceptual Modeling for Traditional and Spatio-Temporal Applications
