On Ontological Expressivity and Modelling Argumentation Schemes Using COGUI

  • Conference paper
  • First Online:
Research and Development in Intelligent Systems XXXI (SGAI 2014)

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
EUR 29.95
Price includes VAT (France)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 117.69
Price includes VAT (France)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
EUR 158.24
Price includes VAT (France)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    http://www.lirmm.fr/cogui/

References

  1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  2. Baget, J.-F., Croitoru, M., Fortin, J., Thomopoulos, R.: Default conceptual graph rules: preliminary results for an agronomy application. In: ICCS. Springer, Berlin (2009)

    Google Scholar 

  3. Boley, H., Kifer, M., Patranjan, P.-L., Polleres, A.: Rule interchange on the web. Reasoning Web, pp. 269–309. Springer, Berlin (2007)

    Chapter  Google Scholar 

  4. Buche, P., Cucheval, V., Diattara, A., Fortin, J., Gutierrez, A.: Implementation of a knowledge representation and reasoning tool using default rules for a decision support system in agronomy applications. In: GKR, pp. 1–12. Springer, Switzerland (2013)

    Google Scholar 

  5. Chein, M., Mugnier, M.-L., Croitoru, M.: Visual reasoning with graph-based mechanisms: the good, the better and the best. Knowl. Eng. Rev. 28(3), 249–271 (2013)

    Article  Google Scholar 

  6. Chesñevar, C.I., McGinnis, J., Modgil, S., Rahwan, I., Reed, C., Simari, G.R., South, M., Vreeswijk, G., Willmott, S.: Towards an argument interchange format. Knowl. Eng. Rev. 21(4), 293–316 (2006)

    Article  Google Scholar 

  7. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web, pp. 48–57 (2003)

    Google Scholar 

  8. Mugnier, M.-L., Chein, M.: Graph-based knowledge representation. Advanced Information and Knowledge Processing. Springer, London (2009)

    Google Scholar 

  9. Rahwan, I., Banihashemi, B., Reed, C., Walton, D., Abdallah, S.: Representing and classifying arguments on the semantic web. Knowl. Eng. Rev. 26(4), 487–511 (2011)

    Article  Google Scholar 

  10. Rahwan, I., Zablith, F., Reed, C.: Laying the foundations for a world wide argument web. Artif. Intell. 171(10–15), 897–921 (2007)

    Article  Google Scholar 

  11. Reiter, R.: A logic for default reasoning. Artif. intell. 13(1), 81–132 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  12. Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Boston (1984)

    MATH  Google Scholar 

  13. Walton, D.: Argumentation Schemes for Presumptive Reasoning. Psychology Press, London (1996)

    Google Scholar 

  14. Walton, D.: Fundamentals of Critical Argumentation. Cambridge University Press, Cambridge (2006)

    Google Scholar 

  15. Walton, D., Reed, C., Macagno, F.: Argumentation Schemes. Cambridge University Press, Cambridge (2008)

    Book  Google Scholar 

Download references

Acknowledgments

The research leading to these results has received funding from the European Community’s Seventh Framework Programme (FP7/2007–2013) under the grant agreement no FP7-265669-EcoBioCAP project.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Madalina Croitoru .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Hamdan, W., Khazem, R., Rebdawi, G., Croitoru, M., Gutierrez, A., Buche, P. (2014). On Ontological Expressivity and Modelling Argumentation Schemes Using COGUI. In: Bramer, M., Petridis, M. (eds) Research and Development in Intelligent Systems XXXI. SGAI 2014. Springer, Cham. https://doi.org/10.1007/978-3-319-12069-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-12069-0_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-12068-3

  • Online ISBN: 978-3-319-12069-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Navigation