Re: Making progress

On Wed, 26 Jun 2002, Patrick Stickler wrote:

>
> On 2002-06-25 19:06, "ext R.V.Guha" <guha@guha.com> wrote:
>
> > If darkness is specified by the addition of something to the graph, then
> > there is no way to avoid non-mon. We have been over this many times now.
> > Could we please stop reopening this issue?
> >
> > ...
> >
> > Darkness specification has to be *in the language*, not in a particular
> > file using the language.
>
> Would you say that the approach of using reification to express
> unasserted triples is "in the language" and thus avoids
> non-monotonicity?

No.

Dan

Received on Wednesday, 26 June 2002 03:36:53 UTC