Re: daml:SymmetricProperty?

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