Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Introducing Defeasibility into OWL Ontologies
Casini, Giovanni; Meyer, Thomas; Moodley, Kody et al.
2015In Arenas, Marcelo; Corcho, Oscar; Simperl, Elena et al. (Eds.) 14th International Semantic Web Conference. Bethlehem, PA, USA, October 11–15, 2015 Proceedings, Part II
Peer reviewed


Full Text
ISWC 2015 - Paper.pdf
Publisher postprint (652.84 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Keywords :
typicality; nonmonotonic reasoning; description logics
Abstract :
[en] 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.
Disciplines :
Computer science
Author, co-author :
Casini, Giovanni ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Meyer, Thomas;  University of Cape Town > Computer Science
Moodley, Kody;  University of Kwazulu-Natal > Computer Science
Sattler, Uli;  University of manchester > Computer Science
Varzinczak, Ivan;  Universidade Federal Do Rio de Janeiro > Computer Science
External co-authors :
Language :
Title :
Introducing Defeasibility into OWL Ontologies
Publication date :
Event name :
14th International Semantic Web Conference (ISWC)
Event place :
Bethlehem, United States - Pennsylvania
Event date :
from 11-10-2015 to 15-10-2015
Audience :
Main work title :
14th International Semantic Web Conference. Bethlehem, PA, USA, October 11–15, 2015 Proceedings, Part II
Editor :
Arenas, Marcelo
Corcho, Oscar
Simperl, Elena
Strohmaier, Markus
d’Aquin, Mathieu
Srinivas, Kavitha
Groth, Paul
Dumontier, Michel
Heflin, Jeff
Thirunarayan, Krishnaprasad
Staab, Steffen
Publisher :
Collection name :
Lecture Notes in Computer Science 9367
Pages :
Peer reviewed :
Peer reviewed
FnR Project :
FNR9181001 - Subjective And Objective Uncertainty In Description Logics, 2014 (01/07/2015-30/06/2017) - Giovanni Casini
Available on ORBilu :
since 21 January 2016


Number of views
80 (3 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
Scopus citations®
without self-citations


Similar publications

Contact ORBilu