- From: Roger L. Costello <costello@mitre.org>
- Date: Thu, 27 Mar 2003 09:48:22 -0500
- To: www-rdf-logic@w3.org
- CC: "Costello,Roger L." <costello@mitre.org>
Thanks Peter (again). So, you are saying that this version is equivalent to VERSION 2: <owl:Class rdf:ID="GunLicense"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#registeredGun"/> <owl:maxCardinality>1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#holder"/> <owl:maxCardinality>1</owl:maxCardinality> </owl:Restriction> <rdfs:subClassOf> </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> "Peter F. Patel-Schneider" wrote: > 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:47:43 UTC