Re: DAML+OIL for queries

> Can DAML+OIL be used for declaring wanted resources?

I believe so. In particular DAML+OIL are based on the notion of
description logics and there has been work done in using description
logics to specify queries in deductive database systems. A good overview
paper that I found helpful in understanding the area was "Description
Logics in Data Management", Alex Borgida, IEEE Trans Knowledge and Data
Eng, 7, #5, Oct 95. Doubtless there is more recent work in the area.

> Has anyone here a suggestions on how to write those descriptions?  You
> basicly have to insert a way to add ORs and NOTs.  AND is the
> default.

I may be misunderstanding the question but while "AND" is sort-of the
default for the RDF assertions, DAML+OIL is richer. Taking the approach of
treating DAML+OIL as specifying descriptions then the unionOf,
intersectionOf, complementOf properties give you AND, OR and NOT. You
could generate a description of the things you are trying to retrieve
using these properties and then have a reasoner/database retrieve those
objects which are instances of your specified class.

I confess to being new to description logics and DAML so if my assumptions
that it all fits together this way are wrong then please correct me!

Dave
------------------------------------------------------------------
Hewlett-Packard Laboratories    | Phone: +44-117-3128165
Filton Road, Stoke Gifford      | FAX:   +44-117-3128925
Bristol BS34 8QZ, UK            | dave_reynolds@hpl.hp.com