Foundations of Temporal Conceptual Data Models
From MaRDI portal
Publication:3637331
DOI10.1007/978-3-642-02463-4_2zbMath1248.68160MaRDI 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
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B44: Temporal logic
68P01: General topics in the theory of data
Related Items
A Cookbook for Temporal Conceptual Data Modelling with Description Logics, Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models, 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