A conceptual modelling formalism for temporal database applications
Information Systems
Unifying temporal data models via a conceptual model
Information Systems
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modeling time from a conceptual perspective
Proceedings of the seventh international conference on Information and knowledge management
Temporal logic in information systems
Logics for databases and information systems
Description logics for conceptual data modeling
Logics for databases and information systems
Describing Database Objects in a Concept Language Environment
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Temporal Entity-Relationship Models-A Survey
IEEE Transactions on Knowledge and Data Engineering
Proceedings of the Seventh International Conference on Data Engineering
An Abstraction Mechanism for Modeling Generation
Proceedings of the Eighth International Conference on Data Engineering
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Temporal ER Modeling with Description Logics
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints
TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
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
Capturing Temporal Constraints in Temporal ER Models
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
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
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Reasoning on UML class diagrams
Artificial Intelligence
Reasoning over extended ER models
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Modeling the evolution of objects in temporal information systems
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Tailoring temporal description logics for reasoning over temporal conceptual models
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
OSM-Logic: a fact-oriented, time-dependent formalization of object-oriented systems modeling
Conceptual Modelling and Its Theoretical Foundations
| Hi-index | 0.00 |
This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints ), and it provides a coherent model-theoretic formalisation for them. It then introduces a correct and succinct encoding in a subset of first-order temporal logic, namely ${{\mathcal DLR}_{\mathcal US}}$ --- the description logic ${\mathcal DLR}$ extended with the temporal operators Since and Until . At the end, results on the complexity of reasoning in temporal conceptual models are presented.