Capturing model-based ontology evolution at the instance level: the case of DL-Lite
The evolution (via updates or revisions) of knowledge bases (KBs) expressed in description logics (DLs) has mostly focused on so-called model-based approaches (MBAs), where the evolution of a KB results in a set of models. NEWLINENEWLINEFrom the authors' abstract: For KBs expressed in tractable DLs, such as those of the DL-Lite family, which we consider here, it has been shown that one faces inexpressibility of evolution, i.e., the result of evolution of a DL-Lite KB in general cannot be expressed in DL-Lite, in other words, DL-Lite is not closed under evolution. What is still missing in these studies is a thorough understanding of various important aspects of the evolution problem for DL-Lite KBs: Which fragments of DL-Lite are closed under evolution? What causes the inexpressibility? Can one approximate evolution in DL-Lite, and if yes, how? This work provides some understanding of these issues for an important class of MBAs, which cover the cases of both update and revision. We describe what causes inexpressibility, and we propose techniques (based on what we call prototypes) that help to approximate evolution under the well-known approach by Winslett, which is inexpressible in DL-Lite. We also identify a fragment of DL-Lite closed under evolution, and for this fragment we provide polynomial-time algorithms to compute or approximate evolution results for various MBAs.
- On Instance-level Update and Erasure in Description Logic Ontologies
- DL-Lite ontology revision based on an alternative semantic characterization
- Instance-level update in DL-Lite ontologies through first-order rewriting
- DL-Lite contraction and revision
- A prioritized assertional-based revision for DL-Lite knowledge bases
- Conceptual Modeling for Data Integration
- Data exchange: getting to the core
- scientific article; zbMATH DE number 44621 (Why is no real title available?)
- scientific article; zbMATH DE number 140403 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- Linking Data to Ontologies
- On Instance-level Update and Erasure in Description Logic Ontologies
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Ontologies and Databases: The DL-Lite Approach
- Testing containment of conjunctive queries under functional and inclusion dependencies
- The DL-Lite Family and Relations
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Tractable reasoning via approximation
- Actions over core-closed knowledge bases
- Semantically guided evolution of \(\mathcal{SHI}\) ABoxes
- A prioritized assertional-based revision for DL-Lite knowledge bases
- On Instance-level Update and Erasure in Description Logic Ontologies
- Foundations of instance level updates in expressive description logics
- Instance-level update in DL-Lite ontologies through first-order rewriting
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
- DL-Lite ontology revision based on an alternative semantic characterization
- Main issues in belief revision, belief merging and information fusion
- Representation results for belief update in closed fragments of propositional logic
- On updates of hybrid knowledge bases composed of ontologies and rules
This page was built for publication: Capturing model-based ontology evolution at the instance level: the case of DL-Lite
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q389229)
