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