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

Re: Changes to make S&AS consistent with RDF Semantics document

From: Sandro Hawke <sandro@w3.org>
Date: Fri, 12 Dec 2003 15:12:24 -0500
Message-Id: <200312122012.hBCKCO06018317@roke.hawke.org>
To: herman.ter.horst@philips.com
Cc: Jim Hendler <hendler@cs.umd.edu>, connolly@w3.org, pfps@research.bell-labs.com, pat hayes <phayes@ihmc.us>, www-webont-wg@w3.org


> >*Possible solution 1*: no changes to RDF Semantics, and two
> >"local" changes to S&AS:
> >-1a: add OWL DL semantics without XMLLiteral by means of a
> >detour via the abstract syntax (details below)
> >-1b: exclude the possibility of having OWL Full without
> >XMLLiteral semantics (after all, OWL Full is *OWL Full*)
> >
> >In view of 1b, this would not solve the problem completely, but
> >perhaps this would be acceptable?
> >In addition, 1b would require a small change in OWL Reference.
> Actually, 1b does not describe a change in S&AS, since S&AS as it
> is does already include XMLLiteral semantics in OWL Full.
> However, 1b does lead to changes to make Test consistent.
> For clarity, I list the other change required when this
> solution is taken:
> -1c: remove all tests that allow OWL Full without XMLLiteral
> semantics

Can you name one of these tests, or all of them if it's convenient?

    -- sandro
Received on Friday, 12 December 2003 15:11:25 GMT

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