daml:SymmetricProperty?

From: Mike Dean ([email protected])
Date: 03/01/01


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


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