- From: Birte Glimm <birte.glimm@comlab.ox.ac.uk>
- Date: Tue, 10 May 2011 14:40:06 +0100
- 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 UTC