Temporal ER modelling with description logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1728, Issue , 1999, Pages 81-95

  Artale, Alessandro ^a   Franconi, Enrico ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES;

AUTOMATED DEDUCTION; CONCEPTUAL MODELLING; CONCEPTUAL SCHEMAS; DESCRIPTION LOGIC; ENTITY-RELATIONSHIP MODEL; INCLUSION DEPENDENCIES; INTEGRITY CONSTRAINTS; TIME-VARYING INFORMATION;

DATA DESCRIPTION;

EID: 84947941510     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47866-3_6     Document Type: Conference Paper

References (14)

1. Alessandro Artale and Enrico Franconi. A temporal description logic for reasoning about actions and plans. Journal of Artificial Intelligence Research, 9:463-506, 1998.
2. Alessandro Artale and Enrico Franconi. Temporal description logics. In L. Vila, P. vanBeek, M. Boddy, M. Fisher, D. Gabbay, A. Galton, and R. Morris, editors, Handbook of Time and Temporal Reasoning in Artificial Intelli-gence. MIT Press, 1999. To appear.
3. Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi. A unified framework for class-based representation formalisms. In Proc. of the 4 th International Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, May 1994.
4. D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In Jan Chomicki and Günter Saake, editors, Logics for Databases and Information Systems. Kluwer, 1998.
5. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Daniele Nardi. Reasoning in expressive description logics. In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning. Elsevier Science Publishers, Amsterdam, 1999. To appear.
6. R. Elmasri and S. B. Navathe. Fundamentals of Database Systems. Benjamin/Cummings, 2nd edition, 1994.
7. S.K. Gadia. A homogeneous relational model and query languages for temporal databases. ACM Transactions On Database Systems, 13:418-448, 1988.
8. H Gregersen and J. S. Jensen. Temporal Entity-Relationship models-a survey. IEEE Transactions on Knowledge and Data En-gineering, 1999. To appear.
9. P. McBrien, A.H. Seltveit, and B. Wangler. An Entity-Relationship model extended to describe historical information. In Proc. of CIS-MOD'92, pages 244-260, Bangalore, India, 1992.
10. Klaus D. Schild. Combining terminological logics with tense logic. In Proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA'93, October 1993.
11. A.U. Tansel and E. Tin. Expressive power of temporal relational query languages and temporal completeness. In O. Etzion, S. Jajodia, and S. Sripada, editors, Temporal Databases-Research and Practice, Lecture Notes in Computer Science, pages 129-149. Springer-Verlag, 1998.
12. C. Theodoulidis, P. Loucopoulos, and B. Wangler. A conceptual modelling formalism for temporal database applications. Information Sys-tems, 16(3):401-416, 1991.
13. F. Wolter and M. Zakharyaschev. Temporalizing description logics. In Proceedings of FroCoS'98, Amsterdam, NL, 1998.
14. Frank Wolter and Michael Zakharyaschev. Satisfiability problem in description logics with modal operators. In A. Cohn, L. Schubert, and S.C. Shapiro, editors, Proc. of the 6 th International Conference on Principles of Knowledge Representation and Reasoning, pages 512-523, Trento, Italy, June 1998. Morgan Kaufmann.