BEGIN:VCALENDAR
X-LOTUS-CHARSET:UTF-8
VERSION:2.0
PRODID:-//Lotus Development Corporation//NONSGML Notes 7.0//EN
METHOD:REQUEST
BEGIN:VTIMEZONE
TZID:Pacific
BEGIN:STANDARD
DTSTART:19501029T020000
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
RRULE:FREQ=YEARLY;BYMINUTE=0;BYHOUR=2;BYDAY=-1SU;BYMONTH=10
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:19500402T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
RRULE:FREQ=YEARLY;BYMINUTE=0;BYHOUR=2;BYDAY=1SU;BYMONTH=4
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID="Pacific":20061026T103000
DTEND;TZID="Pacific":20061026T113000
TRANSP:OPAQUE
DTSTAMP:20061020T103515Z
SEQUENCE:0
ATTENDEE;ROLE=CHAIR;PARTSTAT=ACCEPTED
 ;CN="Douglas McDavid/Boulder/IBM";RSVP=FALSE
 :mailto:mcdavid@xxxxxxxxxx
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE
 :mailto:ontolog-forum@xxxxxxxxxxxxxxxx
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE
 :mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx
CLASS:PUBLIC
DESCRIPTION;ALTREP="CID:<FFFF__=07BBF89EDFA99C588f9e8a93df938@xxxxxxxxxx>":_
 _________________\n\nRef:\nhttp
 ://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26\n\n\n*AN
 NOUNCEMENT*\n\nThe Ontolog community is pleased to announce that Dr. P
 at Hayes\nfrom the Florida Institute for Human & Machine Cognition ("I
 HMC")\nwill be presenting to the community his talk entitled
 : "A logic\nfor ontology interoperation"\n\nWe take pleasure in inviti
 ng you to join us at this virtual event.\n\n\n*Conference call-in deta
 ils*:\n\nDate: Thursday,円 26-October-2006\nStart Time: 17:30 UTC / 6:
 30pm BST / 1:30pm EDT / 10:30am PDT\n(World Time:\nhttp
 ://www.timeanddate.com/worldclock/fixedtime.html?month=10&day=26&year=
 2006&hour=10&min=30&sec=0&p1=224)\nSession Duration
 : 1.5~2.0 Hours\nDial-in Number
 : +1-641-696-6600 (Iowa)\nParticipant Access Code
 : "686564#"\nShared-screen support will be available\n\n\nTopic
 : *A logic for ontology interoperation by Dr. Pat Hayes -\nThu 26-Oct-
 2006*\n\n\n*Abstract*
 : (by Pat Hayes)\n\nOver the past few years a series of initiatives ha
 ve converged on\nthe design of a 'common logic' into which a large var
 iety of\nalternative logical notations and formalisms can be projected
 ,円\nand so can act as an expressive foundation for ontology\ninterchan
 ge and standardization. This talk will briefly survey\nthe design prin
 ciples that have emerged from these discussions\nand the outline of th
 e resulting framework,円 which is currently\ngoing through ISO approval
 as ISO Common Logic,円 and a more recent\nextension called IKL,円 desig
 ned explicitly for ontology\ninteroperation,円 which provides a variety
 of powerful naming\nconventions which enable it to explicitly describ
 e relationships\nbetween ontological frameworks. We will illustrate th
 e talk with\nexamples showing how description logics such as OWL,円 mod
 al and\ntemporal logics,円 hybrid logics and context logics can be mapp
 ed\ninto CL and IKL.\n\n\n*About the Speaker*
 :\n\n*Dr. Pat Hayes* is currently a member of the W3C Data Access\nWor
 king Group tasked with the design of an RDF/OWL query\nlanguage. He ha
 s been at various times an AI researcher,円 a Luce\nProfessor of cognit
 ive science,円 a Professor of philosophy,円 a\nnotational engineer and a
 Semantic Web researcher. The common\nthread running through all this 
 is an enduring interest in how\ninformal knowledge can be formalized,円
 and in the actual semantic\nmachinery of formalization itself. His wo
 rk that is of most\ninterest to ontologists is probably,円 in order
 : one of the first\nattempts to use formal logic to describe everyday 
 physical\nknowledge,円 in a series of papers on "Naive Physics" publish
 ed in\nthe 1980s\; a series of papers on temporal ontologies,円 culmina
 ting\nin one of the first thorough comparative surveys\; and more\nrec
 ently,円 contributions to the writing of new 'standard' logics,円\ninclu
 ding the W3C semantic web ontology standard sequence\nRDF/RDFS/OWL and
 the ISO Common Logic draft standard\; and most\nrecently,円 the IKL lo
 gic developed with Professor Chris Menzel and\nothers. This recent wor
 k has strengthened his long-standing\nbelief that formal logic (and ph
 ilosophy more generally) should\nbe the servant of a pragmatic approac
 h to writing ontologies
 : a\nvaluable servant,円 but not the master.\n\nOther interests include
 what is often called "logical AI",円 which\nis of course closely relat
 ed to ontology design,円 the\nphilosophical foundations of cognitive sc
 ience,円 and the analysis\nof consciousness (which itself,円 is closely 
 related to how we\nperceive the "passage of time" - a phrase which is 
 physically\nmeaningless yet intuitively compelling.)\n\nDr. Hayes rece
 ived a BA in mathematics from Cambridge University\nand a PhD in Artif
 icial Intelligence from Edinburgh.\n\n\n*Refer to details on the sessi
 on wiki page at*:\nhttp
 ://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26\n\n\nThi
 s will be a virtual session over an augmented conference call.\nThe se
 ssion is expected to start with a 1 Hour presentation\nfollowed by a Q
 &A and discussion between the participants and the\nspeaker. The entir
 e session will be recorded and made available\nas open content under t
 he prevailing Ontolog IPR policy (see:\nhttp
 ://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid32).\n\nAs usual,円
 this Ontolog event is open to all. I look forward to\nhaving you at t
 his session. Please pass the announcement along to\nthose who might be
 interested to join us too.\n\n*RSVP* by by emailing me at <peter.yim@
 cim3.com> offline.\n\n\nRegards. =ppy\n\nPeter P. Yim\nCo-convener,円 O
 ntolog\n--\n\n________________________________________________________
 _________\nMessage Archives: http
 ://ontolog.cim3.net/forum/ontolog-forum/\nSubscribe/Unsubscribe/Config
 : http
 ://ontolog.cim3.net/mailman/listinfo/ontolog-forum/\nShared Files
 : http://ontolog.cim3.net/file/\nCommunity Wiki: http
 ://ontolog.cim3.net/wiki/\nTo Post: mailto
 :ontolog-forum@xxxxxxxxxxxxxxxx\n\n
SUMMARY:[ontolog-forum] Ontolog Invited Speaker - Dr. Pat Hayes - Thu 
 26-Oct-2006
ORGANIZER;CN="Douglas McDavid/Boulder/IBM";SENT-BY="mailto
 :mcdavid@xxxxxxxxxx":mailto:mcdavid@xxxxxxxxxx
UID:E932C6BF390B825F8825720D003A1AC8-Lotus_Notes_Generated
X-LOTUS-BROADCAST:FALSE
X-LOTUS-UPDATE-SEQ:1
X-LOTUS-UPDATE-WISL:$S:1;$L:1;$B:1;$R:1;$E:1;$M:1;$W:1;$O:1
X-LOTUS-NOTESVERSION:2
X-LOTUS-NOTICETYPE:I
X-LOTUS-APPTTYPE:3
X-LOTUS-CHILD_UID:E932C6BF390B825F8825720D003A1AC8
END:VEVENT
END:VCALENDAR

__________________

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


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

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

Attachment: c063516.ics
Description: Binary data

_________________________________________________________________
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  (01)

[More with this subject...]