Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Modeling and multi-agent specification of IF-Based distributed goal ontologies
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
A meta-ontological architecture for foundational ontologies
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
International Journal of Approximate Reasoning
| Hi-index | 0.00 |
The theory of distributed conceptual structures, as outlined in this paper, is concerned with the distribution and conception of knowledge. It rests upon two related theories, Information Flow and Formal Concept Analysis, which it seeks to unify. Information Flow (IF) [2] is concerned with the distribution of knowledge. The foundations of Information Flow are explicitly based upon the Chu Construction in *- autonomous categories [1] and implicitly based upon the mathematics of closed categories [6]. Formal Concept Analysis (FCA) [3] is concerned with the conception and analysis of knowledge. In this paper, we connect these two studies by categorizing the basic theorem of Formal Concept Analysis, thus extending it to the distributed realm of Information Flow. The main result is the representation of the basic theorem as a categorical equivalence at three different levels of functional and relational constructs. This representation accomplishes a rapprochement between Information Flow and Formal Concept Analysis.