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.

1) Establishing a set of statements
http://robustai.net/mentography/contexts.gif
2) Relate the scope of a variable to that set
http://robustai.net/mentography/entailsIdentity.gif

Seth Russell