资源论文Reasoning-Supported Interactive Revision of Knowledge Bases Nadeschda Nikitina1 and Sebastian Rudolph1 and Birte Glimm2

Reasoning-Supported Interactive Revision of Knowledge Bases Nadeschda Nikitina1 and Sebastian Rudolph1 and Birte Glimm2

2019-11-12 | |  30 |   28 |   0
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%.

上一篇:Revisiting Preferences and Argumentation Sanjay Modgil1 and Henry Prakken2

下一篇:Augmenting Tractable Fragments of Abstract Argumentation?

用户评价
全部评价

热门资源

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...