> -----Original Message-----
> From: Mike Champion [mailto:]
>
> Perhaps RDF can be used as a pattern-matching tool rather
> than a logical inferencing system, and maybe "pattern
> matching" can be logical as well as heuristic. Still, an
> astronomical number of electrons have changed state in search
> of a definition of URIs that can
> support the needs of RDF, and that suggests to me that the
> notion of "identity" is profoundly important in the RDF paradigm.
You can pattern match at any level you like from syntactic * to ?
unbound variables to => unification; you decide what level of inference
you want. Like so many things in programming, everything you need is in
SICP:
<http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-29.html#%_sec_4.4>
.
regards,
Bill de hÓra
..
Propylon
www.propylon.com
