Techreport3013: Unterschied zwischen den Versionen
Nni (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Nikitina |ErsterAutorVorname=Nadeschda }} {{Publikation Author |Rank=2 |Author=Sebastian Rudolph }} {{Publikation …“) |
Nni (Diskussion | Beiträge) |
||
| Zeile 22: | Zeile 22: | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=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 | |Abstract=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 | + | 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 | + | impact. The use of decision spaces saves on average 75% of the costly reasoning operations during a revision. |
| − | |Download=Paper-with-proofs.pdf, | + | |Download=Paper-with-proofs.pdf, |
|Projekt=NanOn | |Projekt=NanOn | ||
|Forschungsgruppe=Wissensmanagement | |Forschungsgruppe=Wissensmanagement | ||
Version vom 12. April 2011, 11:00 Uhr
Published: 2011
April
Institution: Institut AIFB, KIT
Erscheinungsort / Ort: Karlsruhe
Archivierungsnummer:3013
Kurzfassung
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.
Download: Media:Paper-with-proofs.pdf