- From: Roger L. Costello <costello@mitre.org>
- Date: Thu, 27 Mar 2003 08:59:41 -0500
- To: www-rdf-logic@w3.org
- CC: "Costello,Roger L." <costello@mitre.org>
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 08:58:55 UTC