Why must the web be monotonic ?

• From: Seth Russell <seth@robustai.net>
• Date: Tue, 24 Jul 2001 08:50:53 -0700
• To: "Ian Horrocks" <horrocks@cs.man.ac.uk>, "pat hayes" <phayes@ai.uwf.edu>
• Cc: "Tim Berners-Lee" <timbl@w3.org>, "www-rdf-logic" <www-rdf-logic@w3.org>
• Message-ID: <041b01c11458$6dce51c0$b17ba8c0@c1457248a.sttls1.wa.home.com>

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