A Categorical Formalism for Conceptual Graphs
References
- 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.
- 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).
- Daniel-Cristian Craciunean, “Categorical Mechanisms in Multi-level Modeling Methods”, Publishing House of the “Lucian Blaga” University of Sibiu, (2023).
- Daniel-Cristian Crăciunean, D. Karagiannis, “A categorical model of process cosimulation”, Journal of Advanced Computer Science and Applications (IJACSA), 10, (2019)
- D. Karagiannis, H.C. Mayr, J. Mylopoulos, “Domain-Specific Conceptual Modeling Concepts, Methods and Tools”, Springer International Publishing Switzerland (2016)
- Dominik Bork, Dimitris Karagiannis, Benedikt Pittl, “A survey of modeling language specification techniques”, Information Systems 87 (2020) 101425, journal homepage: <ext-link ext-link-type="uri" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://www.elsevier.com/locate/is">www.elsevier.com/locate/is</ext-link>
- Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann, “Graph and Model Transformation General Framework and Applications”, Springer-Verlag Berlin Heidelberg (2015)
- Michel Chein, Marie-Laure Mugnier, “Graph-based Knowledge Representation, Computational Foundations of Conceptual Graphs”, Springer-Verlag London (2009).
- Michael Barr, Charles Wells, “Category Theory For Computing Science”, Reprints in Theory and Applications of Categories, No. 22, (2012).
- 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).
- Sowa, John F., “Conceptual graphs for a database interface”, IBM Journal of Research and Development <bold>20:4</bold>, 336-357, (1976).
- 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).
- Uwe Wolter, Zinovy Diskin, “The Next Hundred Diagrammatic Specification Techniques, A Gentle Introduction to Generalized Sketches”, 02 September (2015), <ext-link ext-link-type="uri" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="https://www.researchgate.net/publication/253963677">https://www.researchgate.net/publication/253963677</ext-link>.
DOI: https://doi.org/10.2478/ijasitels-2024-0014 | Journal eISSN: 2559-365X | Journal ISSN: 2067-354X
Language: English
Page range: 45 - 53
Published on: Dec 18, 2024
Published by: Lucian Blaga University of Sibiu
In partnership with: Paradigm Publishing Services
Publication frequency: 2 times per year
Keywords:
Related subjects:
© 2024 Daniel C. Crăciunean, published by Lucian Blaga University of Sibiu
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.