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

Re: Multiple Functional Properties equivalent to Intersection?

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 27 Mar 2003 10:00:03 -0500 (EST)
Message-Id: <20030327.100003.36871328.pfps@research.bell-labs.com>
To: costello@mitre.org
Cc: www-rdf-logic@w3.org

I'm pretty sure they are.

peter



From: "Roger L. Costello" <costello@mitre.org>
Subject: Re: Multiple Functional Properties equivalent to Intersection?
Date: Thu, 27 Mar 2003 09:48:22 -0500

> 
> 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 10:00:12 GMT

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