>Dear Pat,
>
>Given the imminent startup of the ONION project, it would actually
>be great if we could have your "invited speaker session" (assuming
>"Common Logic (CL)" will be among the topics you will cover) fairly
>soon ... so that the ONION team can be properly apprised of this
>very important development and imminent ISO standard.
>
>Looking at our calendar, both Oct-26 & Nov-2 are open and look plausible. (01)
I can do the 26th, but not the 2nd. (02)
>Would either of those dates work for you? Can you advise the title
>and abstract (maybe just, roughly what you plan to talk about) also? (03)
I guess the most useful thing to do would be a kind of
survey/introduction to the recent work on ISO-CL and IKL and how it
relates to OWL and other ontological notations. Right? If you agree,
try this for a title/abstract: (04)
----- (05)
First-order logic brought up to date (06)
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. (07)
----- (08)
I can make some slides and have them distributed ready for the talk.
What format would you prefer to see them in? (Powerpoint, HTML/Slidy,
anything else?) (09)
>
>Again, given some idea of the content of your talk, we could all
>(Steve, for example) explore the relative merit of weaving it into
>one of the existing initiatives. (010)
Im not sure if it fits directly into either of the ones you list. (011)
Pat (012)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (013)
_________________________________________________________________
To Post: mailto:ontolog-admin@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontolog-admin/
Community Wiki: http://ontolog.cim3.net/wiki/
Shared Files: http://ontolog.cim3.net/file/
Community Portal: http://ontolog.cim3.net/ (014)
|