|
| From: | Benja Fallenstein |
| Subject: | Re: [Fenfire-dev] PEG swamp_easier--benja: An easier API for Swamp |
| Date: | Mon, 22 Sep 2003 14:29:49 +0300 |
| User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030908 Debian/1.4-4 |
Tuomas Lukka wrote:
Why *should* it work for "equivalent" triples?
Because the same thing can have more than one name (node in the graph), and if e.g. "c = d," then the triple "a b c" entails "a b d." Not allowing "a b d" to be in a graph at the same time as "a b c" is like a calculator that can compute 7+3+2, but not 7+3+0+2.
- Benja
| [Prev in Thread] | Current Thread | [Next in Thread] |