Repairing Ontologies for Incomplete Reasoners.

Journal article

The need for scalable query answering often forces Semantic Web applications to use incomplete OWL 2 reasoners, which in some cases fail to derive all answers to a query. This is clearly undesirable, and in some applications may even be unacceptable. To address this problem, we investigate the problem of 'repairing' an ontology T - that is, computing an ontology R such that a reasoner that is incomplete for T becomes complete when used with T ∪ R. We identify conditions on T and the reasoner that make this possible, present a practical algorithm for computing R, and present a preliminary evaluation which shows that, in some realistic cases, repairs are feasible to compute, reasonable in size, and do not significantly affect reasoner performance. © 2011 Springer-Verlag.

Authors: Stoilos, G; Grau, B; Motik, B; Horrocks, I

• Publication status: Published
• Publisher: Springer
• Journal: International Semantic Web Conference (1)
• Volume: 7031
• Issue: PART 1
• Pages: 681-696
• Publication date: 2011-01-01
• DOI: 10.1007/978-3-642-25073-6_43
• EISSN: 1611-3349
• ISSN: 0302-9743
• Language: English