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
Concept Graphs and Predicate Logic
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Simple Semiconcept Graphs: A Boolean Logic Approach
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
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 extend the logical theory of semiconcept graphs by allowing variables as references. With this, we obtain semiconcept graphs which can express existential quantification. Semiconcept graphs with variables are introduced as syntactical constructs. In the framework of contextual logic, we then develop their semantics based on power context families. For each semiconcept graph with variables the appropriate standard power context family is constructed. They characterize the entailment relation and serve as a mechanism to translate information given on the graph level to the context level. Vice versa, we construct for each power context family the standard graph which entails all semiconcept graphs of that given power context family. The theory of semiconcept graphs with variables is illustrated by demonstrating how these graphs can be applied to problems in pharmacology.