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.
PDF
ISWC_Experimental.pdf Download (455kB) |
Abstract
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: | http://iswc2015.semanticweb.org/sites/iswc2015.semanticweb.org/files/93670351.pdf, http://link.springer.com/chapter/10.1007%2F978-3-319-25010-6_27#page-1 |
Date Deposited: | 11 Mar 2016 |
Last Modified: | 10 Oct 2019 15:32 |
URI: | http://pubs.cs.uct.ac.za/id/eprint/1068 |
Actions (login required)
View Item |