Moodley, KMeyer, TVarzinczak, I2012-11-232012-11-232012-06Moodley, 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 20121613-0073http://www.cair.za.net/research/outputs/protege-plug-defeasible-reasoninghttp://ceur-ws.org/Vol-846/paper_46.pdfhttp://hdl.handle.net/10204/636725th International workshp on Description Logics 2012, Rome, Italy, 7-10 June 2012We 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.enDefeasible reasoningDescription LogicsOWL ontologiesConference PresentationMoodley, K., Meyer, T., & Varzinczak, I. (2012). A protege plug-in for defeasible reasoning. http://hdl.handle.net/10204/6367Moodley, K, T Meyer, and I Varzinczak. "A protege plug-in for defeasible reasoning." (2012): http://hdl.handle.net/10204/6367Moodley K, Meyer T, Varzinczak I, A protege plug-in for defeasible reasoning; 2012. http://hdl.handle.net/10204/6367 .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 -