Foundations of Temporal Conceptual Data Models
From MaRDI portal
Publication:3637331
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
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