Re: Multiple Functional Properties equivalent to Intersection?

The VERSION 1 contains cross-referential syntactic constructs:
    The axiom about the class GunLicense refer to properties(registeredGun and holder), and vice versa.
    
Is there any constraint on this kind issue in OWL Lite/DL?

Thanks!

Yuzhong Qu

----- Original Message ----- 
From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
To: <costello@mitre.org>
Cc: <www-rdf-logic@w3.org>
Sent: Thursday, March 27, 2003 11:00 PM
Subject: Re: Multiple Functional Properties equivalent to Intersection?


> 
> 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 Friday, 28 March 2003 04:59:39 UTC