Multiple Functional Properties equivalent to Intersection?

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