- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Thu, 27 Mar 2003 09:19:31 -0500 (EST)
- To: costello@mitre.org
- Cc: www-rdf-logic@w3.org
They are not equivalent. Take an interpretation where there is a domain element e that has no registeredGun or holder relationships but does not belong to GunLicense. This is allowable in VERSION 2 but not in VERSION 1. Replacing the owl:intersectionOf with an rdfs:subClassOf, however, does make the two equivalent, I think. peter From: "Roger L. Costello" <costello@mitre.org> Subject: Multiple Functional Properties equivalent to Intersection? Date: Thu, 27 Mar 2003 08:59:41 -0500 > > Hi Folks, > > Below I show two ways of defining classes/properties: > > 1. The first version defines a class that is an intersection of two > properties that have maxCardinality=1. > > 2. The second version defines an empty class, but defines the two > properties as Functional Properties. > > ------------------------------------------------------------------------------------------------------------ > > VERSION 1 > > <owl:Class rdf:ID="GunLicense"> > <owl:intersectionOf rdf:parseType="Collection"> > <owl:Restriction> > <owl:onProperty rdf:resource="#registeredGun"/> > <owl:maxCardinality>1</owl:maxCardinality> > </owl:Restriction> > <owl:Restriction> > <owl:onProperty rdf:resource="#holder"/> > <owl:maxCardinality>1</owl:maxCardinality> > </owl:Restriction> > </owl:intersectionOf> > </owl:Class > > <owl:ObjectProperty rdf:ID="registeredGun"> > <rdfs:domain rdf:resource="#GunLicense"/> > <rdfs:range rdf:resource="#Gun"/> > </owl:ObjectProperty> > > <owl:ObjectProperty rdf:ID="holder"> > <rdfs:domain rdf:resource="#GunLicense"/> > <rdfs:range rdf:resource="#Person"/> > </owl:ObjectProperty> > ------------------------------------------------------------------------------------------------------------ > > VERSION 2 > > <owl:Class rdf:ID="GunLicense"/> > > <owl:FunctionalProperty rdf:ID="registeredGun"> > <rdfs:domain rdf:resource="#GunLicense"/> > <rdfs:range rdf:resource="#Gun"/> > </owl:FunctionalProperty> > > <owl:FunctionalProperty rdf:ID="holder"> > <rdfs:domain rdf:resource="#GunLicense"/> > <rdfs:range rdf:resource="#Person"/> > </owl:FunctionalProperty> > ------------------------------------------------------------------------------------------------------------ > > Are these two versions equivalent? > > /Roger > > >
Received on Thursday, 27 March 2003 09:19:42 UTC