A conceptual modelling formalism for temporal database applications
Information Systems
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Dynamic constraints and object migration
Theoretical Computer Science
Temporal Entity-Relationship Models-A Survey
IEEE Transactions on Knowledge and Data Engineering
Combining Terminological Logics with Tense Logic
EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Proceedings of the Seventh International Conference on Data Engineering
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Conceptual Modeling for Traditional and Spatio-Temporal Applications: The MADS Approach
Conceptual Modeling for Traditional and Spatio-Temporal Applications: The MADS Approach
Temporalising Tractable Description Logics
TIME '07 Proceedings of the 14th International Symposium on Temporal Representation and Reasoning
Evolving objects in temporal information systems
Annals of Mathematics and Artificial Intelligence
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Temporal Description Logics: A Survey
TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
Capturing Temporal Constraints in Temporal ER Models
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
DL-lite in the light of first-order logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Reasoning on UML class diagrams
Artificial Intelligence
The DL-lite family and relations
Journal of Artificial Intelligence Research
Reasoning over extended ER models
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Journal on data semantics X
DL-Lite with temporalised concepts, rigid axioms and roles
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Complexity of reasoning over temporal data models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Hi-index | 0.00 |
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal databases. To automatically check quality properties of conceptual schemas various encoding to Description Logics (DLs) have been proposed in the literature. On the other hand, reasoning on temporally extended DLs turn out to be too complex for effective reasoning ranging from 2EXPTIME up to undecidable languages. We propose here to temporalize the 'light-weight' DL-Lite logics obtaining nice computational results while still being able to represent various constraints of temporal conceptual models. In particular, we consider temporal extensions of DL-LiteboolN, which was shown to be adequate for capturing non-temporal conceptual models without relationship inclusion, and its fragment DL-LitecoreN with most primitive concept inclusions, which are nevertheless enough to represent almost all types of atemporal constraints (apart from covering).