W3C home > Mailing lists > Public > www-rdf-interest@w3.org > July 2004

Re: Transitive properties

From: Sampo Syreeni <decoy@iki.fi>
Date: Wed, 21 Jul 2004 18:50:33 +0300 (EEST)
To: Richard Newman <r.newman@reading.ac.uk>
Cc: rdf-interest <www-rdf-interest@w3.org>
Message-ID: <Pine.SOL.4.58.0407211839470.6004@kruuna.Helsinki.FI>

On 2004-07-21, Richard Newman uttered:

>:John :bioRel :Bob .
>
>   I get reflexive results (i.e. John is his own relative):
>
>:John :bioRel :Bob, :John .
>:Bob :bioRel :John , :Bob .

Yes. p(a,b) and p symmetric implies p(b,a). p(a,b) and p(b,a) with p
transitive implies p(a,a). Follow the transitive chain starting with b
and you get p(b,b) too. So yeah, your results are correct.
-- 
Sampo Syreeni, aka decoy - mailto:decoy@iki.fi, tel:+358-50-5756111
student/math+cs/helsinki university, http://www.iki.fi/~decoy/front
openpgp: 050985C2/025E D175 ABE5 027C 9494 EEB0 E090 8BA9 0509 85C2
Received on Wednesday, 21 July 2004 11:51:05 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 5 February 2014 07:14:58 UTC