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

Re: TEST: 2 of 7 : issue 5.3

From: Dan Connolly <connolly@w3.org>
Date: 23 Jul 2003 15:06:02 -0700
To: Jeremy Carroll <jjc@hpl.hp.com>
Cc: www-webont-wg@w3.org
Message-Id: <1058984118.1656.748.camel@jammer.dm93.org>

[replying with attention divided; apologies]

On Wed, 2003-07-23 at 09:19, Jeremy Carroll wrote:
[...]
> 
> An OWL Full document D is OWL Full consistent with respect to a datatype 
> theory T, if and only if there is some OWL Full interpretation I with respect 
> to T such that I satisfies all the RDF graphs in some imports closed 
> collection containing an RDF graph equivalent to D. 
> ]]

That doesn't sort-check. D a document at the beginning of the para
and a graph at the end.

-- 
Dan
Received on Wednesday, 23 July 2003 18:06:17 GMT

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