W3C home > Mailing lists > Public > www-rdf-logic@w3.org > July 2001

Why must the web be monotonic ?

From: Seth Russell <seth@robustai.net>
Date: Tue, 24 Jul 2001 08:50:53 -0700
Message-ID: <041b01c11458$6dce51c0$b17ba8c0@c1457248a.sttls1.wa.home.com>
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>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:40 GMT