Re: How do RDF and Formal Logic fit together?

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