Basic category theory for computer scientists
Basic category theory for computer scientists
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Ontology negotiation between intelligent information agents
The Knowledge Engineering Review
Proceedings of the ACM first Ph.D. workshop in CIKM
A formal model for situated semantic alignment
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
The dream of a global knowledge network—A new approach
Journal on Computing and Cultural Heritage (JOCCH)
Semantic interoperability via category theory
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system
Applied Ontology - Formal Ontologies for Communicating Agents
Institutionalising ontology-based semantic integration
Applied Ontology
Integrating ontologies based on P2P mappings
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Mediation of foundation ontology based knowledge sources
Computers in Industry
Institutionalising ontology-based semantic integration
Applied Ontology
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system
Applied Ontology - Formal Ontologies for Communicating Agents
Hi-index | 0.00 |
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the Barwise-Seligman theory of information flow provides a faithful theoretical description of the partial semantic integration that two agents achieve as they progressively align their underlying ontologies through the sharing of tokens, such as instances. We also discuss the insights and practical implications of the Barwise-Seligman theory with respect to the general meaning coordination problem.