[Top] [All Lists]

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

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Peter P. Yim" <peter.yim@xxxxxxxx>
Date: Mon, 16 Oct 2006 20:14:31 -0700
Message-id: <45344A97.7020104@xxxxxxxx>
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>