Updating ABoxes in DL-Lite

CEUR Workshop Proceedings

Volumn 619, Issue , 2010, Pages

  Calvanese, Diego ^a   Kharlamov, Evgeny ^a,b   Nutt, Werner ^a   Zheleznyakov, Dmitriy ^a  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b INRIA SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; KNOWLEDGE BASIS; MODEL BASED APPROACH; POLYNOMIAL-TIME ALGORITHMS; WEB ONTOLOGY LANGUAGE;

FORMAL LANGUAGES; INFORMATION MANAGEMENT; POLYNOMIAL APPROXIMATION; SEMANTICS;

DATA DESCRIPTION;

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

References (18)

1. Borgida, A., Brachman, R.J.: Conceptual modeling with description logics. [12] chapter 10 349-372
2. 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) (2007) 385-429
3. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36 (2009) 1-69
4. Möller, R., Haarslev, V.: Description logic systems. [12] chapter 8 282-305
5. Haarslev, V., Möller, R.: On the scalability of description logic instance retrieval. J. of Automated Reasoning 41(2) (2008) 99-142
6. Calvanese, D., De Giacomo, G., Lenzerini, M.: Conjunctive query containment and answering under description logics constraints. ACM Trans. on Computational Logic 9(3) (2008) 22.1-22.31
7. De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On instance-level update and erasure in description logic ontologies. J. of Logic and Computation, Special Issue on Ontology Dynamics 19(5) (2009) 745-770
8. Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic ABoxes. In: Proc. of KR 2006. (2006) 46-56
9. Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates and counterfactuals. Artificial Intelligence 57 (1992) 227-270
10. Zheleznyakov, D.: Updating description logic knowledge bases. Master's thesis, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy (2009)
11. Winslett, M.: Updating Logical Databases. Cambridge University Press (1990)
12. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F., eds.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)
13. 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
14. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. on Data Semantics X (2008) 133-173
15. Abiteboul, S., Grahne, G.: Update semantics for incomplete databases. In: Proc. of VLDB'85. (1985)
16. Ginsberg, M.L., Smith, D.E.: Reasoning about action I: A possible worlds approach. Technical Report KSL-86-65, Knowledge Systems, AI Laboratory (1987)
17. Winslett, M.: A model-based approach to updating databases with incomplete information. ACM Trans. on Database Systems 13(2) (1988) 167-196
18. Calvanese, D., Kharlamov, E., Nutt, W.: A proof theory for DL-Lite. In: Proc. of DL 2007. Volume 250 of CEUR, ceur-ws.org. (2007) 235-242