Capturing Instance Level Ontology Evolution for DL-Lite [chapter]

Evgeny Kharlamov, Dmitriy Zheleznyakov
2011 Lecture Notes in Computer Science  
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: in which DL-Lite fragments evolution
more » ... 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.
doi:10.1007/978-3-642-25073-6_21 fatcat:372g6ucdrbee5n52faxjqiqkaa