Evolution of DL-Lite knowledge bases

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

Volumn 6496 LNCS, Issue PART 1, 2010, Pages 112-128

  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

BIRDS; ONTOLOGY; POLYNOMIAL APPROXIMATION; SEMANTIC WEB;

DESCRIPTION LOGIC; FUNDAMENTAL PRINCIPLES; HIGH COMPLEXITY; KNOWLEDGE BASIS (KBS); MODEL BASED APPROACH; POLYNOMIAL-TIME ALGORITHMS; PROPOSITIONAL THEORIES; WEB ONTOLOGY LANGUAGE;

DATA DESCRIPTION;

EID: 78650858084     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17746-0_8     Document Type: Conference Paper

References (22)

1. Borgida, A., Brachman, R.J.: Conceptual modeling with description logics. In: [13], ch.10, pp. 349-372
2. Flouris, G., Manakanatas, D., Kondylakis, H., Plexousakis, D., Antoniou, G.: Ontology change: Classification and survey. Knowledge Engineering Review 23(2), 117-152 (2008)
3. Abiteboul, S., Grahne, G.: Update semantics for incomplete databases. In: Proc. of VLDB 1985 (1985)
4. Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Proc. of KR 1991, pp. 387-394 (1991)
5. Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates and counterfactuals. Artificial Intelligence 57, 227-270 (1992)
6. Winslett, M.: Updating Logical Databases. Cambridge University Press, Cambridge (1990)
7. Flouris, G.: On belief change in ontology evolution. AI Communications 19(4) (2006)
8. Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: Proc. of IJCAI 2009, pp. 891-897 (2009)
9. Peters, R.J., Özsu, M.T.: An axiomatic model of dynamic schema evolution in objectbase systems. ACM Trans. on Database Systems 22(1), 75-114 (1997)
10. 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), 745-770 (2009)
11. Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic ABoxes. In: Proc. of KR 2006, pp. 46-56 (2006)
12. 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)
13. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
14. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1-69 (2009)
15. 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)
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. Forbus, K.D.: Introducing actions into qualitative simulation. In: Proc. of IJCAI 1989 (1989)
18. Borgida, A.: Language features for flexible handling of exceptions in information systems. ACM Trans. on Database Systems 10(4), 565-603 (1985)
19. Dalal, M.: Investigations into a theory of knowledge base revision. In: Proc. of AAAI 1988, pp. 475-479 (1988)
20. Calvanese, D., Kharlamov, E., Nutt, W.: A proof theory for DL-Lite. In: Proc. of DL 2007. CEUR, vol. 250, pp. 235-242 (2007), ceur-ws.org
21. De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proc. of AAAI 2006, pp. 1271-1276 (2006)
22. Zheleznyakov, D., Calvanese, D., Kharlamov, E., Nutt, W.: Updating TBoxes in DL-Lite. In: Proc. of DL 2010. CEUR, vol. 573, pp. 102-113 (2010), ceur-ws.org