Re: RDF semantics: applications, formalism and education

Pat,

Thanks for your pointers and other thoughts.  I'm still digesting.

Meanwhile, I found an introductory paper on Description Logic by Alexander 
Borgida [1] which I found to be very helpful... it's available online 
through the IEEE Digital Library (subscription required).

It turns out that I unknowingly went over some of this territory in some 
work on content negotiation I did for the IETF (RFC2533).  DLs look like a 
very interesting framework for some aspects of negotiation.

#g
--

[1] Description Logics in Data Management, Alexander Borgida, IEEE 
Transactions on Knowledge and Data Engineering, Vol 7, No 5, October 1995.


At 11:14 AM 4/16/01 -0500, pat hayes wrote:
>>>That is exactly what the description-logic community have been studying 
>>>in depth for the last decade. There are some results, some usable 
>>>systems have been designed and implemented, and a lot of tough 
>>>theoretical problems remain. Maybe y'all should do some reading; it will 
>>>save a lot of time in the long run.
>>
>>I'm sure you're right... can you recommend anything in particular? 
>>(Preferably accessible -- not assuming too much background, and relevant 
>>to the current topic.)  My searches on Amazon/Google have failed to turn 
>>up anything that looks obviously promising as introductory material.
>
>Check out the CLASSIC web page at Lucent for useful readings and pointers 
>to other, related, projects. (I am off-web right now so can't give you the 
>URL, but I used Google to find it. Also you can toss 'description logic' 
>at Google and find some useful sites full of readings, pointers etc.)
>
>If anyone else can suggest some good intro reading on description logics 
>for logical beginners, by the way, please speak up. Deborah, Peter, Ian?






------------
Graham Klyne
(GK@ACM.ORG)

Received on Sunday, 6 May 2001 00:10:07 UTC