References

The Information Flow Framework

• Kent, Robert E. 2000. The Information Flow Foundation for Conceptual Knowledge Organization. In: Dynamism and Stability in Knowledge Organization. Proceedings of the Sixth International ISKO Conference. Advances in Knowledge Organization 7 (2000), pp. 111-117. Ergon Verlag, Würzburg.
• Kent, Robert E. 2002a. Distributed Conceptual Structures. In: Proceedings of the 6th International Workshop on Relational Methods in Computer Science (RelMiCS 6). Lecture Notes in Computer Science 2561. Springer, Berlin.
• Kent, Robert E. 2003. The IFF Foundation for Ontological Knowledge Organization In: Knowledge Organization and Classification in International Information Retrieval. Cataloging and Classification Quarterly. The Haworth Press Inc., Binghamton, New York.

Channel Theory and Semantic Integration

• Y. Kalfoglou, M. Schorlemmer. IF-Map: An Ontology-Mapping Method based on Information-Flow Theory. Journal of Data Semantics I, LNCS 2800, Springer 2003.
• R. Kent. The IFF Approach to Semantic Integration. Presentation at the Boeing Mini-Workshop on Semantic Integration, 7 November 2002.
• R. Kent. Semantic Integration in the IFF. ISWC'03 Semantic Integration Workshop. Sanibel Island, Florida, USA, 2003.
• R. Kent. Semantic Integration in the IFF. Semantic Interoperability and Integration. Dagstuhl Seminar 04391, September 2004.
  
• M. Schorlemmer, Y. Kalfoglou. Using Information-Flow Theory to Enable Semantic Interoperability. In Artificial Intelligence Research and Development, volume 100 of Frontiers of Artificial Intelligence and Applications. IOS Press, 2003.
• M. Schorlemmer, Y. Kalfoglou. On Semantic Interoperability and the Flow of Information. ISWC'03 Semantic Integration Workshop. Sanibel Island, Florida, USA, 2003.

Mathematical and Philosophical Foundations

• Barr, Michael. 1996. The Chu Construction.Theory and Applications of Categories 2.
• Barwise, Jon and Seligman, Jerry. 1997. Information Flow: The Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science 44. Cambridge University Press.
• Chang, C. C. and Keisler, H. J. 1973. Model Theory. Studies in Logic and the Foundations of Mathematics 73. Amsterdam: North Holland.
• Enderton, Herbert B. 1972. A Mathematical Introduction to Logic. New York: Academic Press.
• Mac Lane, Saunders. 1971. Categories for the Working Mathematician. New York/Heidelberg/Berlin: Springer-Verlag. New edition (1998).
• Pitts, Andrew M. 2000. Categorical Logic. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures. Chapter 2. Oxford University Press.
• Seely, Robert A.G. Hyperdoctrines, natural deduction, and the Beck condition. Zeitschrift f. math. Logik und Grundlagen d. Math. 29 (1983) 505-542.
  
• Sowa, John S. 2000. Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brookes/Cole: Pacific Grove, CA, USA.