- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Thu, 24 Jul 2003 12:12:28 +0100
- 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 UTC