Capturing instance level ontology evolution for DL-lite

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

Volumn 7031 LNCS, Issue PART 1, 2011, Pages 321-337

  Kharlamov, Evgeny ^a   Zheleznyakov, Dmitriy ^a  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

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

DATA DESCRIPTION; ONTOLOGY; SEMANTICS; USER INTERFACES;

SEMANTIC WEB;

EID: 80055028201     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-25073-6_21     Document Type: Conference Paper

References (16)

1. 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)
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: VLDB (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. Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic ABoxes. In: KR (2006)
7. Calvanese, D., Giacomo, G.D., 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)
8. Giacomo, G.D., Lenzerini, M., Poggi, A., Rosati, R.: On instance-level update and erasure in description logic ontologies. J. of Logic and Computation 19(5), 745-770 (2009)
9. Wang, Z., Wang, K., Topor, R.W.: A new approach to knowledge base revision in DL-Lite. In: AAAI (2010)
10. Calvanese, D., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Evolution of DL-lite Knowledge Bases. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 112-128. Springer, Heidelberg (2010)
11. Calvanese, D., Kharlamov, E., Nutt,W., Zheleznyakov, D.: Evolution of DL-Lite knowledge bases (extended version). Technical report, KRDB Research Centre, Free Univ. of Bolzano (2011)
12. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1-69 (2009)
13. Poggi, A., Lembo, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. on Data Semantics, 133-173 (2008)
14. Calvanese, D., Kharlamov, E., Nutt, W.: A proof theory for DL-Lite. In: DL (2007)
15. Winslett, M.: Updating Logical Databases. Cambridge University Press (1990)
16. Horrocks, I., Sattler, U.: A tableau decision procedure for SHOIQ. J. Autom. Reasoning 39(3), 249-276 (2007)