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
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
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints
TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
Reasoning on UML class diagrams
Artificial Intelligence
Temporal Constraints in Non-temporal Data Modelling Languages
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
An ontological modeling approach to cerebrovascular disease studies: The NEUROWEB case
Journal of Biomedical Informatics
| Hi-index | 0.00 |
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestamping and evolution constraints. We conduct a deeper investigation on evolution constraints, eventually devising a model-theoretic semantics for a full-fledged model with both timestamping and evolution constraints. The proposed formalization is meant both to clarify the meaning of the various temporal constructors appeared in the literature and to give a rigorous definition to notions like satisfiability, subsumption and logical implication. Furthermore, we also show how to express temporal constraints using a subset of first-order temporal logic, i.e., $\mathcal{DLR}_{us}$, the description logic $\mathcal{DLR}$ extended with the temporal operators Since and Until. We show how $\mathcal{DLR}_{us}$ is able to capture the various modeling constraints in a succinct way and to perform automated reasoning on temporal conceptual models.