Past and future of DL-Lite

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2010, Pages 243-248

  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

ARTIFICIAL INTELLIGENCE;

CONCEPTUAL DATA MODELS; DESCRIPTION LOGIC; DL-LITE; PSPACE-COMPLETE; SATISFIABILITY PROBLEMS; TEMPORAL KNOWLEDGE;

DATA DESCRIPTION;

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

References (31)

1. Artale, A., and Franconi, E. 2009. Foundations of temporal conceptual data models. In Conceptual Modeling: Foundations and Applications, volume 5600 of LNCS, 10-35. Springer.
2. Artale, A.; Franconi, E.; Wolter, F; and Zakharyaschev, M. 2002. A temporal description logic for reasoning about conceptual schemas and queries. In Proc. of J ELI A, volume 2424 of LNAI, 98-110. Springer.
3. Artale, A.; Calvanese, D.; Kontchakov, R.; and Zakharyaschev, M. 2007a. DL-Lite in the light of first-order logic. In Proc. of AAAI, 361-366. AAAI Press.
4. Artale, A.; Calvanese, D.; Kontchakov, R.; Ryzhikov, V.; and Zakharyaschev, M. 2007b. Reasoning over extended ER models. In Proc. of ER, volume 4801 of LNCS, 277-292. Springer.
5. Artale, A.; Kontchakov, R.; Lutz, C; Wolter, F; and Zakharyaschev, M. 2007c. Temporalising tractable description logics. In Proc. of TIME, 11-22. IEEE Computer Society.
6. Artale, A.; Calvanese, D.; Kontchakov, R.; and Zakharyaschev, M. 2009a. The DL-Lite family and relations. J. of Artificial Intelligence Research (JAIR) 36:1-69.
7. Artale, A.; Kontchakov, R.; Ryzhikov, V.; and Zakharyaschev, M. 2009b. DL-Lite with temporalised concepts, rigid axioms and roles. In Proc. of FroCoS, volume 5749 of LNCS, 133-148. Springer.
8. Artale, A.; Kontchakov, R.; Ryzhikov, V.; and Zakharyaschev, M. 2010. Temporal Conceptual Modelling with DL-Lite. Technical Report, BBKCS-10-02, Dept. of Computer Science, Birkbeck, Univ. of London.
9. Artale, A.; Lutz, C; and Toman, D. 2007. A description logic of change. In Proc. of UCAI, 218-223.
10. Artale, A.; Parent, C; and Spaccapietra, S. 2007. Evolving objects in temporal information systems. Annals of Mathematics and Artificial Intelligence 50(1-2):5-38.
11. Baader, R; Ghilardi, S.; and Lutz, C. 2008. LTL over description logic axioms. In Proc. of KR, 684-694. AAAI Press.
12. Berardi, D.; Calvanese, D.; and De Giacomo, G. 2005. Reasoning on UML class diagrams. Artificial Intelligence 168(1-2):70-118.
13. Börger, E.; Gradel, E.; and Gurevich, Y. 1997. The Classical Decision Problem. Perspectives in Mathematical Logic. Springer.
14. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3):385-429.
15. Chomicki, J., and Toman, D. 2009. Temporal relational calculus. In Encyclopedia of Database Systems. Springer US. 3015-3016.
16. Chrobak, M. 1986. Finite automata and unary languages. Theor. Comput. Sci. 47(2):149-158.
17. Date, C; Darwen, H.; and Lorentzos, N. 2002. Temporal Data and the Relational Model. Morgan Kaufmann Publishers Inc.
18. Finger, M., and McBrien, P. 2000. Temporal conceptual-level databases. In Temporal Logics - Mathematical Foundations and Computational Aspects. Oxford University Press.
19. Gabbay, D.; Kurucz, A.; Wolter, F; and Zakharyaschev, M. 2003. Many-Dimensional Modal Logics: Theory and Applications. Elsevier.
20. Gregersen, H., and Jensen, J. 1999. Temporal Entity-Relationship models - a survey. IEEE TKDE 11(3).
21. Hall, G., and Gupta, R. 1991. Modeling transition. In Proc. of ICDE, 540-549.
22. Jensen, C, and Snodgrass, R. 2000. Temporally enhanced database design. In Advances in Object-Oriented Data Modeling. MIT Press.
23. Lutz, C; Wolter, R; and Zakharyaschev, M. 2008. Temporal description logics: A survey. In Proc. of TIME, 3-14. IEEE Computer Society.
24. McBrien, P.; Seltveit, A.; and Wangler, B. 1992. An Entity-Relationship model extended to describe historical information. In Proc. of CISMOD, 244-260.
25. Mendelzon, A. O.; Milo, T; and Waller, E. 1994. Object migration. In Proc. of PODS, 232-242. ACM Press.
26. Schild, K. 1993. Combining terminological logics with tense logic. In Proc. of EPIA, volume 727 of LNCS, 105-120. Springer.
27. Spaccapietra, S.; Parent, C; and Zimanyi, E. 2006. Conceptual Modeling for Traditional and Spatio-Temporal Applications-The MADS Approach. Springer.
28. Su, J. 1997. Dynamic constraints and object migration. Theoretical Computer Science 184( 1 -2): 195-236.
29. Tauzovich, B. 1991. Towards temporal extensions to the Entity-Relationship model. In Proc. of ER, 163-179. ER Institute.
30. Theodoulidis, C; Loucopoulos, P.; and Wangler, B. 1991. A conceptual modelling formalism for temporal database applications. Information Systems 16(3):401-416.
31. To, A. W. 2009. Unary finite automata vs. arithmetic progressions. Information Processing Letters 109(17): 1010-1014.