- From: Yuzhong Qu <yzqu@seu.edu.cn>
- Date: Thu, 27 Mar 2003 22:44:30 +0800
- 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 UTC