Reasoning-Supported Interactive Revision of Knowledge Bases

Nadeschda NikitinaNadeschda Nikitina, Sebastian RudolphSebastian Rudolph, Birte GlimmBirte Glimm

Download

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Technical Report, Institut AIFB, KIT, April 2011

Details
Bibtex

KurzfassungAbstract
Quality control is an essential task within ontology development projects especially when the knowledge formalization is partially automatized. In this paper, we propose a reasoning-based, interactive approach to support the revision of formalized knowledge. We state consistency criteria for revision states and introduce the notion of revision closure, based on which the revision of ontologies is partially automatized. Additionally, we
propose a notion of axiom impact which is used to determine a beneficial order of axiom evaluation in order to further increase the effectiveness of ontology revision. Finally, we develop the notion of decision spaces, which are structures for calculating and updating the revision closure and axiom
impact. The use of decision spaces saves on average 75% of the costly reasoning operations during a revision.
Projekt:Project: NanOn
Forschungsgruppe:Research Group: Information Systems„Information Systems“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Knowledge-Based Systems

@techreport{NRG2011,
  author      = {Nadeschda Nikitina and Sebastian Rudolph and Birte Glimm},
  title       = {Reasoning-Supported Interactive Revision of Knowledge Bases},
  institution = {Institut {AIFB,} {KIT}},
  year        = {2011},
  month       = {April}
}