Issue No.02 - February (2006 vol.18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TKDE.2006.18
Based on the original idea of Sowa on conceptual graph and a recent formalism by Corbett on ontology, this paper presents a rigorous mathematization of basic concepts encountered in the Conceptual Structure Theory, including canon, ontology, conceptual graph, projection, and canonical formation operations, with the aim of deriving their mathematical properties and applying them to future research and development on knowledge representation. Our proposed formalism enhances the Conceptual Structure Theory and enables it to compare favorably with other alternative methods such as the Formal Concept Analysis theory.
Index Terms- Graph algorithms, knowledge representation formalisms and methods, ontology design.
Philip H.P. Nguyen, "A Basic Mathematical Framework for Conceptual Graphs", IEEE Transactions on Knowledge & Data Engineering, vol.18, no. 2, pp. 261-271, February 2006, doi:10.1109/TKDE.2006.18