DL-lite with temporalised concepts, rigid axioms and roles

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

Volumn 5749 LNAI, Issue , 2009, Pages 133-148

  Artale, Alessandro ^a   Kontchakov, Roman ^b   Ryzhikov, Vladislav ^a   Zakharyaschev, Michael ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; FIRST-ORDER TEMPORAL LOGIC; LINEAR TIME TEMPORAL LOGIC; NP COMPLETE; SATISFIABILITY PROBLEMS; TEMPORAL EXTENSIONS; TEMPORAL OPERATORS; TIME-DEPENDENT; VARIABLE FRAGMENT;

DATA DESCRIPTION;

TEMPORAL LOGIC;

EID: 76649107875     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04222-5_8     Document Type: Conference Paper

References (20)

1. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: DL-Lite in the light of first-order logic. In: Proc. of the 22nd AAAI Conf. on Artificial Intelligence, pp. 361-366. AAAI Press, Menlo Park (2007)
2. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. Technical Report BBKCS-09-03, School of Computer Science and Information Systems, Birbeck College, London (2009), http://www.dcs.bbk.ac. uk/research/techreps/2009/bbkcs-09-03.pdf
3. Artale, A., Franconi, E.: Temporal description logics. In: Fisher, M., Gabbay, D., Vila, L. (eds.) Handbook of Time and Temporal Reasoning in Artificial Intelligence, pp. 375-388. Elsevier, Amsterdam (2005)
4. Artale, A., Franconi, E., Wolter, F., Zakharyaschev, M.: A temporal description logic for reasoning about conceptual schemas and queries. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 98-110. Springer, Heidelberg (2002)
5. Artale, A., Parent, C., Spaccapietra, S.: Evolving objects in temporal information systems. Annals of Mathematics and AI 50(1-2), 5-38 (2007)
6. Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Reasoning over extended ER models. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 277-292. Springer, Heidelberg (2007)
7. Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalising tractable description logics. In: Proc. of the 14th Int. Symposium on Temporal Representation and Reasoning (TIME). IEEE Computer Society, Los Alamitos (2007)
8. Artale, A., Lutz, C., Toman, D.: A description logic of change. In: Proc. of Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 218-223 (2007)
9. Baader, F., Küsters, R., Wolter, F.: Extensions to description logics. In: Description Logic Handbook, pp. 219-261. Cambridge University Press, Cambridge (2003)
10. Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR), pp. 684-694. AAAI Press, Menlo Park (2008)
11. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proc. of the 10th Nat. Conf. on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conf., pp. 602-607. AAAI Press/The MIT Press (2005)
12. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR), pp. 260-270. AAAI Press, Menlo Park (2006)
13. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3), 385-429 (2007)
14. Gabbay, D., Hodkinson, I., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects, vol. 1. Oxford University Press, Oxford (1994)
15. Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)
16. Hall, G., Gupta, R.: Modeling transition. In: Proc. of the 7th Int. Conf. on Data Engineering (ICDE), pp. 540-549. IEEE Computer Society, Los Alamitos (1991)
17. Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: A survey. In: Proc. of the 14th Int. Symposium on Temporal Representation and Reasoning (TIME), pp. 3-14. IEEE Computer Society, Los Alamitos (2008)
18. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. on Data Semantics X, 133-173 (2008)
19. Schild, K.: Combining terminological logics with tense logic. In: Damas, L.M.M., Filgueiras, M. (eds.) EPIA 1993. LNCS, vol. 727, pp. 105-120. Springer, Heidelberg (1993)
20. Spaccapietra, S., Parent, C., Zimanyi, E.: Conceptual Modeling for Traditional and Spatio-Temporal Applications - The MADS Approach. Springer, Heidelberg (2006)