Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Basic Conceptual Structures Theory
ICCS '94 Proceedings of the Second International Conference on Conceptual Structures: Current Practices
Conceptual Graphs and Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Knowledge Representation and Reasonings Based on Graph Homomorphism
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Conceptual Knowledge Discovery in Databases Using Formal Concept Analysis Methods
PKDD '98 Proceedings of the Second European Symposium on Principles of Data Mining and Knowledge Discovery
Reasoning and Unification over Conceptual Graphs
Reasoning and Unification over Conceptual Graphs
UDS: A UNIVERSAL DATA STRUCTURE
UDS: A UNIVERSAL DATA STRUCTURE
The PROMPT suite: interactive tools for ontology merging and mapping
International Journal of Human-Computer Studies
Extensions of simple conceptual graphs: the complexity of rules and constraints
Journal of Artificial Intelligence Research
The SG family: extensions of simple conceptual graphs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
FCA-MERGE: bottom-up merging of ontologies
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Meta-relation and ontology closure in conceptual structure theory
Artificial Intelligence and Law
A heuristic knowledge-reduction method for decision formal contexts
Computers & Mathematics with Applications
Knowledge reduction in decision formal contexts
Knowledge-Based Systems
Building corporate knowledge through ontology integration
PKAW'06 Proceedings of the 9th Pacific Rim Knowledge Acquisition international conference on Advances in Knowledge Acquisition and Management
A formalization of objective and subjective time ontologies
AOW '07 Proceedings of the Third Australasian Workshop on Advances in Ontologies - Volume 85
| Hi-index | 0.00 |
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.