Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Distributed Conceptual Structures
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Chu spaces as a semantic bridge between linear logic and mathematics
Theoretical Computer Science - Linear logic
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
ICFCA'07 Proceedings of the 5th international conference on Formal concept analysis
The tensor product as a lattice of regular galois connections
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Concept analysis as a formal method for menu design
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
The Category of L-Chu Correspondences and the Structure of L-Bonds
Fundamenta Informaticae - Concept Lattices and Their Applications
International Journal of Approximate Reasoning
Review: Formal concept analysis in knowledge processing: A survey on applications
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms can be used for the study of structural properties of knowledge represented in formal contexts, with applications to data transformation and merging. In this paper we present a comprehensive treatment of some of the most important morphisms in FCA and their relationships, including dual bonds, scale measures, infomorphisms, and their respective relations to Galois connections. We summarize our results in a concept lattice that cumulates the relationships among the considered morphisms. The purpose of this work is to lay a foundation for applications of FCA in ontology research and similar areas, where morphisms help formalize the interplay among distributed knowledge bases.