On Ontological Expressivity and Modelling Argumentation Schemes Using COGUI

Knowledge elicitation, representation and reasoning explanation by/to non computing experts has always been considered as a crafty task due to difficulty of expressing logical statements by non logicians. In this paper, we use the COGUI editor in order to elicit and represent Argumentation Schemes within an inconsistent knowledge base. COGUI is a visual, graph based knowledge representation editor compatible with main Semantic Web languages. COGUI allows for default reasoning on top of ontologies. We investigate its use for modelling and reasoning using Argumentation Schemes and discuss the advantages of such representation. We show how this approach can be useful in the practical setting of EcoBioCap where the different Argumentation Schemes can be used to lead reasoning.

[1]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[2]  Michael Kifer,et al.  Rule Interchange on the Web , 2007, Reasoning Web.

[3]  Madalina Croitoru,et al.  Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application , 2009, ICCS.

[4]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[5]  D. Walton.  Argumentation Schemes for Presumptive Reasoning , 1995 .

[6]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[7]  Iyad Rahwan,et al.  Representing and classifying arguments on the Semantic Web , 2011, The Knowledge Engineering Review.

[8]  Douglas Walton,et al.  Fundamentals of critical argumentation , 2006, Critical reasoning and argumentation.

[9]  Patrice Buche,et al.  Implementation of a Knowledge Representation and Reasoning Tool Using Default Rules for a Decision Support System in Agronomy Applications , 2013, GKR.

[10]  Iyad Rahwan,et al.  Laying the foundations for a World Wide Argument Web , 2007, Artif. Intell..

[11]  Reedchris,et al.  Towards an argument interchange format , 2006 .

[12]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[13]  Chris Reed,et al.  Argumentation Schemes , 2008 .

[14]  Madalina Croitoru,et al.  Visual reasoning with graph-based mechanisms: the good, the better and the best , 2013, The Knowledge Engineering Review.