Re: Multiple Functional Properties equivalent to Intersection?

Thanks Peter (again).  So, you are saying that this version is equivalent to VERSION 2:

<owl:Class rdf:ID="GunLicense">
     <rdfs:subClassOf>
          <owl:Restriction>
               <owl:onProperty rdf:resource="#registeredGun"/>
               <owl:maxCardinality>1</owl:maxCardinality>
          </owl:Restriction>
     </rdfs:subClassOf>
     <rdfs:subClassOf>
          <owl:Restriction>
               <owl:onProperty rdf:resource="#holder"/>
               <owl:maxCardinality>1</owl:maxCardinality>
          </owl:Restriction>
     <rdfs:subClassOf>
</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>

"Peter F. Patel-Schneider" wrote:

> 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:47:43 UTC