ontolog-forum
[Top] [All Lists]

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

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Conrad Bock" <conrad.bock@xxxxxxxx>
Date: Wed, 25 Oct 2006 09:01:24 -0400
Message-id: <01fd01c6f835$aceb3a50$b3200681@xxxxxxxxxxxx>

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)

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