A basic mathematical framework for conceptual graphs

Author

Nguyen, Philip H P ; Corbett, Dan

Author_Institution

Attorney General´´s Dept., Gov. of South Australia, Australia

Volume

18

Issue

2

fYear

2006

Firstpage

261

Lastpage

271

Abstract

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.

Keywords

graph theory; ontologies (artificial intelligence); canonical formation operation; conceptual graph; conceptual structure theory; formal concept analysis theory; graph algorithm; knowledge representation formalism; mathematical framework; ontology design; Algorithm design and analysis; Data analysis; Design methodology; Knowledge engineering; Knowledge representation; Lattices; Logic; Ontologies; Open wireless architecture; Research and development; Index Terms- Graph algorithms; knowledge representation formalisms and methods; ontology design.;

fLanguage

English

Journal_Title

Knowledge and Data Engineering, IEEE Transactions on

Publisher

ieee

ISSN

1041-4347

Type

jour

DOI

10.1109/TKDE.2006.18

Filename

1563987