Foundations of Temporal Conceptual Data Models

DOI10.1007/978-3-642-02463-4_2MaRDI QIDQ3637331zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Evolving objects in temporal information systems
• Foundations of Information and Knowledge Systems
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• scientific article; zbMATH DE number 1931652

Cites work

• scientific article; zbMATH DE number 1348742 (Why is no real title available?)
• scientific article; zbMATH DE number 1182728 (Why is no real title available?)
• scientific article; zbMATH DE number 1182733 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1931652 (Why is no real title available?)
• Conceptual Modeling for Traditional and Spatio-Temporal Applications
• Data complexity of query answering in description logics
• Decidable fragments of first-order temporal logics
• Evolving objects in temporal information systems
• Foundations of Information and Knowledge Systems
• Many-dimensional modal logics: theory and applications
• Reasoning on UML class diagrams
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family

Cited in

(12)

• On conceptual model specification and verification
• scientific article; zbMATH DE number 1931652 (Why is no real title available?)
• scientific article; zbMATH DE number 4119617 (Why is no real title available?)
• scientific article; zbMATH DE number 7760478 (Why is no real title available?)
• A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
• scientific article; zbMATH DE number 2080610 (Why is no real title available?)
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• Evolving objects in temporal information systems
• OSM-logic: a fact-oriented, time-dependent formalization of object-oriented systems modeling
• Foundations of Information and Knowledge Systems
• A temporal versioned object-oriented data schema model

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637331)