Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
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
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
Lattices of Triadic Concept Graphs
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
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
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
Communicative rationality, logic, and mathematics
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Local negation in concept graphs
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
States of distributed objects in conceptual semantic systems
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
An application of relation algebra to lexical databases
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Triadic concept graphs and their conceptual contents
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
Protoconceptual contents and implications
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
An FCA interpretation of relation algebra
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Hi-index | 0.00 |
The aim of this paper is to show how existential concept graphs may be introduced on the semantic level. For this the "free extension" of a power context family K by a given set X of variables is constructed as a power context family "freely" enlarged by X. Then, an existential concept graph of K can be appropriately defined as a concept graph of the free extension of K that can be projected onto a concept graph of K by some mapping induced by an interpretation of the variables of X by basic objects of K . The introduced conceptual content of existential concept graphs allows a simple description of the generalization order between those graphs. All this can be generalized to existential protoconcept graphs for also including negations. In this way, the actual development of Contextual Judgment Logic disposes of (implicit) existential quantifiers as well as negations and negating inversions (cf. [Wi01a]).