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

Entailment: typos

From: Olivier Corby <Olivier.Corby@sophia.inria.fr>
Date: Mon, 09 May 2011 08:48:50 +0200
Message-ID: <4DC78E52.5060701@sophia.inria.fr>
To: SPARQL Working Group <public-rdf-dawg@w3.org>
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.
Received on Monday, 9 May 2011 06:49:19 GMT

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