Thank You Sir
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Obrst, Leo J.
Sent: Friday, July 11, 2014 2:56 PM
To: [ontolog-forum]
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 [1] (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.
[1] Barwise, Jon; Seligman, Jerry. 1997. Information Flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge, UK.
[2] 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.
[3] 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. http://arxiv.org/ftp/arxiv/papers/1109/1109.0333.pdf.
[4] Markus Kr¨otzsch, Pascal Hitzler, Marc Ehrig, York Sure. 2005. Category Theory in Ontology Research: Concrete Gain from an Abstract Approach. http://www.aifb.kit.edu/web/Techreport893.
[5] 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.
[6] 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.
[7] 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
