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