Re: Difference between cardinality=1 and FunctionalProperty?

----- 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

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.

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

Received on Thursday, 27 March 2003 09:17:39 UTC