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

Re: Datatypes

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Tue, 13 May 2003 21:57:12 +0300
To: www-webont-wg@w3.org
Message-Id: <200305132157.12289.jjc@hpl.hp.com>

So I just tried to work out what the right answer is ...
(Contrast the stuff on datatypes and consistency checkers in

Following observations
1) The issue list should have a link from issue 5.8 datatypes to

since it is highly relevant to the issue 
and to the minute

2) S&AS section 3 does not seem to agree with

Ahh but
is really quite helpful in bridging the gaps.

resolution text
These datatypes would be interpreted by an OWL reasoner
   in the same manner as unrecognized datatypes, i.e., lexically identical
   literals would be equal and lexically different literals would not be
   known to be either equal or unequal.

   This is essentially Part G of the OWL DL Syntax that was approved today.
   I have expanded the explanation of the proposal slightly and allowed
   unrecognized datatypes into OWL Full as well.

WD text
VD, the datatype names of a vocabulary, contains the URI references for the 
built-in OWL datatypes and rdfs:Literal.
An Abstract OWL interpretation with respect to T with vocabulary VC, VD, VI, 
VDP, VIP, VAP, VO is a tuple of the form: I = <R, EC, ER, L, S> where (with P 
being the power set operator) 
EC : VD -> P(LVT) 

i.e. an abstract OWL interpretation gives the class extension as a set of 
literal values for every built in datatype.

The whole of this section gives no interpretation in which datatypes are not 
recognised or not supported, and does not follow the intent, as I read it, of 
the resolution.

Maybe I have misunderstood - I am open to being spoonfed the reading which 
fits with the resolution.

I guess I retract the proposed text in:
in which I was trying to follow S&AS section 3.

I would suggest that the notion of unsupported datatypes should be made 

(Trying to unpack the datatype theory in section 5 is worse - I hit:
 (The specifics of datatype theories used here differ slightly from those in 
the RDF semantics currently under review. It is expected that these 
discrepancies will be resolved during last call, following which this 
document will be revised to correspond directly to RDF datatyping.)
and then wonder if need to go and look at the latest editors draft of the RDF 
Semantics to get a feel for what's going on)

(Note it seems disingenious of Peter, while logically correct, to say that 
S&AS does not say that rdfs:Literal is a datatype URI - S&AS does call it a 
"datatype name of a vocabulary")

Received on Tuesday, 13 May 2003 15:57:03 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:53 UTC