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

Re: TEST: 2 of 7 : issue 5.3

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 24 Jul 2003 12:12:28 +0100
Message-ID: <3F1FBF1C.8040408@hplb.hpl.hp.com>
To: Dan Connolly <connolly@w3.org>
CC: Jeremy Carroll <jjc@hpl.hp.com>, www-webont-wg@w3.org



Dan Connolly wrote:

> [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.
> 
> 


Changed to "RDF graph corresponding to D"
or would you prefer to suggest words that detail the process of parsing 
etc. (Also in the definition of OWL DL consistent changed "equivalent" to 
"corresponding")

(will be checked in in the next couple of hours)

Jeremy
Received on Thursday, 24 July 2003 07:13:28 GMT

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