W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2002

Re: A Single Foundational Logic for the Semantic Web

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
Message-Id: <OFF2619870.328FB628-ONC1256BAA.006AB214@bayer-ag.com>

[...]

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:42 GMT