[Top] [All Lists]

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

To: ontolog-forum <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Peter Yim <yimpp1@xxxxxxxxx>
Date: Mon, 16 Oct 2006 20:58:27 -0700 (PDT)
Message-id: <20061017035827.31928.qmail@xxxxxxxxxxxxxxxxxxxxxxxxxxx>
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>