Re: Making progress

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?

Patrick

--
               
Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com

Received on Wednesday, 26 June 2002 03:16:06 UTC