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