W3C home > Mailing lists > Public > www-rdf-logic@w3.org > October 2001

Re: How do RDF and Formal Logic fit together?

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Tue, 9 Oct 2001 17:41:20 -0500
Message-Id: <p05101036b7e92d23a60f@[205.160.76.193]>
To: "Seth Russell" <seth@robustai.net>
Cc: www-rdf-logic@w3.org
>From: "Sandro Hawke" <sandro@w3.org>
>
>>  If we want to
>>  say something with a more complex logical structure ("The force is
>>  strong with *everyone* in Luke's family"), we can't use RDF as the
>>  only language. 
>
>Why not?   .... it's a piece of cake ....
>
>http://robustai.net/mentography/forceIsStrong.gif
>
>If you force me to, I'll write the graph in N-Triples.

OK, but then try applying the RDF model theory to it, to find out 
what it might mean. RDF isn't just a graph notation, its a language. 
What you are doing here is like saying that "oui" means the Eiffel 
tower, and then claiming to speak French.

Pat Hayes

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Tuesday, 9 October 2001 18:41:22 GMT

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