Peter, (01)
I cannot attend, since I'm at a conference at STRATCOM. I really did
look forward to hearing Pat. (02)
I assume that it will be recorded, as always. We all appreciate your
hard work on these teleconferences. (03)
Regards, (04)
--------------------------------------------------------
Jeffrey Schiffel (316) 393-0497 M/C K81-77
The Boeing Company - IDS Wichita
System of Systems Engineering
-------------------------------------------------------- (05)
-----Original Message-----
From: Peter Yim [mailto:peter.yim@xxxxxxxx]
Sent: Tuesday, October 24, 2006 3:35 PM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] Ontolog Invited Speaker - Dr. Pat Hayes -
Thu26-Oct-2006 (06)
Ref:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26 (07)
*REMINDER* (08)
The subject session is coming up this coming Thursday 26-Oct-2006
(starting at 17:30 UTC / 6:30pm BST / 1:30pm EDT / 10:30am PDT). (09)
This will be a very informative and important session, because we will
be able to see, finally, how formal ontologist, semantic web advocates,
data modelers and application developers can have a means to
interoperate semantically with one another through this upcoming ISO
standard called 'common logic (CL).' ... Don't miss this session! (010)
... RSVP (by e-mailing the sender offline) if you are planning to attend
and haven't already responded. We need the information to prepare enough
resources to support everyone. (011)
We look forward to having you at the session. (012)
Regards. =ppy
-- (013)
On 10/16/06, Peter Yim <yimpp1@xxxxxxxxx> wrote:
> Ref: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26
>
>
> *ANNOUNCEMENT*
>
> 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"
>
> We take pleasure in inviting you to join us at this virtual event.
>
>
> *Conference call-in details*:
>
> Date: Thursday, 26-October-2006
> Start Time: 17:30 UTC / 6:30pm BST / 1:30pm EDT / 10:30am PDT (World (014)
> Time:
> http://www.timeanddate.com/worldclock/fixedtime.html?month=10&day=26&y
> ear=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
>
>
> Topic: *A logic for ontology interoperation*
> *by Dr. Pat Hayes* - Thu 26-Oct-2006
>
>
> *Abstract*: (by Pat Hayes)
>
> 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.
>
>
> *About the Speaker*:
>
> *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 (015)
> 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 (016)
> 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 m
os
> t 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.
>
> Other interests include what is often called "logical AI", which is of (017)
> 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.)
>
> Dr. Hayes received a BA in mathematics from Cambridge University and a
PhD in Artificial Intelligence from Edinburgh.
>
>
> *Refer to details on the session wiki page at*:
> http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26
>
>
> 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).
>
> 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.
>
> *RSVP* by by emailing me at <peter.yim@xxxxxxxx> offline.
>
>
> Regards. =ppy
>
> Peter P. Yim
> Co-convener, Ontolog
> --
>
>
>
>
>
> _________________________________________________________________
> 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
>
> (018)
_________________________________________________________________
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 (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)
|