- 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