Exploring, Reasoning with and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs

  • Simon Andrews
  • Simon Polovina
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10775)


Although tools exist to aid practitioners in the construction of directed graphs typified by Conceptual Graphs (CGs), it is still quite possible for them to draw the wrong model, mistakenly or otherwise. In larger or more complex CGs it is furthermore often difficult–without close inspection–to see clearly the key features of the model. This paper thereby presents a formal method, based on the exploitation of CGs as directed graphs and the application of Formal Concept Analysis (FCA). FCA elucidates key features of CGs such as pathways and dependencies, inputs and outputs, cycles, and joins. The practitioner is consequently empowered in exploring, reasoning with and validating their real-world models.


  1. 1.
    Charger - a conceptual graph editor. Accessed 02 Jan 2018
  2. 2.
    Cogui. Accessed 02 Jan 2018
  3. 3.
    Andrews, S.: In-Close2, a high performance formal concept miner. In: Andrews, S., Polovina, S., Hill, R., Akhgar, B. (eds.) ICCS 2011. LNCS (LNAI), vol. 6828, pp. 50–62. Springer, Heidelberg (2011). CrossRefGoogle Scholar
  4. 4.
    Andrews, S., Hirsch, L.: A tool for creating and visualising formal concept trees. In: CEUR Workshop Proceedings, vol. 1637, pp. 1–9 (2016)Google Scholar
  5. 5.
    Andrews, S., Polovina, S.: A mapping from conceptual graphs to formal concept analysis. In: Andrews, S., Polovina, S., Hill, R., Akhgar, B. (eds.) ICCS 2011. LNCS (LNAI), vol. 6828, pp. 63–76. Springer, Heidelberg (2011). CrossRefGoogle Scholar
  6. 6.
    Baader, F., Distel, F.: A finite basis for the set of \(\cal{EL}\)-implications holding in a finite model. In: Medina, R., Obiedkov, S. (eds.) ICFCA 2008. LNCS (LNAI), vol. 4933, pp. 46–61. Springer, Heidelberg (2008). CrossRefGoogle Scholar
  7. 7.
    Ferré, S., Cellier, P.: Graph-FCA in practice. In: Haemmerlé, O., Stapleton, G., Faron Zucker, C. (eds.) ICCS 2016. LNCS (LNAI), vol. 9717, pp. 107–121. Springer, Cham (2016). Google Scholar
  8. 8.
    Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (2012). zbMATHGoogle Scholar
  9. 9.
    Harary, F.: Structural Models: An Introduction to the Theory of Directed Graphs. Wiley, New York (1965)zbMATHGoogle Scholar
  10. 10.
    Hitzler, P., Scharfe, H.: Conceptual Structures in Practice. CRC Press, Boca Raton (2009)Google Scholar
  11. 11.
    Koehler, K.R.: Directed graphs (2012).
  12. 12.
    Parker, L., HP OpenView Business Unit: A fool with a tool is still a fool! HP Open View (2001)Google Scholar
  13. 13.
    Poelmans, J., Ignatov, D.I., Kuznetsov, S.O., Dedene, G.: Review: formal concept analysis in knowledge processing: a survey on applications. Expert Syst. Appl. 40(16), 6538–6560 (2013)CrossRefGoogle Scholar
  14. 14.
    Polovina, S.: An introduction to conceptual graphs. In: Priss, U., Polovina, S., Hill, R. (eds.) ICCS-ConceptStruct 2007. LNCS (LNAI), vol. 4604, pp. 1–14. Springer, Heidelberg (2007). CrossRefGoogle Scholar
  15. 15.
    Polovina, S., Scheruhn, H.-J., von Rosing, M.: Modularising the complex meta-models in enterprise systems using conceptual structures. In: Developments and Trends in Intelligent Technologies and Smart Systems, pp. 261–283. IGI Global, Hershey (2018). ID: 189437Google Scholar
  16. 16.
    Rouane-Hacene, M., Huchard, M., Napoli, A., Valtchev, P.: Relational concept analysis: mining concept lattices from multi-relational data. Ann. Math. Artif. Intell. 67(1), 81–108 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley Publishing, Reading (1983)Google Scholar
  18. 18.
    Sowa, J.F.: Conceptual graph examples.
  19. 19.
    Sowa, J.F.: Conceptual graphs. In: Handbook of Knowledge Representation, Foundations of Artificial Intelligence, vol. 3, pp. 213–237. Elsevier, Amsterdam (2008)Google Scholar
  20. 20.
    Wille, R.: Conceptual graphs and formal concept analysis. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J. (eds.) ICCS-ConceptStruct 1997. LNCS, vol. 1257, pp. 290–303. Springer, Heidelberg (1997). CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Conceptual Structures Research Group, Department of Computing, Communication and Computing Research CentreSheffield Hallam UniversitySheffieldUK

Personalised recommendations