Ref: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26 (01)
*ANNOUNCEMENT* (02)
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:
http://www.timeanddate.com/worldclock/fixedtime.html?month=10&day=26&year=2006&hour=10&min=30&sec=0&p1=224)
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/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (020)
|