• To: "'Mike Champion'" <mc@x...>, <xml-dev@l...>
• Subject: RE: patterns vs. identifiers
• From: Bill de hÓra <bill.dehora@p...>
• Date: Wed, 21 Aug 2002 10:39:54 +0100
• Importance: Normal
• In-reply-to: <VSJHWRXT1TMGD0YXGADB716584US04.3d625126@MChamp>
• Organization: Propylon
• Reply-to: <bill.dehora@p...>

> -----Original Message-----
> From: Mike Champion [mailto:mc@x...] 
> 
> 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 

 

• References:
  • Re: patterns vs. identifiers
    • From: Mike Champion <mc@x...>

• Prev by Date: RE: patterns vs. identifiers
• Next by Date: RE: patterns vs. identifiers
• Previous by thread: Re: patterns vs. identifiers
• Next by thread: Re: patterns vs. identifiers
• Index(es):
  • Date
  • Thread