Reasoning-Supported Interactive Revision of Knowledge Bases

We propose a method for controlling the quality of (semi-)automatically acquired axioms. We combine the manual inspection of axioms with automatic evaluation decisions and propose decision spaces as a means to efficiently compute which decisions can be automatized and which axiom evaluation order is beneficial.

• Type: Journal
• Year: 2011
• Where: DLOG
• Authors: Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
• Keywords: Automated Reasoning, Automatic Evaluation, Axioms, Decision Spaces, DLOG 2011