A homogeneous relational model and query languages for temporal databases
ACM Transactions on Database Systems (TODS)
A conceptual modelling formalism for temporal database applications
Information Systems
Fundamentals of database systems (2nd ed.)
Fundamentals of database systems (2nd ed.)
Description logics for conceptual data modeling
Logics for databases and information systems
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
Reasoning in expressive description logics
Handbook of automated reasoning
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Tableaux for Temporal Description Logic with Constant Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
Representing and reasoning on fuzzy UML models: A description logic approach
Expert Systems with Applications: An International Journal
A contextual multilevel access control model
International Journal of Internet Technology and Secured Transactions
A dynamic access control model
Applied Intelligence
Modeling the evolution of objects in temporal information systems
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Representation and reasoning of fuzzy ER models with description logic DLR
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
| Hi-index | 0.00 |
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information. Various temporally enhanced Entity-Relationship (ER) models have been proposed that are intended to model the temporal aspects of database conceptual schemas. This work gives a logical formalisation of the various properties that characterise and extend different temporal ER models which are found in literature. The formalisation we propose is based on Description Logics (DL), which have been proved useful for a logical reconstruction of the most popular conceptual data modelling formalisms. The proposed DL has the ability to express both enhanced temporal ER schemas and integrity constraints in the form of complex inclusion dependencies. Reasoning in the devised logic is decidable, thus allowing for automated deductions over the whole conceptual representation, which includes both the ER schema and the integrity constraints over it.