Extending DL-Lite sometime in the future

CEUR Workshop Proceedings

Volumn 477, Issue , 2009, Pages

  Artale, A ^a   Kontchakov, R ^b   Ryzhikov, V ^a   Zakharyaschev, M ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84872981583     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev. DL-Lite in the light of first-order logic. In Proc. of AAAI, pages 361-366, 2007.
2. A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev. The DL-Lite family and relations. Technical Report BBKCS-09-03, SCSIS, Birkbeck College, London, 2009 (available at http://www.dcs.bbk.ac.uk/research/techreps/2009/ bbkcs-09-03.pdf).
3. A. Artale and E. Franconi. Temporal description logics. In M. Fisher, D. Gabbay, and L. Vila, editors, Handbook of Time and Temporal Reasoning in Artificial Intelligence, pages 375-388. Elsevier, 2005.
4. A. Artale, E. Franconi, F. Wolter, and M. Zakharyaschev. A temporal description logic for reasoning about conceptual schemas and queries. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, Proc. of JELIA-02, volume 2424 of LNAI, pages 98-110. Springer, 2002.
5. A. Artale, C. Parent, and S. Spaccapietra. Evolving objects in temporal information systems. Annals of Mathematics and Artificial Intelligence, 50(1-2):5-38, 2007.
6. A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev. Reasoning over extended ER models. In Proc. of ER'07, volume 4801 of LNCS, pages 277-292. Springer, 2007.
7. A. Artale, R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev. Temporalising tractable description logics. In Proc. of TIME 07, pages 11-22. IEEE Computer Society, 2007.
8. A. Artale, C. Lutz, and D. Toman. A description logic of change. In Proc. of IJCAI-07, 2007.
9. F. Baader, R. Küsters, and F. Wolter. Extensions to description logics. In Description Logic Handbook, pages 219-261. Cambridge University Press, 2003.
10. F. Baader, S. Ghilardi, and C. Lutz. LTL over description logic axioms. In Proc. of KR 2008, 2008.
11. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI 2005, pages 602-607, 2005.
12. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Data complexity of query answering in description logics. In Proc. of KR 2006, pages 260-270, 2006.
13. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3):385-429, 2007.
14. D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications. Elsevier, 2003.
15. G. Hall and R. Gupta. Modeling transition. In Proc. of ICDE'91, pages 540-549, 1991.
16. C. Lutz, F. Wolter, and M. Zakharyaschev. Temporal description logics: A survey. In Proc. of TIME 08. IEEE Computer Society Press, 2008.
17. K. Schild. Combining terminological logics with tense logic. In Proc. of EPIA'93, October 1993.
18. S. Spaccapietra, C. Parent, and E. Zimanyi. Conceptual Modeling for Traditional and Spatio-Temporal Applications|The MADS Approach. Springer, 2006.