Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Conceptual Graphs and Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Simple Concept Graphs: A Logic Approach
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
The Lattice of Concept Graphs of a Relationally Scaled Context
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Negations in Simple Concept Graphs
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Nested Concept Graphs and Triadic Power Context Families
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
A Contextual-Logic Extension of TOSCANA
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Semiconcept Graphs with Variables
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Semiconcept and protoconcept algebras: the basic theorems
Formal Concept Analysis
From formal concept analysis to contextual logic
Formal Concept Analysis
Hi-index | 0.00 |
The aim of this paper is to develop a logical theory of concept graphs with negation. For this purpose, we introduce semiconcept graphs as syntactical constructs and define their semantics based on power context families. Then a standard power context family is constructed which serves both as a characterization of the entailment relation and as a mechanism to translate knowledge given on the graph level to the context level. A standard graph is constructed which entails all semiconcept graphs valid in a given power context family. The possible use of semi-concept graphs in conceptual knowledge processing is illustrated by an example.