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

Re: Difference between cardinality=1 and FunctionalProperty?

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 27 Mar 2003 09:30:43 -0500 (EST)
Message-Id: <20030327.093043.08252929.pfps@research.bell-labs.com>
To: yzqu@seu.edu.cn
Cc: www-rdf-logic@w3.org

From: "Yuzhong Qu" <yzqu@seu.edu.cn>
Subject: Re: Difference between cardinality=1 and FunctionalProperty?
Date: Thu, 27 Mar 2003 22:18:37 +0800

> ----- Original Message ----- 
> From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
> To: <yzqu@seu.edu.cn>
> Cc: <www-rdf-logic@w3.org>
> Sent: Thursday, March 27, 2003 5:13 PM
> Subject: Re: Difference between cardinality=1 and FunctionalProperty?
> 
> 
> > 
> > From: "Yuzhong Qu" <yzqu@seu.edu.cn>
> > Subject: Re: Difference between cardinality=1 and FunctionalProperty?
> > Date: Thu, 27 Mar 2003 13:08:45 +0800
> > 
> > > > Both versions have the same domain for serial, so there is no difference
> > > > here.
> > > 
> > > I agree the two versions are equal to each other in some context, shuch as
> > > "here".
> > > 
> > > But the meaning depends on the context. Please consider the situation the
> > > different version is imported into aother ontology, respectively.
> > > 
> > > Thanks!
> > > 
> > > Yuzhong Qu
> > 
> > I don't see how this could possible affect the situation.
> 
> Suppose the another ontology includes the following triple:
>     ex:aThing serial 'ABC'^rdfs:Literal

[
This is not legal RDF, instead use
     ex:aThing serial 'ABC' .
or, better,
     ex:aThing serial 'ABC'^^&xsd;string .
]

> In one case, it entails:
> 
>     ex:aThing rdf:type Gun  (Becase the rdfs:domain of the property
> "serial" is Gun) 
> 
> While there is no such entailment in the other case.

Huh?  Both versions have the domain of serial being Gun.

> > Peter F. Patel-Schneider
> > Bell Labs Research
> > Lucent Technologies


[Both versions given below, edited to fix problems:]

 VERSION 1:

       <owl:Class rdf:ID="Gun">
            <rdfs:subClassOf>
                  <owl:Restriction>
                          <owl:onProperty rdf:resource="#serial"/>
                          <owl:maxCardinality>1</owl:maxCardinality>
                  </owl:Restriction>
            </rdfs:subClassOf>
       </owl:Class>
 
       <owl:DatatypeProperty rdf:ID="serial">
             <rdfs:domain rdf:resource="#Gun"/>
             <rdfs:range rdf:resource="&xsd;#string"/>
       </owl:ObjectProperty>
 
  VERSION 2:
 
       <owl:Class rdf:ID="Gun"/>
 
       <owl:DatatypeProperty rdf:ID="serial" />

       <owl:FunctionalProperty rdf:about="#serial">
            <rdfs:domain rdf:resource="#Gun" />
            <rdfs:range  rdf:resource="&xsd;string"/>
       </owl:FunctionalProperty>
 
Received on Thursday, 27 March 2003 09:30:57 GMT

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