2015 • In Arenas, Marcelo; Corcho, Oscar; Simperl, Elenaet al. (Eds.) 14th International Semantic Web Conference. Bethlehem, PA, USA, October 11–15, 2015 Proceedings, Part II
[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 :
yes
Language :
English
Title :
Introducing Defeasibility into OWL Ontologies
Publication date :
2015
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 :
International
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 :
Springer
ISBN/EAN :
978-3-319-25009-0
Collection name :
Lecture Notes in Computer Science 9367
Pages :
409-426
Peer reviewed :
Peer reviewed
FnR Project :
FNR9181001 - Subjective And Objective Uncertainty In Description Logics, 2014 (01/07/2015-30/06/2017) - Giovanni Casini
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F., (eds.): The Description Logic Handbook. Cambridge Univ. Press (2003)
Bonatti, P., Faella, M., Petrova, I., Sauro, L.: A New Semantics for Overriding in Description Logics. Artificial Intelligence (2015)
Bonatti, P., Faella, M., Sauro, L.: Defeasible Inclusions in Low-Complexity DLs. JAIR 42, 719-764 (2011)
Bonatti, P., Lutz, C., Wolter, F.: Description logics with circumscription. In: Proc. of KR, pp. 400-410 (2006)
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)
Britz, K., Meyer, T., Varzinczak, I.: Semantic foundation for preferential description logics. In: Wang, D., Reynolds, M. (eds.) AI 2011. LNCS, vol. 7106, pp. 491-500. Springer, Heidelberg (2011)
Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Towards practical defeasible reasoning for description logics. In: Proc. of DL (2013)
Casini, G., Straccia, U.: Rational closure for defeasible description logics. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 77-90. Springer, Heidelberg (2010)
Cuenca-Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: The Next Step for OWL. Web Semantics: SSAWWW 6(4), 309-322 (2008)