- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Thu, 27 Mar 2003 10:00:03 -0500 (EST)
- To: costello@mitre.org
- Cc: www-rdf-logic@w3.org
I'm pretty sure they are. peter From: "Roger L. Costello" <costello@mitre.org> Subject: Re: Multiple Functional Properties equivalent to Intersection? Date: Thu, 27 Mar 2003 09:48:22 -0500 > > 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 10:00:12 UTC