Unsupervised Conict-Free Ontology Evolution Without Removing Axioms

Ontology Dynamics 2010.

力学;计算机科学

Thomas Scharrenbach ; Claudia d'Amato ; Nicola Fanizzi ; Rolf Grutter ; Bettina Waldvogel ; Abraham Bernstein

Others  :  http://ceur-ws.org/Vol-651/paper5.pdf
PID  :  42051

来源: CEUR

【 摘 要 】

In the beginning of the Semantic Web, ontologies were usually constructed once by a single knowledge engineer and then used as a static conceptualization of some domain. Nowadays, knowledge bases are increasingly dynamically evolving and incorporate new knowledge from dierent heterogeneous domains { some of which is even contributed by casual users (i.e., non-knowledge engineers) or even software agents. Given that ontologies are based on the rather strict formalism of De- scription Logics and their inference procedures, conicts are likely to occur during ontology evolution. Conicts, in turn, may cause an on- tological knowledge base to become inconsistent and making reasoning impossible. Hence, every formalism for ontology evolution should provide a mechanism for resolving conicts. In this paper we provide a general framework for conict-free ontology evolution without changing the knowledge representation. Using a vari- ant of Lehmann's Default Logics and Probabilistic Description Logics, we can invalidate unwanted implicit inferences without removing explicitly stated axioms. We show that this method outperforms classical ontology repair w.r.t. the amount of information lost while allowing for automatic conict-solving when evolving ontologies.