Re: bnodes

Jeremy Carroll wrote :
> The option to not name nodes is necessary because many nodes do
> not have any compelling name, they are essentially structural, relating
> one thing with another. Using methods such as skolemization, of course,
> it is possible to gensym up names (there is no name shortage). But then
> if I have skolemized one way, and you have skolemized another (or
> equivalently, we are talking about the same thing, except that we
> gensymmed different names), we still have a lot of work to do, to
> discover that we are talking about the same thing.

I do see how using bnodes makes that work less difficult. Could you
please develop a little further ?...

  Pierre-Antoine

Received on Wednesday, 3 October 2007 09:49:49 UTC