The category concept: an extension to the entity-relationship model
Data & Knowledge Engineering
COCS '90 Proceedings of the ACM SIGOIS and IEEE CS TC-OA conference on Office information systems
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
A framework for object migration in object-oriented databases
Data & Knowledge Engineering
Unifying temporal data models via a conceptual model
Information Systems
Category classes: flexible classification and evolution in object-oriented databases
CAiSE '94 Proceedings of the 6th international conference on Advanced information systems engineering
Extending object-oriented systems with roles
ACM Transactions on Information Systems (TOIS)
Dynamic constraints and object migration
Theoretical Computer Science
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
ADOME: An Advanced Object Modeling 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
Object Deputy Model and Its Applications
Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA)
Dynamic Integrity Constraints Definition and Enforcement in Databases: A Classification Framework
Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems
On the Representation of Objects with Polymorphic Shape and Behaviour
ER '94 Proceedings of the13th International Conference on the Entity-Relationship Approach
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
Reasoning on UML class diagrams
Artificial Intelligence
Conceptual Modeling for Traditional and Spatio-Temporal Applications: The MADS Approach
Conceptual Modeling for Traditional and Spatio-Temporal Applications: The MADS Approach
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Managing the History of Metadata in Support for DB Archiving and Schema Evolution
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Modular Ontologies
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
Constraints for Representing Transforming Entities in Bio-ontologies
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
The DL-lite family and relations
Journal of Artificial Intelligence Research
DL-Lite with temporalised concepts, rigid axioms and roles
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
Complexity of reasoning over temporal data models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
A basic characterization of relation migration
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Tailoring temporal description logics for reasoning over temporal conceptual models
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Temporal content management and website modeling: putting them together
Transactions on Large-Scale Data- and Knowledge-Centered Systems V
Hi-index | 0.00 |
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modelling language able to express both timestamping and evolution constraints. We conduct a deeper investigation of 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 that appeared in the literature and to give a rigorous definition, in the context of temporal information systems, to notions like satisfiability, subsumption and logical implication. Furthermore, we show how to express temporal constraints using a subset of first-order temporal logic, i.e., $\mathcal{DLR}{_{\mathcal{US}}}$ the description logic $\mathcal{DLR}$ extended with the temporal operators Since and Until. We show how $\mathcal{DLR}{_{\mathcal{US}}}$ is able to capture the various modelling constraints in a succinct way and to perform automated reasoning on temporal conceptual models.