Belief Base Revision for Expressive Description Logics.

In this work, we address the problem of revision of OWL-DL knowledge bases. We focus on belief bases revision as it has previously been shown that OWL-DL is not AGM-compliant for revision. Previously an algorithm for belief base semi-revision for propositional logic has been defined; in particular it has been shown how the diagnosis problem can be translated into a revision problem. In this work, we expand upon this work and detail an approach for performing belief base semi-revision in the Description Logic SHOIN , which corresponds to the W3C standard Web Ontology Language OWL-DL. We additionally, discuss various optimizations to make the approach more practical.