DSpace
 

Researchspace >
General science, engineering & technology >
General science, engineering & technology >
General science, engineering & technology >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10204/6367

Title: A protege plug-in for defeasible reasoning
Authors: Moodley, K
Meyer, T
Varzinczak, I
Keywords: Defeasible reasoning
Description Logics
OWL ontologies
Issue Date: Jun-2012
Citation: Moodley, K, Meyer, T and Varzinczak, I. A protege plug-in for defeasible reasoning. 25th International workshp on Description Logics 2012, Rome, Italy, 7-10 June 2012
Series/Report no.: Workflow;9879
Abstract: We discuss two approaches for defeasible reasoning in Description Logics that allow for the statement of defeasible subsumptions of the form “subsumed by usually holds”. These approaches are known as prototypical reasoning and presumptive reasoning and are both rooted in the notion of Rational Closure developed by Lehmann and Magidor for the propositional case. Here we recast their definitions in a defeasible DL context and define algorithms for prototypical and presumptive reasoning in defeasible DL knowledge bases. In particular, we present a plug-in for the Protege ontology editor which implements these algorithms for OWL ontologies. The plug-in is called RaMP and allows the modeller to indicate defeasible information in OWL ontologies and check entailment of defeasible subsumptions from defeasible knowledge bases.
Description: 25th International workshp on Description Logics 2012, Rome, Italy, 7-10 June 2012
URI: http://www.cair.za.net/research/outputs/protege-plug-defeasible-reasoning
http://ceur-ws.org/Vol-846/paper_46.pdf
http://hdl.handle.net/10204/6367
ISSN: 1613-0073
Appears in Collections:Digital intelligence
General science, engineering & technology

Files in This Item:

File Description SizeFormat
Moodley1_2012.pdf518.48 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback