A Categorical Formalism for Conceptual Graphs

[1]Jamie Caine, Simon Polovina, ”From Enterprise Concepts to Formal Concepts: A University Case Study, in Graph Structures for Knowledge Representation and Reasoning”, 5th International Workshop, GKR 2017 Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers, Lecture Notes in Artificial Intelligence.Search in Google Scholar

[2]Daniel-Cristian Craciunean, Daniel Volovici, “Conceptualization of Modeling Method in the Context of Categorical Mechanism”, in Dimitris Karagiannis and others, Domain Specific Conceptual Modeling, Springer Nature Switzerland AG (2022).Search in Google Scholar

[3]Daniel-Cristian Craciunean, “Categorical Mechanisms in Multi-level Modeling Methods”, Publishing House of the “Lucian Blaga” University of Sibiu, (2023).Search in Google Scholar

[4]Daniel-Cristian Crăciunean, D. Karagiannis, “A categorical model of process cosimulation”, Journal of Advanced Computer Science and Applications (IJACSA), 10, (2019)Search in Google Scholar

[5]D. Karagiannis, H.C. Mayr, J. Mylopoulos, “Domain-Specific Conceptual Modeling Concepts, Methods and Tools”, Springer International Publishing Switzerland (2016)Search in Google Scholar

[6]Dominik Bork, Dimitris Karagiannis, Benedikt Pittl, “A survey of modeling language specification techniques”, Information Systems 87 (2020) 101425, journal homepage: www.elsevier.com/locate/isSearch in Google Scholar

[7]Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann, “Graph and Model Transformation General Framework and Applications”, Springer-Verlag Berlin Heidelberg (2015)Search in Google Scholar

[8]Michel Chein, Marie-Laure Mugnier, “Graph-based Knowledge Representation, Computational Foundations of Conceptual Graphs”, Springer-Verlag London (2009).Search in Google Scholar

[9]Michael Barr, Charles Wells, “Category Theory For Computing Science”, Reprints in Theory and Applications of Categories, No. 22, (2012).Search in Google Scholar

[10]M. Huth, M. Ryan, “Logic in Computer Science, Modelling and Reasoning about Systems”, Published in the United States of America by Cambridge University Press, New York, (2004).Search in Google Scholar

[11]Sowa, John F., “Conceptual graphs for a database interface”, IBM Journal of Research and Development 20:4, 336-357, (1976).Search in Google Scholar

[12]Zinovy Diskin, Uwe Wolter, “A Diagrammatic Logic for Object-Oriented Visual Modeling”, Electronic Notes in Theoretical Computer Science, Volume 203, Issue 6, 21 November (2008).Search in Google Scholar

[13]Uwe Wolter, Zinovy Diskin, “The Next Hundred Diagrammatic Specification Techniques, A Gentle Introduction to Generalized Sketches”, 02 September (2015), https://www.researchgate.net/publication/253963677.Search in Google Scholar