A temporal description logic for reasoning over conceptual schemas and queries

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

Volumn 2424, Issue , 2002, Pages 98-110

  Artale, Alessandro ^a   Franconi, Enrico ^b   Wolter, Frank ^c   Zakharyaschev, Michael ^d  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^c UNIVERSITY OF LEIPZIG   (Germany)

^d KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; FORMAL LANGUAGES; MODELING LANGUAGES; QUERY LANGUAGES; RECONFIGURABLE HARDWARE;

CONCEPTUAL MODELLING; CONCEPTUAL SCHEMAS; DESCRIPTION LOGIC; LINEAR TEMPORAL LOGIC; LOGICAL FORMALISM; LOGICAL IMPLICATIONS; NON-RECURSIVE DATALOG; QUERY CONTAINMENT;

COMPUTER CIRCUITS;

EID: 77952047132     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (28)

1. S. Abiteboul, L. Herr, and J. Van den Bussche. Temporal versus first-order logic to query temporal databases. In Proc. of the 15th ACM SIGACT SIGMOD SIGART Sym. on Principles of Database Systems (PODS'96), pages 49-57, 1996.
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.
3. A. Artale and E. Franconi. Temporal ER modeling with description logics. In Proc. of the International Conference on Conceptual Modeling (ER'99). Springer-Verlag, November 1999.
4. A. Artale and E. Franconi. A survey of temporal extensions of description logics. Annals of Mathematics and Artificial Intelligence, 30(1-4), 2001.
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.
6. A. Borgida and R. J. Brachman. Conceptual modelling with description logics. In Baader et al. [5].
7. A. Borgida, M. Lenzerini, and R. Rosati. Description logics for databases. In Baader et al. [5].
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.
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.
10. D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In Chomicki and Saake [13].
11. D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. J. of Artificial Intelligence Research, 11:199-240, 1999.
12. J. Chomicki. Temporal query languages: a survey. In Proc. of the 1st International Conference on Temporal Logic (ICTL'94), pages 506-534, 1994.
13. J. Chomicki and G. Saake, editors. Logics for Databases and Information Systems. Kluwer, 1998.
14. J. Chomicki and D. Toman. Temporal logic in information systems. In Chomicki and Saake [13], chapter 1.
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.
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.
17. D. Gabbay, A.Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Studies in Logic. Elsevier, 2002. To appear.
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.
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.
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.
21. K. Schild. Combining terminological logics with tense logic. In Proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA'93, October 1993.
22. S. Spaccapietra, C. Parent, and E. Zimanyi. Modeling time from a conceptual perspective. In Int. Conf. on Information and Knowledge Management (CIKM98), 1998.
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.
24. P. van Emde Boas. The convenience of tiling. Technical Report CT-96-01, ILLC-Univ. of Amsterdam, 1996.
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.
26. F. Wolter and M. Zakharyaschev. Modal description logics: Modalizing roles. Fundamenta Informaticae, 39(4):411-438, 1999.
27. F.Wolter and M. Zakharyaschev. Multi-dimensional description logics. In Proc. of IJCAI'99, pages 104-109, 1999.
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.