Back to Search
Start Over
Repairing Ontologies for Incomplete Reasoners
- Source :
- International Semantic Web Conference (1). 7031(PART 1)
- Publication Year :
- 2011
-
Abstract
- 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.
Details
- Language :
- English
- ISSN :
- 16113349 and 03029743
- Volume :
- 7031
- Issue :
- PART 1
- Database :
- OpenAIRE
- Journal :
- International Semantic Web Conference (1)
- Accession number :
- edsair.od......1064..d786bad7a45026b4c67b9d09ffacc1e8