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