Reasoning-Supported Interactive Revision of Knowledge Bases

Nikitina, Nadeschda; Rudolph, Sebastian; Glimm, Birte

doi:10.5591/978-1-57735-516-8/IJCAI11-176

Reasoning-Supported Interactive Revision of Knowledge Bases

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 1027-1031.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-176

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 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.

Nadeschda Nikitina, Sebastian Rudolph, and Birte Glimm. 2011. Reasoning-Supported Interactive Revision of Knowledge Bases. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 1027–1031. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-176

@inproceedings{ijcai2011p176,
  title     = {Reasoning-Supported Interactive Revision of Knowledge Bases},
  author    = {Nikitina, Nadeschda and Rudolph, Sebastian and Glimm, Birte},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {1027--1031},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-176},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-176},
}

TY  - CPAPER
TI  - Reasoning-Supported Interactive Revision of Knowledge Bases
AU  - Nikitina, Nadeschda
AU  - Rudolph, Sebastian
AU  - Glimm, Birte
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 1027
EP  - 1031
DO  - 10.5591/978-1-57735-516-8/IJCAI11-176
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-176
ER  -