Pat, (01)
This is great! (02)
I am blocking off 26-Oct-2006 for your "First-order logic brought up
to date" (exactly the way you suggested, and as a standalone event),
and will proceed to work with you on the logistics and administrivia.
I'll be sending you an official invitation under separate cover later. (03)
Thanks you very much for sharing your insight and experience with us. (04)
Best regards. =ppy
-- (05)
On 10/9/06, Pat Hayes <phayes@xxxxxxx> wrote:
> >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.
>
> I can do the 26th, but not the 2nd.
>
> >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?
>
> 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:
>
> -----
>
> First-order logic brought up to date
>
> 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.
>
> -----
>
> 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?)
>
> >
> >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.
>
> Im not sure if it fits directly into either of the ones you list.
>
> Pat
>
>
> --
> ---------------------------------------------------------------------
> 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
>
>
_________________________________________________________________
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/ (06)
|