Introducing Defeasibility into OWL Ontologies

Casini, Giovanni and Meyer, Thomas and Moodley, Kody and Sattler, Ulrike and Varzinczak, Ivan (2015) Introducing Defeasibility into OWL Ontologies, Proceedings of 14th International Semantic Web Conference (ISWC), 11-15 October 2015, Bethlehem, Pennsylvania, USA, 409-426, Springer.

[img] PDF

Download (455kB)


In recent years, various approaches have been developed for repre- senting and reasoning with exceptions in OWL. The price one pays for such ca- pabilities, in terms of practical performance, is an important factor that is yet to be quantified comprehensively. A major barrier is the lack of naturally oc- curring ontologies with defeasible features - the ideal candidates for evaluation. Such data is unavailable due to absence of tool support for representing defea- sible features. In the past, defeasible reasoning implementations have favoured automated generation of defeasible ontologies. While this suffices as a prelimi- nary 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 ap- ply 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.

Item Type: Conference paper
Subjects: Computing methodologies > Artificial intelligence
Alternate Locations:,
Date Deposited: 11 Mar 2016
Last Modified: 10 Oct 2019 15:32

Actions (login required)

View Item View Item