A logic for ontology interoperation -- by Dr. Pat Hayes from the Florida Institute for Human and Machine Cognition ("IHMC") - 26-October-2006

* Subject Dr. Pat Hayes from the Florida Institute for Human and Machine Cognition ("IHMC") was our invited speaker. His presentation was entitled: "A logic for ontology interoperation" where he talked about Common Logic (CL) and its extension, IKL - a system of logical notations and formalisms that can act as an expressive foundation for ontology interchange. * Date Thursday, October 26, 2006 * ONTOLOG Forum session page (with agenda and link to slides) http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26 * Abstract (by Pat Hayes) Over the past few years a series of initiatives have converged on the design of a 'common logic' into which a large variety of alternative logical notations and formalisms can be projected, and so can act as an expressive foundation for ontology interchange and standardization. This talk will briefly survey the design principles that have emerged from these discussions and the outline of the resulting framework, which is currently going through ISO approval as ISO Common Logic, and a more recent extension called IKL, designed explicitly for ontology interoperation, which provides a variety of powerful naming conventions which enable it to explicitly describe relationships between ontological frameworks. We will illustrate the talk with examples showing how description logics such as OWL, modal and temporal logics, hybrid logics and context logics can be mapped into CL and IKL.