DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
From MaRDI portal
Publication:3655196
DOI10.1007/978-3-642-04222-5_8zbMath1193.68232WikidataQ62048635 ScholiaQ62048635MaRDI QIDQ3655196
Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov, Michael Zakharyashchev
Publication date: 7 January 2010
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04222-5_8
68T27: Logic in artificial intelligence
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
- Data complexity of query answering in description logics
- Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
- Many-dimensional modal logics: theory and applications
- A survey of temporal extensions of description logics
- Evolving objects in temporal information systems
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- LTL over description logic axioms
- The DL-Lite Family and Relations
- Linking Data to Ontologies
- Conceptual Modeling for Traditional and Spatio-Temporal Applications