dc.contributor.author |
Moodley, K
|
|
dc.contributor.author |
Meyer, T
|
|
dc.contributor.author |
Varzinczak, I
|
|
dc.date.accessioned |
2012-11-23T09:28:43Z |
|
dc.date.available |
2012-11-23T09:28:43Z |
|
dc.date.issued |
2012-06 |
|
dc.identifier.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 |
en_US |
dc.identifier.issn |
1613-0073 |
|
dc.identifier.uri |
http://www.cair.za.net/research/outputs/protege-plug-defeasible-reasoning
|
|
dc.identifier.uri |
http://ceur-ws.org/Vol-846/paper_46.pdf
|
|
dc.identifier.uri |
http://hdl.handle.net/10204/6367
|
|
dc.description |
25th International workshp on Description Logics 2012, Rome, Italy, 7-10 June 2012 |
en_US |
dc.description.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. |
en_US |
dc.language.iso |
en |
en_US |
dc.relation.ispartofseries |
Workflow;9879 |
|
dc.subject |
Defeasible reasoning |
en_US |
dc.subject |
Description Logics |
en_US |
dc.subject |
OWL ontologies |
en_US |
dc.title |
A protege plug-in for defeasible reasoning |
en_US |
dc.type |
Conference Presentation |
en_US |
dc.identifier.apacitation |
Moodley, K., Meyer, T., & Varzinczak, I. (2012). A protege plug-in for defeasible reasoning. http://hdl.handle.net/10204/6367 |
en_ZA |
dc.identifier.chicagocitation |
Moodley, K, T Meyer, and I Varzinczak. "A protege plug-in for defeasible reasoning." (2012): http://hdl.handle.net/10204/6367 |
en_ZA |
dc.identifier.vancouvercitation |
Moodley K, Meyer T, Varzinczak I, A protege plug-in for defeasible reasoning; 2012. http://hdl.handle.net/10204/6367 . |
en_ZA |
dc.identifier.ris |
TY - Conference Presentation
AU - Moodley, K
AU - Meyer, T
AU - Varzinczak, I
AB - 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.
DA - 2012-06
DB - ResearchSpace
DP - CSIR
KW - Defeasible reasoning
KW - Description Logics
KW - OWL ontologies
LK - https://researchspace.csir.co.za
PY - 2012
SM - 1613-0073
T1 - A protege plug-in for defeasible reasoning
TI - A protege plug-in for defeasible reasoning
UR - http://hdl.handle.net/10204/6367
ER -
|
en_ZA |