- From: Yuzhong Qu <yzqu@seu.edu.cn>
- Date: Fri, 28 Mar 2003 18:00:32 +0800
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: <www-rdf-logic@w3.org>
The VERSION 1 contains cross-referential syntactic constructs: The axiom about the class GunLicense refer to properties(registeredGun and holder), and vice versa. Is there any constraint on this kind issue in OWL Lite/DL? Thanks! Yuzhong Qu ----- Original Message ----- From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com> To: <costello@mitre.org> Cc: <www-rdf-logic@w3.org> Sent: Thursday, March 27, 2003 11:00 PM Subject: Re: Multiple Functional Properties equivalent to Intersection? > > 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 Friday, 28 March 2003 04:59:39 UTC