Re: Indicating Closure ("and that's all there is") from Seth Russell on 2001-12-07 (www-rdf-interest@w3.org from December 2001)

From: Seth Russell <seth@robustai.net>
Date: Fri, 7 Dec 2001 10:25:00 -0800
To: <www-rdf-interest@w3.org>, "Sandro Hawke" <sandro@w3.org>
Message-ID: <00dd01c17f4c$7b983820$657ba8c0@c1457248a.sttls1.wa.home.com>

From: "Sandro Hawke" <sandro@w3.org>

> Has anyone solved this problem?

How about defining a class of sets containing triples - call them :Contexts.
We could name different Contexts and different classess of contexts giving
them URI.  We could then associate the axioms of monotinicity to the class
:MonotonicContext.  Then we could say something like {:MyRepairs a
:MonotonicContext} Would that work?

Seth Russell

Received on Friday, 7 December 2001 13:27:53 UTC