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

Re: A Single Foundational Logic for the Semantic Web

From: Sandro Hawke <sandro@w3.org>
Date: Mon, 29 Apr 2002 15:44:29 -0400
Message-Id: <200204291944.g3TJiT101932@wadimousa.hawke.org>
To: jos.deroo.jd@belgium.agfa.com
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 } .

Thanks, but I said "only".    No fair bringing in some other
vocabulary with a negation construct.

     -- sandro
Received on Monday, 29 April 2002 15:44:36 GMT

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