| Abstract |
In the Semantic Web ontologies are used for modeling shared conceptualizations about a domain of discourse. Together with data they form a knowledge base. Yet, knowledge bases contain bugs, as they are created from different parts, created by different people, contain modeling artifacts, and use non-trivial formalism for inferencing. Ontologies have a sound logic formalism for inference, but bugs can cause the knowledge base to become inconsistent, which can make inference meaningless.
Fixing those bugs, aka OWL-Debugging, requires re-writing parts of the knowledge base. To cope with situations where this is not desirable or even not feasible we introduce a safe-mode for knowledge bases. This safe-mode may limit certain services for the knowledge base while leaving the fundamental basics and the services as such unchanged. We show how the safe-mode can be implemented borrowing from Lehmann's Default Logics and Lukasiewicz' Probabilistic Description Logics. |