W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2003

Re: non-entailment test for imports (was Re: Proposed response to Golbeck regarding imports issue)

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Tue, 17 Jun 2003 21:53:02 +0200
To: "Jim Hendler <hendler" <hendler@cs.umd.edu>
Cc: Ian Horrocks <horrocks@cs.man.ac.uk>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, www-webont-wg@w3.org, www-webont-wg-request@w3.org
Message-ID: <OF1B90216B.DA9F19FB-ONC1256D48.006CE30F-C1256D48.006D3AFF@agfa.be>


[...]

> This document alone may not entail XXX, however it points to another
> document that, if imported, would entail XXX.
>
>
> This first statement above (may not entail XXX) would mean it passed our
test.
>
> This would be within the letter and the law of our design (and maybe
> even the spirit of the design for some of us).

fully agreed
no obligation to dereference the import pointer

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 17 June 2003 15:53:59 GMT

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