A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries

  • Alessandro Artale
  • Enrico Franconi
  • Frank Wolter
  • Michael Zakharyaschev
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2424)


This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic \( \mathcal{D}\mathcal{L}\mathcal{R} \)and point-based linear temporal logic with Since and Until.We define a query language (where queries are non-recursive Datalog programs and atoms are complex \( \mathcal{D}\mathcal{L}\mathcal{R}_{\mathcal{U}\mathcal{S}} \) expressions) and investigate the problem of checking query containment under the constraints defined by \( \mathcal{D}\mathcal{L}\mathcal{R}_{\mathcal{U}\mathcal{S}} \) conceptual schemas—i.e., \( \mathcal{D}\mathcal{L}\mathcal{R}_{\mathcal{U}\mathcal{S}} \) knowledge bases—as well as the problems of schema satisfiability and logical implication.


Temporal Logic Description Logic Conceptual Schema Atomic Formula Logical Implication 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    S. Abiteboul, L. Herr, and J. Van den Bussche. Temporal versus first-order logic to query temporal databases. In Proc. of the 15th ACMSIGACT SIGMOD SIGART Sym. on Principles of Database Systems (PODS’96), pages 49–57, 1996.Google Scholar
  2. 2.
    A. Artale and E. Franconi. Reasoning with enhanced temporal entity-relationship models. In Proc. of the InternationalWorkshop on Spatio-Temporal Data Models and Languages. IEEE Computer Society Press, August 1999.Google Scholar
  3. 3.
    A. Artale and E. Franconi. Temporal ER modeling with description logics. In Proc. ofthe International Conference on Conceptual Modeling (ER’99). Springer-Verlag, November 1999.Google Scholar
  4. 4.
    A. Artale and E. Franconi. A survey of temporal extensions of description logics. Annals of Mathematics and Artificial Intelligence, 30(1–4), 2001.Google Scholar
  5. 5.
    F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2002.Google Scholar
  6. 6.
    A. Borgida and R. J. Brachman. Conceptual modelling with description logics. In Baader et al. [5].Google Scholar
  7. 7.
    A. Borgida, M. Lenzerini, and R. Rosati. Description logics for databases. In Baader et al. [5].Google Scholar
  8. 8.
    A. Calì D. Calvanese, G. De Giacomo, and M. Lenzerini. A formal framework for reasoning on UML class diagrams. In Proc. of the 13th Int. Sym. on Methodologies for Intelligent Systems (ISMIS 2002), 2002.Google Scholar
  9. 9.
    D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Sym. on Principles of Database Systems (PODS’98), pages 149–158, 1998.Google Scholar
  10. 10.
    D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In Chomicki and Saake [13].Google Scholar
  11. 11.
    D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. J. of Artificial Intelligence Research, 11:199–240, 1999.zbMATHMathSciNetGoogle Scholar
  12. 12.
    J. Chomicki. Temporal query languages: a survey. In Proc. of the 1st International Conference on Temporal Logic (ICTL’94), pages 506–534, 1994.Google Scholar
  13. 13.
    J. Chomicki and G. Saake, editors. Logics for Databases and Information Systems. Kluwer, 1998.Google Scholar
  14. 14.
    J. Chomicki and D. Toman. Temporal logic in information systems. In Chomicki and Saake [13], chapter 1.Google Scholar
  15. 15.
    E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of the 1st International Conf. on Computational Logic (CL’2000), DOOD stream. Springer-Verlag, July 2000.Google Scholar
  16. 16.
    E. Franconi and G. Ng. The ICOM tool for intelligent conceptual modelling. In Proc. of the 7th International Workshop on Knowledge Representation meets Databases (KRDB’2000), 2000.Google Scholar
  17. 17.
    D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Studies in Logic. Elsevier, 2002. To appear.Google Scholar
  18. 18.
    H Gregersen and J. S. Jensen. Temporal Entity-Relationship models-a survey. IEEE Transactions on Knowledge and Data Engineering, 11(3):464–497, 1999.CrossRefGoogle Scholar
  19. 19.
    I. Hodkinson, F. Wolter, and M. Zakharyaschev. Decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic, 106:85–134, 2000.zbMATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    M. Jarke, C. Quix, D. Calvanese, M. Lenzerini, E. Franconi, S. Ligoudistiano, P. Vassiliadis, and Y. Vassiliou. Concept based design of data warehouses: The DWQ demonstrators. In 2000 ACM SIGMOD Intl. Conference on Management of Data, 2000.Google Scholar
  21. 21.
    K. Schild. Combining terminological logics with tense logic. In Proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA’93, October 1993.Google Scholar
  22. 22.
    S. Spaccapietra, C. Parent, and E. Zimanyi. Modeling time from a conceptual perspective. In Int. Conf. on Information and Knowledge Management (CIKM98), 1998.Google Scholar
  23. 23.
    H. Sturm and F. Wolter. A tableau calculus for temporal description logic: the expanding domain case. Journal of Logic and Computation, 2002. To appear.Google Scholar
  24. 24.
    P. van Emde Boas. The convenience of tiling. Technical Report CT-96-01, ILLC—Univ. ofAmsterdam, 1996.Google Scholar
  25. 25.
    F. Wolter and M. Zakharyaschev. Satisfiability problem in description logics with modal operators. In Proc. of the 6 th International Conference on Principles of Knowledge Representation and Reasoning (KR’98), pages 512–523, Trento, Italy, June 1998.Google Scholar
  26. 26.
    F. Wolter and M. Zakharyaschev. Modal description logics: Modalizing roles. Fundamenta Informaticae, 39(4):411–438, 1999.zbMATHMathSciNetGoogle Scholar
  27. 27.
    F. Wolter and M. Zakharyaschev. Multi-dimensional description logics. In Proc. of IJCAI’99, pages 104–109, 1999.Google Scholar
  28. 28.
    F. Wolter and M. Zakharyaschev. Temporalizing description logics. In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems, pages 379–401. Studies Press-Wiley, 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Alessandro Artale
    • 1
  • Enrico Franconi
    • 2
  • Frank Wolter
    • 3
  • Michael Zakharyaschev
    • 4
  1. 1.Dept. of ComputationUMISTManchesterUK
  2. 2.Faculty of Computer ScienceFree Univ. of BolzanoItaly
  3. 3.Inst. für InformatikUniv. of Leipzig, DLeipzig
  4. 4.Dept. of Computer ScienceKings CollegeLondonUK

Personalised recommendations