We had a really comprehensive and brilliant session
with our invited speaker Dr. Pay Hayes (from the
Florida Institute for Human & Machine Cognition
("IHMC")) on Oct. 26, 2006. Dr. Hayes' presentation,
entitled: "A logic for ontology interoperation" was
about "Common Logic (CL) and its extension, IKL" - the
system of logical notations and formalisms that can act
as an expressive foundation for ontology interchange.
CL is currently going through ISO approval to become
"ISO Common Logic", along with the fact that work which
allows CL to be expressed in XML being in the final
stages of completion, make this talk all the more
important and relevant. (01)
Our appreciations go out to Dr. Hayes for sharing his
work, his knowledge and insight with us. As mentioned
at the session, special thanks are due to two of Dr.
Hayes colleagues and long time ontolog members --
Professor Christopher Menzel (of Texas A&M University),
one of the key contributors to CL, who first introduced
us to SCL, the predecessor of CL, about two years ago),
and to Ms. Elisa Kendall (of Sandpiper Software) who
prompted us to invite Dr. Hayes over. And, as always,
a big thank you to all the participants for joining us
and for contributing to the rich discussion we had
during yesterday's session. (02)
Proceedings of the session are captured at our wiki
In particular, full audio recording of the session (as
well as the podcast and telephone playback of it) is
now available - see:
... Dr. Hayes, the CL/IKL authors, and everyone's
contribution at the session definitely adds another key
piece to the body of knowledge on ontology and
ontological engineering that our community is building
together. Thanks again! (04)
Best regards. =ppy
Peter Yim wrote Tue, 24 Oct 2006 13:34:30 -0700:
> The subject session is coming up this coming Thursday 26-Oct-2006
> (starting at 17:30 UTC / 6:30pm BST / 1:30pm EDT / 10:30am PDT).
> This will be a very informative and important session, because we will
> be able to see, finally, how formal ontologist, semantic web
> advocates, data modelers and application developers can have a means
> to interoperate semantically with one another through this upcoming
> ISO standard called 'common logic (CL).' ... Don't miss this session!
> ... RSVP (by e-mailing the sender offline) if you are planning to
> attend and haven't already responded. We need the information to
> prepare enough resources to support everyone.
> We look forward to having you at the session.
> Regards. =ppy
> -- (06)
> On 10/16/06, Peter Yim <yimpp1@xxxxxxxxx> wrote:
>> Ref: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26
>> The Ontolog community is pleased to announce that Dr. Pat Hayes from the
>Florida Institute for Human & Machine Cognition ("IHMC") will be presenting to
>the community his talk entitled: "A logic for ontology interoperation"
>> We take pleasure in inviting you to join us at this virtual event.
>> *Conference call-in details*:
>> Date: Thursday, 26-October-2006
>> Start Time: 17:30 UTC / 6:30pm BST / 1:30pm EDT / 10:30am PDT
>> (World Time:
>> Session Duration: 1.5~2.0 Hours
>> Dial-in Number: +1-641-696-6600 (Iowa)
>> Participant Access Code: "686564#"
>> Shared-screen support will be available
>> Topic: *A logic for ontology interoperation*
>> *by Dr. Pat Hayes* - Thu 26-Oct-2006
>> *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.
>> *About the Speaker*:
>> *Dr. Pat Hayes* is currently a member of the W3C Data Access Working Group
>tasked with the design of an RDF/OWL query language. He has been at various
>times an AI researcher, a Luce Professor of cognitive science, a Professor of
>philosophy, a notational engineer and a Semantic Web researcher. The common
>thread running through all this is an enduring interest in how informal
>knowledge can be formalized, and in the actual semantic machinery of
>formalization itself. His work that is of most interest to ontologists is
>probably, in order: one of the first attempts to use formal logic to describe
>everyday physical knowledge, in a series of papers on "Naive Physics"
>published in the 1980s; a series of papers on temporal ontologies, culminating
>in one of the first thorough comparative surveys; and more recently,
>contributions to the writing of new 'standard' logics, including the W3C
>semantic web ontology standard sequence RDF/RDFS/OWL and the ISO Common Logic
>draft standard; and
>> t recently, the IKL logic developed with Professor Chris Menzel and others.
>This recent work has strengthened his long-standing belief that formal logic
>(and philosophy more generally) should be the servant of a pragmatic approach
>to writing ontologies: a valuable servant, but not the master.
>> Other interests include what is often called "logical AI", which is of
>course closely related to ontology design, the philosophical foundations of
>cognitive science, and the analysis of consciousness (which itself, is closely
>related to how we perceive the "passage of time" - a phrase which is
>physically meaningless yet intuitively compelling.)
>> Dr. Hayes received a BA in mathematics from Cambridge University and a PhD
>in Artificial Intelligence from Edinburgh.
>> *Refer to details on the session wiki page at*:
>> This will be a virtual session over an augmented conference call. The
>session is expected to start with a 1 Hour presentation followed by a Q&A and
>discussion between the participants and the speaker. The entire session will
>be recorded and made available as open content under the prevailing Ontolog
>IPR policy (see: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid32).
>> As usual, this Ontolog event is open to all. I look forward to having you at
>this session. Please pass the announcement along to those who might be
>interested to join us too.
>> *RSVP* by by emailing me at <peter.yim@xxxxxxxx> offline.
>> Regards. =ppy
>> Peter P. Yim
>> Co-convener, Ontolog
>> -- (07)
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)