Why must the web be monotonic ?

From: "Ian Horrocks" <horrocks@cs.man.ac.uk>

> condition for being a WhiteWine. Moreover, adding further axioms (or
> even RDF triples) to the ontology can never change this (otherwise we
> would be non-monotonic).

I think I've heard it said that the web must be monotonic.  Have I misheard?
If not, then why must the web be monotonic?

Seth Russell

Received on Tuesday, 24 July 2001 12:01:43 UTC