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