W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2004

Re: term "datatype map" in new para

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Fri, 30 Jan 2004 11:03:57 +0000
Message-ID: <16410.14877.679434.368860@merlin.horrocks.net>
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: Jeremy Carroll <jjc@hpl.hp.com>, www-webont-wg@w3.org

On January 30, Jeremy Carroll writes:
> 
> 
> This sort of confusion is there in section 3, where key terms such as 
> entailment and consistent end up with two hyperlinks.
> 
> e.g. in section 3.2 the brackets at the end link to OWL Full entailment.
> 
> We certainly could have done better editorially, but these terms from the 
> semantics
>    entail
>    consistent
>    datatype map
>    model theory
> are all defined twice: once for the direct and once for OWL Full.
> The Test document tries to follow S&AS by giving preference to the OWL DL 
> terms, except when specifically talking about Full.

Point taken. The case of rdf:XMLLiteral highlights this problem, but
there obviously isn't much we can do about it at this stage.

> If you sufficiently prefer just unlinked plain text "datatype map" (and 
> dropping the ref to RDF Semantics) then I am happy enough with that - but I 
> don't think it reduces the confusion - the term meant is the one in RDF 
> Semantics, and it is probably clearer to be explicit. But let me know very 
> soon.

One alternative would be to link to Section 5.2 of S&AS (i.e.,
rdfs.html#5.2) in this case, although I realise that this doesn't
provide a full definition of a datatype map. I am happy to leave it to
your judgement.

Ian

> 
> 
> 
> Jeremy
> 
> Ian Horrocks wrote:
> 
> > It seems a little strange and possibly confusing that datatype map is
> > inconsistently hyperlinked - in several other places in the same
> > section it is linked to S&AS.
> > 
> > Ian
> > 
> > On January 30, Jeremy Carroll writes:
> > 
> >>FYI ...
> >>
> >>- I've added a (normative) reference to RDF Semantics from OWL Test in order 
> >>to hyperlink the term "datatype map" from the new paragraph. This is 
> >>editorial since OWL Test has a normative ref to OWL S&AS which has a 
> >>normative ref to RDF Semantics and normative ref is transitive.
> >>
> >>[[
> >>The 
> >><a href="http://www.w3.org/2001/sw/RDFCore/TR/staging/rdf-mt/#defDatatypeMap">
> >>datatype map</a>  of an 
> >><a href="#dfn-OWL-Full-consistency-checker">OWL Full consistency checker</a> 
> >>MUST also support
> >><a 
> >>href="http://www.w3.org/2001/sw/RDFCore/TR/staging/rdf-concepts/#dfn-rdf-XMLLiteral">
> >><code>rdf:XMLLiteral</code></a> from <%=ref("RDF Concepts")%>, 
> >> see <%=ref("RDF Semantics")%>.
> >>]]
> >>
> >>Without the ref to RDF Semantics I can't use the URI 
> >>http://www.w3.org/2001/sw/RDFCore/TR/staging/rdf-mt/#defDatatypeMap
> >>
> >>
> >>Other uses of the term "datatype map" in Test are hyperlinked into the direct 
> >>semantics. This particular usage cannot be hyperlinked into the direct 
> >>semantics since it is only a Full paragraph. 
> >>
> >>One option, was to leave this term unlinked, on consideration I thought that 
> >>was less clear. Particularly, since we may be less than explicit that we are 
> >>seeing the two "datatype maps" (direct and RDFS compatible) as corresponding, 
> >>which is now fairly clearly implicit in Test section 4.2.2 and the 
> >>correspondence theorem in S&AS.
> >>
> >>Jeremy
> >>
> 
Received on Friday, 30 January 2004 06:10:35 GMT

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