DIP: A Defeasible-Inference Platform for OWL Ontologies

Kody Moodley, Thomas Meyer, Uli Sattler

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

Abstract

The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause, Lehmann and Magidor (KLM) for propositional logic in the early 90's. In recent years, there have been efforts to extend their framework to Description Logics (DLs) and a solid theoretical foundation has already been established towards this aim. Despite this foundation, and the fact that many of the desirable aspects of the approach generalise favourably to certain DLs, implementations thereof remain unpublished. We present a defeasible-reasoning system for OWL ontologies demonstrating that we need not devise new decision procedures for certain preferential DLs. Our reasoning procedures are composed purely of classical DL decision steps which allows us to immediately hinge upon existing OWL and DL systems for defeasiblereasoning tool support.

Original languageEnglish
Title of host publicationDL 2014
Subtitle of host publicationInformal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014
PublisherCEUR Workshop Proceedings
Chapter44
Pages671-683
Number of pages13
Publication statusPublished - 2014
Externally publishedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume1193
ISSN1613-0073

Fingerprint

Dive into the research topics of 'DIP: A Defeasible-Inference Platform for OWL Ontologies'. Together they form a unique fingerprint.

Cite this