Introducing Defeasibility into OWL Ontologies
In recent years, various approaches have been developed for representing and reasoning with exceptions in OWL. The price one pays for such capabilities, in terms of practical performance, is an important factor that is yet to be quantified comprehensively. A major barrier is the lack of naturally occurring ontologies with defeasible features - the ideal candidates for evaluation. Such data is unavailable due to absence of tool support for representing defeasible features. In the past, defeasible reasoning implementations have favoured automated generation of defeasible ontologies. While this suffices as a preliminary approach, we posit that a method somewhere in between these two would yield more meaningful results. In this work, we describe a systematic approach to modify real-world OWL ontologies to include defeasible features, and we apply this to the Manchester OWL Repository to generate defeasible ontologies for evaluating our reasoner DIP (Defeasible-Inference Platform). The results of this evaluation are provided together with some insights into where the performance bottle-necks lie for this kind of reasoning. We found that reasoning was feasible on the whole, with surprisingly few bottle-necks in our evaluation.
Unable to display preview. Download preview PDF.
- 1.Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F., (eds.): The Description Logic Handbook. Cambridge Univ. Press (2003)Google Scholar
- 2.Bonatti, P., Faella, M., Petrova, I., Sauro, L.: A New Semantics for Overriding in Description Logics. Artificial Intelligence (2015)Google Scholar
- 4.Bonatti, P., Lutz, C., Wolter, F.: Description logics with circumscription. In: Proc. of KR, pp. 400–410 (2006)Google Scholar
- 5.Britz, K., Casini, G., Meyer, T., Moodley, K., Varzinczak, I.J.: Ordered Interpretations and Entailment for Defeasible Description Logics. Technical report, CAIR, CSIR Meraka and UKZN, South Africa (2013)Google Scholar
- 7.Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Towards practical defeasible reasoning for description logics. In: Proc. of DL (2013)Google Scholar
- 12.Horridge, M.: Justification Based Explanation in Ontologies. PhD thesis, University of Manchester (2011)Google Scholar
- 13.Horridge, M., Bechhofer, S.: The OWL API: A Java API for OWL Ontologies. Semantic Web 2(1), 11–21 (2011)Google Scholar
- 15.Ke, P., Sattler, U.: Next steps for description logics of minimal knowledge and negation as failure. In: Proc. of DL (2008)Google Scholar
- 19.Matentzoglu, N., Tang, D., Parsia, B., Sattler, U.: The manchester OWL repository: system description. In: Proc. of ISWC, pp. 285–288 (2014)Google Scholar
- 21.Meyer, T., Moodley, K., Sattler, U.: DIP: a defeasible-inference platform for OWL. In: Proc. of DL (2014)Google Scholar
- 23.Sattler, U., Schneider, T., Zakharyaschev, M.: Which kind of module should i extract? In: Proc. of DL (2009)Google Scholar
- 24.Sazonau, V., Sattler, U., Brown, G.: Predicting performance of OWL reasoners: locally or globally? In: Proc. of KR (2014)Google Scholar