- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Tue, 23 Mar 2004 16:52:06 +0000
- 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 UTC