Re: A Rough Guide to Notation3

From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>

> The problem is not their (potential) existence.  It is their existence
> everywhere.  The problem is that if you allow self-referential
> sentences and also need to have sentences exists everywhere, removing just
> the problematic ones is problematic.

If we detect the self referential loop as we merge graphs, then why is it
problematic?  We simply could not construct a graph with a loop.

Seth Russell
http://robustai.net/sailor/