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

Re: Difference between cardinality=1 and FunctionalProperty?

From: Yuzhong Qu <yzqu@seu.edu.cn>
Date: Thu, 27 Mar 2003 22:44:30 +0800
Message-ID: <005701c2f46f$5fd53270$9c0b77ca@xobjects>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <www-rdf-logic@w3.org>

Dear Peter:
You are right. I'm missing another statement about the rdfs:domain of the serial property.

Thanks a lot!

Yuzhong Qu

----- 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 10:30 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 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:43:30 GMT

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