Reasoning-Supported Interactive Revision of Knowledge Bases.
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm · 2011
Quality control is an essential task within ontology development projects, especially when the knowl-edge formalization is partially automatized. We propose a method for integrating newly acquired, possibly low-quality axioms into an existing on-tology. During the process, some of the newly acquired axioms have to be inspected manually; based on the decision whether the axiom is de-sired or not, several of the yet unevaluated axioms are evaluated automatically. Since the evaluation order can significantly increase the amount of au-tomization, we further propose the notion of axiom impact. Finally, we introduce decision spaces as structures to efficiently 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%. 1