Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

DOI10.1007/978-3-642-24364-6_1zbMath1348.68235DBLPconf/frocos/ArtaleKRZ11OpenAlexW89083043WikidataQ62048627 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

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

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
• 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

This page was built for publication: Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models