W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2003

Re: Semantics review: closure rules

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Thu, 19 Jun 2003 13:37:28 +0300
To: w3c-rdfcore-wg@w3.org
Message-Id: <200306191337.28514.jjc@hpl.hp.com>

> I note that we don't seem to be finished discussing the closure rules.

But it is a monotonic increasing process, so termination is likely.

(Soundness of a closure rule is usually trivial)

You may notice that the cases are getting more and more obscure, these ones:

- are concerning a semantic extension to RDFS, not RDFS itself
- have never had a claim to completeness

Received on Thursday, 19 June 2003 07:37:36 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:23 UTC