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

Re: datatyping in test for Pat's review

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Mon, 26 May 2003 19:12:18 +0300
To: www-webont-wg@w3.org
Message-Id: <200305261912.18830.jjc@hpl.hp.com>

Ian suggests:
[[
An OWL DL document D is consistent with respect to datatype theory T if
and only if there is some Abstract OWL interpretation I with respect
to T such that I satisfies D.
]]

unfortunately this text, while neat, asks more questions than it answers - we 
do not define satisifes as in an interpretation satisfying a document, so 
questions to do with 
a) imports closure 
b) which abstract ontology
are unanswered.

My proposed text:

[[
An OWL Lite or OWL DL document is consistent with respect to a datatype theory 
[OWL Semantics and Abstract Syntax], if and only if a corresponding 
collection of OWL DL ontologies in abstract syntax form with a separated 
vocabulary is simulataneously consistent with respect to the datatype theory.
]]

requires the somewhat shorter imaginitive leap from the defn of consistent in 
S&AS to the notion of simulataneously consistent, and perhaps is still 
unclear about imports. However, the which abstract ontology is answered by 
the "with a separated vocabulary" and the correspondence theorem.

I will circulate some more text tomorrow.

Jeremy
Received on Monday, 26 May 2003 13:12:17 GMT

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