Chris, (01)
Got it! Thanks. Great stuff! (02)
Evidently, all our communications crossed. I sent you a message
yesterday, and it got bounced (that's why I was worried that the
internet may have been getting in the way); therefore, I solicited
Adam's help to try getting in touch with you. (03)
Now that I have this material, I will make arrangements to properly
announce the event to the community (I was in conference, and hasn't
been bale to work on it until now.) If you have updated slides, feel
free to email me any time (even 15 minutes before the talk would be
ok.) If you provide me with a phone number (off line), I'll try to call
you, say 15 minutes before the talk to walk through some of remote
controls and logistics with you. (04)
Look forward to hearing you talk this Thursday. (05)
Thanks & regards,
PPY (06)
P.S. there was a typo on my earlier message, the subject should have
said "Thu" (instead of "Tue".) -ppy
-- (07)
Chris Menzel wrote Mon, 1 Nov 2004 18:07:25 -0600: (08)
>Peter,
>
>Here's my abstract; sorry for the delay, I was *severely* jet-lagged
>over the weekend. Also attached is a presentation I gave with Pat Hayes
>in 2003. I'll try to gussy it up a bit -- or even more than a bit, if I
>can find the time -- and tailor it more toward the issues Ontolog folks
>might be rather more interested in, but thought I'd just get you
>something for people to look at. I hope it is appropriate.
>
>-chris
>
>******
> SCL: A Logic Standard for Semantic Integration
>
> Christopher Menzel
> Texas A&M University
> Abstract
>
>The rapid growth of knowledge engineering has seen a concomitant
>proliferation in the number of knowledge representation languages --
>from expressively rather weak, graphically-oriented database modeling
>languages like ER and IDEF1 to the sophisticated outgrowths of is_a
>hierarchies known description logics to full first-order logic as
>exemplified in frameworks like KIF and John Sowa's Conceptual Graphs.
>
>The growth of the World Wide Web has made it imperative that we be able
>to *integrate* distributed knowledge bases -- medical researchers can
>benefit from research compiled in laboratories thousands of miles away;
>businesses wishing to collaborate on a new manufacturing enterprise need
>to share their planning and production models; and so on. Typically,
>however, the information in distinct knowledge bases will be expressed
>in frameworks that can differ wildly in both form and expressive power.
>
>Given the obvious inefficiency of attempting to integrate representation
>languages piecemeal, a natural approach to a solution to the problem of
>integration is the idea of an "interlingua": an expressive
>representation language that could serve as a sort of neutral framework
>for facilitating translation and integration between different
>representation languages. KIF was in fact initially envisioned as such
>a framework, though it seems to have become rather more popular as
>simply a way to write first-order ontologies at a computer keyboard.
>There is in any case an obvious problem with using KIF as an
>interlingua, namely, it too is simply Yet Another Representational
>Framework; a good one, to be sure, but one with its own quirks and
>liabilities.
>
>SCL -- Simple Common Logic -- is an attempt to renew the idea of an
>overarching framework to facilitate integration at one higher level of
>abstraction: by specifying, in as general a way as possible, a flexible
>abstract standard that many different representation languages can
>satisfy. By publishing an abstract specification of one's language
>relative to the SCL standard, one thereby makes the representational
>character and expressive power of the language explicit, and information
>expressed in the language comprehensible to users of other conformant
>representation languages.
>
>In this (very informal!) presentation I will discuss SCL and also use it
>as a springboard for discussion of a number of related topics, including
>current popular KR frameworks -- notably frameworks arising out of work
>on the Semantic Web like RDF -- and the expressive differences between
>them.
>
>
> (09)
_________________________________________________________________
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/ (010)
|