Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Relation algebras and Schro¨der categories
Discrete Mathematics
Relational methods in computer science
Relational methods in computer science
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Conceptual Graphs and Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Conceptual Graphs: Draft Proposed American National Standard
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
The Lattice of Concept Graphs of a Relationally Scaled Context
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
On the Contextual Logic of Ordinal Data
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
Theory of Relational Databases
Theory of Relational Databases
A diagrammatic reasoning system for the description logic ALC
Journal of Visual Languages and Computing
A diagrammatic reasoning system for ALC
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
From formal concept analysis to contextual logic
Formal Concept Analysis
| Hi-index | 0.00 |
Contextual Logic of Relations (CLR) is based on Formal Concept Analysis (FCA) and Peircean Algebraic Logic (PAL). The aim of the paper is to introduce relation graphs as an algebraic structure for representing relations and operations on relations in Contextual Logic of Relations. It is shown that each relation graph of a relation context family uniquely represents an extent of a relation described by a first order logic formula. In reverse, each compound relation of a relation context family can be represented by a relation graph. A graphical representation of relation graphs highly corresponds to a graphical system of PAL. The formal definition of relation graphs is intended to clarify correspondences between PAL and (existential semi-) concept graphs as well as existential graphs.