Foundations of Temporal Conceptual Data Models

DOI10.1007/978-3-642-02463-4_2zbMath1248.68160OpenAlexW2139125912MaRDI QIDQ3637331

Alessandro Artale, Enrico Franconi

Publication date: 9 July 2009

Published in: Conceptual Modeling: Foundations and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02463-4_2

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Temporal logic (03B44) General topics in the theory of data (68P01)

Related Items (3)

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling

Cites Work

• Data complexity of query answering in description logics
• Many-dimensional modal logics: theory and applications
• Decidable fragments of first-order temporal logics
• Evolving objects in temporal information systems
• Reasoning on UML class diagrams
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Conceptual Modeling for Traditional and Spatio-Temporal Applications
• Foundations of Information and Knowledge Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Foundations of Temporal Conceptual Data Models