Re: How do RDF and Formal Logic fit together?

>From: "Pat Hayes" <phayes@ai.uwf.edu>
>
>>  >>  Why in an RDF graph syntax? (What is so special about RDF? Its one
>>  >>  among thousands of possible notations, and its not a particularly
>>  >>  good one. The limitations of simple graphs as a notation have been
>>  >>  known for about a century, so why would we want to deliberately go
>>  >>  back to the stone age to find a basis for the world wide web?)
>>  >
>>  >I would like to know specifically what those limitations are ... I have
>not
>>  >found any.
>>
>>  No way to indicate scope or variable bindings, chiefly.
>
>Well actually there is if you will allow that a scope of a variable can be
>specified by a set of statements and that statements themselves have
>identity.

OK, no way to indicate a set of statements. Same thing.

Pat


-- 
---------------------------------------------------------------------
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 Wednesday, 24 October 2001 16:13:35 UTC