- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Thu, 27 Mar 2003 09:30:43 -0500 (EST)
- 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 UTC