- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Mon, 29 Apr 2002 21:42:03 +0200
- To: sandro@w3.org
- Cc: phayes@ai.uwf.edu, www-rdf-logic@w3.org
[...]
>Perhaps I'm misreading it; if someone can present a
>paradox using only log:forSome, log:forAll, and log:implies, then I
>think I (and I'll venture TimBL and others) will be very interested.
####### rpf.n3
@prefix owl: <http://www.w3.org/2001/10/daml+oil#> .
@prefix : <rp#> .
{ ?x a :R } log:implies { ?x a [ owl:complementOf ?x ] } .
{ ?x a [ owl:complementOf ?x ] } log:implies { ?x a :R } .
--
Jos
Received on Monday, 29 April 2002 15:42:29 UTC