W3C home > Mailing lists > Public > public-esw@w3.org > March 2004

Re: owl:FunctionalProperty question

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Tue, 23 Mar 2004 16:52:06 +0000
Message-ID: <40606B36.1090503@hplb.hpl.hp.com>
To: "Miles, AJ (Alistair) " <A.J.Miles@rl.ac.uk>
Cc: "'public-esw@w3.org'" <public-esw@w3.org> 

Miles, AJ (Alistair) wrote:

> just a quick question, hope someone can answer this for me :
> 
> If a property P is a FunctionalProperty, are sub-properties of P also
> necessarily Functional Properties?

Yes.

Suppose Q is a subPropertyOf P and suppose you have:

   X Q V1 .
   X Q V2 .

  => (by subProperyOf)

   X P V1 .
   X P V2 .

  => (by P being functional)

   V1 = v2

Hence Q is a FunctionalProperty.

Cheers,
Dave
Received on Tuesday, 23 March 2004 11:53:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:12 GMT