Capturing instance level ontology evolution for DL-lite

  • Authors:

  • Evgeny Kharlamov;Dmitriy Zheleznyakov

  • Affiliations:

  • KRDB Research Centre, Free University of Bozen-Bolzano, Italy;KRDB Research Centre, Free University of Bozen-Bolzano, Italy

  • Venue:
  • ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Evolution of Knowledge Bases (KBs) expressed in Description Logics (DLs) proved its importance. Recent studies of the topic mostly focussed on model-based approaches (MBAs), where an evolution (of a KB) results in a set of models. For KBs expressed in tractable DLs, such as DL-Lite, it was shown that the evolution suffers from inexpressibility, i.e., the result of evolution cannot be expressed in DL-Lite.What is missing in these studies is understanding: inwhich DL-Lite fragments evolution can be captured, what causes the inexpressibility, which logics is sufficient to express evolution, whether and how one can approximate it in DL-Lite. This work provides some understanding of these issues for eight of MBAs which cover the case of both update and revision. We found what causes inexpressibility and isolated a fragment of DL-Lite where evolution is expressible. For this fragment we provided polynomial-time algorithms to compute evolution results. For the general case we proposed techniques (based on what we called prototypes) to capture DL-Lite evolution corresponding to a well-known Winslett's approach in a DL SHOIQ (which is subsumed by OWL 2 DL). We also showed how to approximate this evolution in DL-Lite.