Matters

A Channel-Theoretic Foundation
for Ontology Coordination
"Abstract. We address the mathematical foundations of the ontology coordination problem and investigate to which extend the Barwise-Seligman theory of information flow may provide a faithful theoretical description of the problem. We give a formalisation of the coordination of populated ontologies based on instance exchange that captures progressive partial semantic integration. We also discuss the insights that the Barwise-Seligman theory provides to the general ontology coordination problem."