Abstract
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.
Keywords
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
- 2.
Note Mat here has a latent referent, in accordance with CGs theory; hence we can simply refer to it through the definite article ‘the’.
- 3.
CG relations may however have only one target CG Concept [17].
References
Charger - a conceptual graph editor. http://charger.sourceforge.net/. Accessed 02 Jan 2018
Cogui. http://www.lirmm.fr/cogui/. Accessed 02 Jan 2018
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). https://doi.org/10.1007/978-3-642-22688-5_4
Andrews, S., Hirsch, L.: A tool for creating and visualising formal concept trees. In: CEUR Workshop Proceedings, vol. 1637, pp. 1–9 (2016)
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). https://doi.org/10.1007/978-3-642-22688-5_5
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). https://doi.org/10.1007/978-3-540-78137-0_4
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). https://doi.org/10.1007/978-3-319-40985-6_9
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-59830-2
Harary, F.: Structural Models: An Introduction to the Theory of Directed Graphs. Wiley, New York (1965)
Hitzler, P., Scharfe, H.: Conceptual Structures in Practice. CRC Press, Boca Raton (2009)
Koehler, K.R.: Directed graphs (2012). http://kias.dyndns.org/comath/33.html
Parker, L., HP OpenView Business Unit: A fool with a tool is still a fool! HP Open View (2001)
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)
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). https://doi.org/10.1007/978-3-540-73681-3_1
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: 189437
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)
Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley Publishing, Reading (1983)
Sowa, J.F.: Conceptual graph examples. http://www.jfsowa.com/cg/cgexampw.htm
Sowa, J.F.: Conceptual graphs. In: Handbook of Knowledge Representation, Foundations of Artificial Intelligence, vol. 3, pp. 213–237. Elsevier, Amsterdam (2008)
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). https://doi.org/10.1007/BFb0027878
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Andrews, S., Polovina, S. (2018). Exploring, Reasoning with and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs. In: Croitoru, M., Marquis, P., Rudolph, S., Stapleton, G. (eds) Graph Structures for Knowledge Representation and Reasoning. GKR 2017. Lecture Notes in Computer Science(), vol 10775. Springer, Cham. https://doi.org/10.1007/978-3-319-78102-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-78102-0_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-78101-3
Online ISBN: 978-3-319-78102-0
eBook Packages: Computer ScienceComputer Science (R0)