Advertisement

Temporal ER Modeling with Description Logics

  • Alessandro Artale
  • Enrico Franconi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1728)

Abstract

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.

Keywords

Description Logic Integrity Constraint Temporary Entity Cardinality Constraint Validity Time 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Artale and Franconi, 1998]
    Alessandro Artale and Enrico Franconi. A temporal description logic for reasoning about actions and plans. Journal of Artificial Intelligence Research, 9:463–506, 1998.zbMATHMathSciNetGoogle Scholar
  2. [Artale and Franconi, 1999]
    Alessandro Artale and Enrico Franconi. Temporal description logics. In L. Vila, P. van Beek, M. Boddy, M. Fisher, D. Gabbay, A. Galton, and R. Morris, editors, Handbook of Time and Temporal Reasoning in Artificial Intelligence. MIT Press, 1999. To appear.Google Scholar
  3. [Calvanese et al., 1994]
    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.Google Scholar
  4. [Calvanese et al., 1998]
    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.Google Scholar
  5. [Calvanese et al., 1999]
    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.Google Scholar
  6. [Elmasri and Navathe, 1994]
    R. Elmasri and S. B. Navathe. Fundamentals of Database Systems. Benjamin/Cummings, 2nd edition, 1994.Google Scholar
  7. [Gadia, 1988]
    S.K. Gadia. A homogeneous relational model and query languages for temporal databases. ACM Transactions On Database Systems, 13:418–448, 1988.zbMATHCrossRefMathSciNetGoogle Scholar
  8. [Gregersen and Jensen, 1999]
    H Gregersen and J. S. Jensen. Temporal Entity-Relationship models-a survey. IEEE Transactions on Knowledge and Data Engineering, 1999. To appear.Google Scholar
  9. [McBrien et al., 1992]
    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.Google Scholar
  10. [Schild, 1993]
    Klaus D. Schild. Combining terminological logics with tense logic. In Proceedings of the 6 th Portuguese Conference on Artificial Intelligence, EPIA’93, October 1993.Google Scholar
  11. [Tansel and Tin, 1998]
    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.CrossRefGoogle Scholar
  12. [Theodoulidis et al., 1991]
    C. Theodoulidis, P. Loucopoulos, and B. Wangler. A conceptual modelling formalism for temporal database applications. Information Systems, 16(3):401–416, 1991.CrossRefGoogle Scholar
  13. [Wolter and Zakharyaschev, 1998a]
    F. Wolter and M. Zakharyaschev. Temporalizing description logics. In Proceedings of FroCoS’98, Amsterdam, NL, 1998.Google Scholar
  14. [Wolter and Zakharyaschev, 1998b]
    Frank Wolter and Michael Zakharyaschev. Satisability 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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Alessandro Artale
    • 1
  • Enrico Franconi
    • 2
  1. 1.Department of ComputationUMISTManchesterUK
  2. 2.Department of Computer ScienceUniversity of ManchesterUK

Personalised recommendations