W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2003

Multiple Functional Properties equivalent to Intersection?

From: Roger L. Costello <costello@mitre.org>
Date: Thu, 27 Mar 2003 08:59:41 -0500
Message-ID: <3E8303CD.BE675047@mitre.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:43 GMT