Abstract
Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs ontologies by making axioms less restrictive rather than by deleting them, employing refinement operators. In this paper, we build on previously introduced axiom weakening for ALC, and show how it can be extended to deal with SROIQ, the expressive and decidable description logic underlying OWL2 DL. The main problem here is to ensure that the regularity conditions of SROIQ are preserved in the weakening process, as not every weaker axiom can be inserted into an ontology without compromising regularity. We present a basic regularity-preserving weakening approach for SROIQ, describe briefly a prototype implementation realising it as well as an accompanying Protégé plugin, and perform and discuss basic evaluations of the approach.