Skip to main content
SpringerLink
Log in

Temporal ER Modeling with Description Logics

  • Conference paper
  • First Online:
Conceptual Modeling — ER ’99 (ER 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1728))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Article  MathSciNet  Google Scholar 

  2. 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. Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi. A unified framework for class-based representation formalisms. In Proc. of the 4 thInternational Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, May 1994.

    Google Scholar 

  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.

    Google Scholar 

  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.

    MATH  Google Scholar 

  6. R. Elmasri and S. B. Navathe. Fundamentals of Database Systems. Benjamin/Cummings, 2nd edition, 1994.

    Google Scholar 

  7. S.K. Gadia. A homogeneous relational model and query languages for temporal databases. ACM Transactions On Database Systems, 13:418–448, 1988.

    Article  MathSciNet  Google Scholar 

  8. 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. 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. Klaus D. Schild. Combining terminological logics with tense logic. In Proceedings of the 6 thPortuguese Conference on Artificial Intelligence, EPIA’93, October 1993.

    Google Scholar 

  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.

    Chapter  Google Scholar 

  12. C. Theodoulidis, P. Loucopoulos, and B. Wangler. A conceptual modelling formalism for temporal database applications. Information Systems, 16(3):401–416, 1991.

    Article  Google Scholar 

  13. F. Wolter and M. Zakharyaschev. Temporalizing description logics. In Proceedings of FroCoS’98, Amsterdam, NL, 1998.

    Google Scholar 

  14. 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 thInternational Conference on Principles of Knowledge Representation and Reasoning, pages 512–523, Trento, Italy, June 1998. Morgan Kaufmann.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computation, UMIST, Manchester, UK

    Alessandro Artale

  2. Department of Computer Science, University of Manchester, UK

    Enrico Franconi

Authors
  1. Alessandro Artale
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Enrico Franconi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Conservatoire National des Arts et Métiers, 292 Rue Saint Martin, F-75141, Paris Cedex 03, France

    Jacky Akoka

  2. Université de Versailles, 45 Avenue des Etats Unis, F-78035, Versailles Cedex, France

    Mokrane Bouzeghoub  & Elisabeth Métais  & 

  3. ESSEC, Avenue Bernard Hirsch, F-92021, Cergy Cedex, France

    Isabelle Comyn-Wattiau

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Artale, A., Franconi, E. (1999). Temporal ER Modeling with Description Logics. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., Métais, E. (eds) Conceptual Modeling — ER ’99. ER 1999. Lecture Notes in Computer Science, vol 1728. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47866-3_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-47866-3_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66686-8

  • Online ISBN: 978-3-540-47866-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation