From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx]
On Behalf Of Obrst, Leo J.
Sent: Friday, July 11, 2014 2:56 PM
Subject: [ontolog-forum] Category theory and ontologies
For the historical record:
Probably folks tend to forget Robert Kent's original contributions at the IEEE-SUO list/standards effort on category theory with respect to ontologies. He used Barwise & Seligman’s Information Flow Theory  (itself an application of
category theory) to develop the Information Flow Framework (IFF) meta-ontology. I don’t think that much of Kent’s IFF is online these days, but here are a couple of references: [2, 3]. Other related references include [4-7], among others.
 Barwise, Jon; Seligman, Jerry. 1997. Information Flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge, UK.
 Kent, Robert E. 2006. The Information Flow Framework: New Architecture. International Category Theory Conference (CT 2006), White Point, Nova Scotia, June 25 – July 1, 2006. A version
at (2011): http://arxiv.org/abs/1109.0983.
 Kent, Robert E. 2011. A KIF Formalization for the IFF Category Theory Ontology. Paper presented at the Standard Upper Ontology workshop of the 17th International Joint Conference on Artificial
Intelligence (IJCAI-01), August, 2001, Seattle, Washington.
 Markus Kr¨otzsch, Pascal Hitzler, Marc Ehrig, York Sure. 2005. Category Theory in Ontology Research: Concrete Gain from an Abstract Approach.
 Kalfoglou, Y. and M. Schorlemmer. 2003. Ontology Mapping: The State of the Art. The Knowledge Engineering Review. Volume 18, Issue 1 (January 2003), pp. 1 – 31.
 Kalfoglou & Scholemmer. 2011. The information flow approach to ontology-based semantic alignment. In: TAO – Theory and Applications of Ontology, Volume 2: Computer Applications, Michael
Healy, Achilles Kameas, Roberto Poli, eds.
 Healy, M. 2011. Category theory as a mathematics for formalizing ontologies. In: TAO – Theory and Applications of Ontology, Volume 2: Computer Applications, Michael Healy, Achilles Kameas,
Roberto Poli, eds.
Dr. Leo Obrst The MITRE Corporation, Information Semantics
lobrst@xxxxxxxxx Information Technology Tech Center, CCG
Voice: 703-983-6770 7515 Colshire Drive, M/S H317
Fax: 703-983-1379 McLean, VA 22102-7508, USA