daml:SymmetricProperty?

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

• Next message: Jim Hendler: "Re: daml:SymmetricProperty?"
• Previous message: pat hayes: "Re: DAML briefing to RDF IG"
• Next in thread: Jim Hendler: "Re: daml:SymmetricProperty?"
• Reply: Jim Hendler: "Re: daml:SymmetricProperty?"
• Reply: Ian Horrocks: "Re: daml:SymmetricProperty?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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

• Next message: Jim Hendler: "Re: daml:SymmetricProperty?"
• Previous message: pat hayes: "Re: DAML briefing to RDF IG"
• Next in thread: Jim Hendler: "Re: daml:SymmetricProperty?"
• Reply: Jim Hendler: "Re: daml:SymmetricProperty?"
• Reply: Ian Horrocks: "Re: daml:SymmetricProperty?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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