Abstract
AbstractThe construction and maintenance of ontologies is an error-prone task. As such, it is not uncommon to detect unwanted or erroneous consequences in large-scale ontologies which are already deployed in production. While waiting for a corrected version, these ontologies should still be available for use in a “safe” manner, which avoids the known errors. At the same time, the knowledge engineer in charge of producing the new version requires support to explore only the potentially problematic axioms, and reduce the number of exploration steps. In this paper, we explore the problem of deriving meaningful consequences from ontologies which contain known errors. Our work extends the ideas from inconsistency-tolerant reasoning to allow for arbitrary entailments as errors, and allows for any part of the ontology (be it the terminological elements or the facts) to be the causes of the error. Our study shows that, with a few exceptions, tasks related to this kind of reasoning are intractable in general, even for very inexpressive description logics.
Publisher
Springer Science and Business Media LLC
Reference29 articles.
1. Arif MF, Mencía C, Ignatiev A, Manthey N, Peñaloza R, Marques-Silva J (2016) BEACON: an efficient SAT-based tool for debugging EL+ ontologies. In: Creignou N, Berre DL (eds) Proceedings of the 19th international conference on theory and applications of satisfiability testing (SAT 2016), Springer, New York, LNCS, vol 9710, pp 521–530. https://doi.org/10.1007/978-3-319-40970-2_32
2. Artale A, Calvanese D, Kontchakov R, Zakharyaschev M (2009) The dl-lite family and relations. J Artif Intell Res 36:1–69. https://doi.org/10.1613/jair.2820
3. Baader F, Brandt S, Lutz C (2005) Pushing the $$\cal{EL}$$ envelope. In: Kaelbling L, Saffiotti A (eds) In: Proceedings of the 19th international joint conference on artificial intelligence (IJCAI’05), Professional Book Center, pp 364–369
4. Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (eds) (2007a) The description logic handbook: theory, implementation, and applications, 2nd edn. Cambridge University Press, Cambridge
5. Baader F, Peñaloza R, Suntisrivaraporn B (2007b) Pinpointing in the description logic EL+. In: Hertzberg J, Beetz M, Englert R (eds) Proceedings of the 30th annual German conference on AI (KI’07), Springer, New York, LNCS, vol 4667, pp 52–67. https://doi.org/10.1007/978-3-540-74565-5_7
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献