[Top] [All Lists]

[ontolog-forum] Ontolog Invited Speaker - Dr. Pat Hayes - Thu 26-Oct-200

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Peter Yim" <peter.yim@xxxxxxxx>
Date: Mon, 16 Oct 2006 20:46:22 -0700
Message-id: <af8f58ac0610162046t52f5872are772f051489ca468@xxxxxxxxxxxxxx>
Ref: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26    (01)


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"    (03)

We take pleasure in inviting you to join us at this virtual event.    (04)

*Conference call-in details*:    (05)

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    (06)

Topic: *A logic for ontology interoperation*
       *by Dr. Pat Hayes - Thu 26-Oct-2006*    (07)

*Abstract*: (by Pat Hayes)    (08)

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.    (09)

*About the Speaker*:    (010)

*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 most 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.    (011)

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.)    (012)

Dr. Hayes received a BA in mathematics from Cambridge University and a
PhD in Artificial Intelligence from Edinburgh.    (013)

*Refer to details on the session wiki page at*:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26    (014)

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).    (015)

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.    (016)

*RSVP* by by emailing me at <peter.yim@xxxxxxxx> offline.    (017)

Regards. =ppy    (018)

Peter P. Yim
Co-convener, Ontolog
--    (019)

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    (020)

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