A proof theory for DL-lite

CEUR Workshop Proceedings

Volumn 250, Issue , 2007, Pages 235-242

  Calvanese, Diego ^a   Kharlamov, Evgeny ^a   Nutt, Werner ^a  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATIVE APPROACH; HORN LOGIC; PROOF THEORY; QUERY REWRITINGS; SOUNDNESS AND COMPLETENESS;

COMPUTABILITY AND DECIDABILITY; FORMAL LANGUAGES;

DATA DESCRIPTION;

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

References (11)

1. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proc. of AAAI 2005. (2005) 602-607.
2. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of KR 2006. (2006) 260-270.
3. Lloyd, J.W.: Foundations of Logic Programming (Second, Extended Edition). Springer, Berlin, Heidelberg (1987).
4. 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 (2007) To appear.
5. Kharlamov, E.: Model theory and calculus for the description logic DL-Lite. Master's thesis, Faculty of Computer Science, Free University of Bozen-Bolzano (2006) Available at http://www.inf.unibz.it/kharlamov/.
6. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley Publ. Co. (1995).
7. Hustadt, U., Motik, B., Sattler, U.: A decomposition rule for decision procedures by resolution-based calculi. In: Proc. of LPAR 2004. (2004) 21-35.
8. Calvanese, D., Kharlamov, E., Nutt, W.: A proof theory for DL-Lite. Technical Report KRDB07-6, KRDB Research Center, Faculty of Computer Science, Free University of Bozen-Bolzano (2007).
9. Kazakov, Y.: Saturation-Based Decision Procedures for Extensions of the Guarded Fragment. PhD thesis, Universität des Saarlandes, Saarbrücken, Germany (2006) Available at http://www.cs.man.ac.uk/ykazakov/publications/ thesis/Kazakov06Phd.pdf.
10. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R.: Linking data to ontologies: The description logic DL-LiteA. In: Proc. of OWLED 2006. (2006).
11. Kolaitis, P.G.: Schema mappings, data exchange, and metadata management. In: Proc. of PODS 2005. (2005) 61-75.