Hi Peter, (01)
I will attend, thanks, (02)
Conrad (03)
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf
> Of Peter Yim
> Sent: Tuesday, October 24, 2006 4:35 PM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] Ontolog Invited Speaker - Dr.
> Pat Hayes - Thu26-Oct-2006
>
> Ref:
> http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26
>
>
> *REMINDER*
>
> 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).
>
> 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!
>
> ... 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.
>
> We look forward to having you at the session.
>
>
> Regards. =ppy
> --
>
>
> 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 Time:
> >
> http://www.timeanddate.com/worldclock/fixedtime.html?month=1
0&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
> >
> >
> > 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 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 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 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
> >
> >
>
> _________________________________________________________________
> 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
>
> (04)
_________________________________________________________________
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 (05)
|