Towards Practical Defeasible Reasoning for Description Logics

Giovanni Casini, Thomas Meyer, Kody Moodley, Ivan José Varzinczak

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

The formalisation of defeasible reasoning in automated systems is becoming increasingly important. Description Logics (DLs) are nowadays the main logical formalism in the field of formal ontologies. Our focus in this paper is to devise a practical implementation for prior work that formalises a version of Rational Closure (an important type of defeasible reasoning) for DLs.We show that the conclusions drawn from it are generally intuitive and desirable. Moreover, we present experimental results showing that using Rational Closure for ontologies of reasonable size is practical.

Original languageEnglish
Title of host publicationDL 2013
Subtitle of host publicationInformal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013
PublisherCEUR Workshop Proceedings
Pages587-599
Number of pages13
Publication statusPublished - 2013
Externally publishedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume1014
ISSN1613-0073

Fingerprint

Dive into the research topics of 'Towards Practical Defeasible Reasoning for Description Logics'. Together they form a unique fingerprint.

Cite this