[Top] [All Lists]

[ontolog-forum] Category theory and ontologies

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Date: Fri, 11 Jul 2014 18:55:33 +0000
Message-id: <FDFBC56B2482EE48850DB651ADF7FEB035223842@xxxxxxxxxxxxxxxxxx>

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


Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)

<Prev in Thread] Current Thread [Next in Thread>