Reasoning-Supported Interactive Revision of Knowledge Bases Nadeschda Nikitina1 and Sebastian Rudolph1 and Birte Glimm2
Abstract
Quality control is an essential task within ontology development projects, especially when the knowledge formalization is partially automatized. We propose a method for integrating newly acquired, possibly low-quality axioms into an existing ontology after their manual inspection; based on the decision whether the axiom is desired or not, several of the yet unevaluated axioms are evaluated automatically. Since the evaluation order can signi?cantly increase the amount of automatization, we further propose the notion of axiom impact. Finally, we introduce decision spaces as structures to ef?ciently compute the axiom impact and the implicit evaluation decisions. Compared to a na??ve implementation, this reduces the number of costly reasoning operations on average by 75%.