Re: Multiple Functional Properties equivalent to Intersection?

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 Thursday, 27 March 2003 09:19:42 UTC