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.



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 
if prefix:dt is rdf:PlainLiteral.
Received on Monday, 9 May 2011 06:49:19 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:01:04 UTC