Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Supporting manual mapping revision using logical reasoning
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Exploiting Partial Information in Taxonomy Construction
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Semi-Automatic Revision of Formalized Knowledge
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Wheat and chaff - practically feasible interactive ontology revision
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Web Semantics: Science, Services and Agents on the World Wide Web
On the (non-)succinctness of uniform interpolation in general EL terminologies
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Hitting the sweetspot: economic rewriting of knowledge bases
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Hi-index | 0.00 |
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 significantly increase the amount of automatization, 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%.