DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

DOI10.1007/978-3-642-04222-5_8zbMath1193.68232DBLPconf/frocos/ArtaleKRZ09OpenAlexW1568935600WikidataQ62048635 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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics

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

This page was built for publication: DL-Lite with Temporalised Concepts, Rigid Axioms and Roles