Default Reasoning Implementation in CoGui

  • Patrice BucheEmail author
  • Jérôme Fortin
  • Alain Gutierrez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8577)


This is an application paper in which we propose to present the actual implementation of default reasoning under conceptual graph formalism using CoGui. CoGui is a free graph-based visual tool, developed in Java, for building Conceptual Graph knowledge bases. We present the extension of this application to define and represent default CG rules (a CG-oriented subset of Reiter’s default logics) and how to use these rules in skeptical or credulous reasoning.


Generic Marker Fact Graph Classical Constraint Default Rule Default Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baget, J.-F., Croitoru, M., Fortin, J., Thomopoulos, R.: Default conceptual graph rules: Preliminary results for an agronomy application. In: Rudolph, S., Dau, F., Kuznetsov, S.O. (eds.) ICCS 2009. LNCS (LNAI), vol. 5662, pp. 86–99. Springer, Heidelberg (2009)Google Scholar
  2. 2.
    Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 81–132 (1980)CrossRefzbMATHMathSciNetGoogle Scholar
  3. 3.
    Sowa, J.F.: Conceptual graphs for a database interface. IBM Journal of Research and Development 20(4), 336–357 (1976)CrossRefzbMATHMathSciNetGoogle Scholar
  4. 4.
    Salvat, E., Mugnier, M.L.: Sound and complete forward and backward chaining of graph rules. In: Eklund, P., Ellis, G., Mann, G. (eds.) ICCS 1996. LNCS, vol. 1115, pp. 248–262. Springer, Heidelberg (1996)Google Scholar
  5. 5.
    Calì, A., Gottlob, G., Lukasiewicz, T., Pieris, A.: Datalog+/-: A family of languages for ontology querying. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 351–368. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  6. 6.
    Mugnier, M.-L.: Ontological Query Answering with Existential Rules. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 2–23. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  7. 7.
    Baget, J.-F., Croitoru, M., Gutierrez, A., Leclère, M., Mugnier, M.-L.: Translations between RDF(S) and conceptual graphs. In: Croitoru, M., Ferré, S., Lukose, D. (eds.) ICCS 2010. LNCS, vol. 6208, pp. 28–41. Springer, Heidelberg (2010)Google Scholar
  8. 8.
    Baget, J.-F.: Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms. In: Ganter, B., de Moor, A., Lex, W. (eds.) ICCS 2003. LNCS (LNAI), vol. 2746, pp. 229–242. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  9. 9.
    Naveh, B., Contributors: Jgrapht (March 2014),
  10. 10.
    Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison–Wesley (1984)Google Scholar
  11. 11.
    Baget, J.-F., Fortin, J.: Default conceptual graph rules, atomic negation and tic-tac-toe. In: Croitoru, M., Ferré, S., Lukose, D. (eds.) ICCS 2010. LNCS, vol. 6208, pp. 42–55. Springer, Heidelberg (2010)Google Scholar
  12. 12.
    Baget, J.F., Leclère, M., Mugnier, M.L., Salvat, E.: Extending decidable cases for rules with existential variables. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, pp. 677–682 (2009)Google Scholar
  13. 13.
    Chein, M., Mugnier, M.L.: Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs, 1st edn. Springer Publishing Company, Incorporated (2008)Google Scholar
  14. 14.
    Brewka, G., Eiter, T.: Prioritizing default logic: Abridged report. In: Festschrift on the Occasion of Prof. Dr. W. Bibel’s 60th Birthday. Kluwer (1999)Google Scholar
  15. 15.
    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: Croitoru, M., Rudolph, S., Woltran, S., Gonzales, C. (eds.) GKR 2013. LNCS (LNAI), vol. 8323, pp. 1–12. Springer, Heidelberg (2014)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Patrice Buche
    • 1
    Email author
  • Jérôme Fortin
    • 2
  • Alain Gutierrez
    • 3
  1. 1.INRA IATELIRMM GraphIKMontpellier Cedex 5France
  2. 2.IATE/LIRMM GraphIKUniversité Montpellier IIMontpellier Cedex 5France
  3. 3.CNRS LIRMMMontpellier Cedex 5France

Personalised recommendations