Re: DAML+OIL Light

From: Stefan Decker (stefan@db.stanford.edu)
Date: 04/19/01


I agree - I think that such a document is important, since it enables
people to make a smooth transition.
I promised to start such a document.

All the best,

         Stefan


At 02:40 AM 4/18/2001 -0400, Jim Hendler wrote:
>Seems to me that all this is requesting is something that produces a 
>document that says "A good subset of DAML+OIL for many applications is..." 
>and explaining why.  Doesn't seem to me it needs a "name" and status, am I 
>missing something?
>  -JH
>
>
>At 11:11 AM -0700 4/17/01, Stefan Decker wrote:
>>Dear all,
>>
>>supporting the current DAML+OIL specification requires
>>some effort and sophistication: the average programmer
>>is usually not acquainted with algorithms to classify
>>description logic expressions.
>>And there are many application that would not require the
>>additional expressivity that description
>>logics provide  - it might often be a hurdle for
>>people who want to use and to support DAML+OIL.
>>
>>Therefore I suggest to introduce a light version of
>>DAML+OIL, focusing on easy implementability.
>>Once people have spent the effort to support DAML+OIL light, it
>>would be much easier to convince them to support full DAML+OIL.
>>
>>Requirements for DAML+OIL light are: implementable by an average programmer
>>and as much advantages of DAML+OIL should be preserved as possible.
>>
>>Suggestions are:
>>
>>DAML+OIL Light should not support:
>>
>>UnambiguousProperty : Equality reasoning would be necessary
>>UniqueProperty: see above
>>complementOf
>>intersectionOf
>>disjointUnionOf
>>differentIndividualFrom
>>
>>
>>DAML+OIL Light should support:
>>TransitiveProperty
>>inverseOf
>>DatatypeProperty
>>ObjectProperty
>>cardinalityQ
>>maxCardinalityQ
>>minCardinalityQ
>>hasClassQ
>>cardinality
>>maxCardinality
>>minCardinality
>>hasClass
>>hasValue
>>toClass
>>onProperty
>>Restriction
>>oneOf
>>
>>
>>All the best,
>>
>>         Stefan
>
>--
>Prof. James Hendler             Program Manager
>DARPA/ISO                       703-696-2238 (phone)
>3701 N. Fairfax Dr.             703-696-2201 (Fax)
>Arlington, VA 22203             jhendler@darpa.mil


This archive was generated by hypermail 2.1.4 : 04/02/02 EST