From: Jim Hendler ([email protected])
Date: 03/01/01
At 12:11 PM -0500 3/1/01, Mike Dean wrote:
>DAML+OIL currently supports TransitiveProperty and
>inverseOf. Should we also be able to indicate a
>SymmetricProperty
>
> P(a, b) implies P(b, a)
>
>such as sibling or spouse?
>
>I checked and see that OIL [1] supports this.
>
>How about ReflexiveProperty
>
> P(x, x)
>
>such as equivalentTo?
>
>I'm told that TransitiveProperty and SymmetricProperty and
>ReflexiveProperty would imply samePropertyAs (equivalence).
>
>Comments?
>
> Mike
>
>[1] http://www.ontoknowledge.org/oil/rdf-schema/2000/11/10-oil-standard
we originally let this stuff out of DAML with a note to "improve it
later" - has the time come to do that? Might also be worth
considering whether there are other levels of this (transitive
closure, for example) that we might want to consider -
i.e.
Driveable(X Y) is the transitive closure of Landborder(X Z)
Dr. James Hendler [email protected]
Chief Scientist, DARPA/ISO 703-696-2238 (phone)
3701 N. Fairfax Dr. 703-696-2201 (Fax)
Arlington, VA 22203 http://www.cs.umd.edu/~hendler
This archive was generated by hypermail 2.1.4 : 04/02/02 EST