[Top] [All Lists]

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

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Peter Yim" <peter.yim@xxxxxxxx>
Date: Tue, 24 Oct 2006 13:34:30 -0700
Message-id: <af8f58ac0610241334q42f9c72ch98baf5a1bfa224e3@xxxxxxxxxxxxxx>
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26    (01)

*REMINDER*    (02)

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).    (03)

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!    (04)

... 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.    (05)

We look forward to having you at the session.    (06)

Regards.  =ppy
--    (07)

On 10/16/06, Peter Yim <yimpp1@xxxxxxxxx> wrote:
> Ref: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26
> 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:
> 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 mos
>  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: 
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>    (08)

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

<Prev in Thread] Current Thread [Next in Thread>