W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > April to June 2011

Re: Entailment: typos

From: Birte Glimm <birte.glimm@comlab.ox.ac.uk>
Date: Tue, 10 May 2011 14:40:06 +0100
Message-ID: <BANLkTik+TnOq3YQGtOigVz4yekSYJr2REQ@mail.gmail.com>
To: Olivier Corby <Olivier.Corby@sophia.inria.fr>
Cc: SPARQL Working Group <public-rdf-dawg@w3.org>
Hi Olivier,
hanks for pointing that out. It should be corrected now, although too
late for the LC version :-(
see http://www.w3.org/2009/sparql/docs/entailment/xmlspec.xml

Birte

On 9 May 2011 07:48, Olivier Corby <Olivier.Corby@sophia.inria.fr> wrote:
> I have found some typos in Entailment document.
>
> Regards,
>
> Olivier
>
>
>
>
> 3.1 Inconsistencies (Informative)
>
>
> Here we can to derive
>
>
> (6) "<"^^rdf:XMLLiteral a ex:a.
> (7) "<"^^rdf:XMLLiteral rdf:type rdfs:Literal
>
> -- perhaps use rdf:type in both triples as "a" is concrete syntax
>
>
>
> 4 D-Entailment Regime
>
>
> graph are are relativized
>
>
>
> dt is the RDF plain literal datatype [RDFPlainLiteral] if prefix:dt is
> rdf:XMLLiteral.
> ->
> if prefix:dt is rdf:PlainLiteral.
>



-- 
Dr. Birte Glimm, Room 309
Computing Laboratory
Parks Road
Oxford
OX1 3QD
United Kingdom
+44 (0)1865 283520
Received on Tuesday, 10 May 2011 13:40:33 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:46 GMT