SPARQL 1.1 Entailment Regimes

Dear RDF WG,


I've reviewed the SPARQL 1.1 Entailment Regimes. It is very good in my 
opinion and there are very little details that have an impact on RDF, 
methinks. I will provide my personal review to the SPARQL WG soon.
However, I noticed one point that could be of interest to the RDF WG:

In Section 4 "D-Entailment Regime", it is said:

"A datatype map for the D-entailment regime MUST contain at least all 
pairs of the form <prefix:dt, dt>, for which prefix:dt is one of the 
entries from the table below ..."

here, dt is a placeholder for xsd or rdf. This means that all datatype 
maps MUST include the XSDs. Note that this is not the case in RDF 
Semantics. The RDF semantics only mentions XSD as an example of datatype 
map, but implementations are free to ignore part or all of them.

Should we update D-entailment such that it necessary supports XSDs?
(my answer: yes)


Regards,
-- 
Antoine Zimmermann
Researcher at:
Laboratoire d'InfoRmatique en Image et Systèmes d'information
Database Group
7 Avenue Jean Capelle
69621 Villeurbanne Cedex
France
Tel: +33(0)4 72 43 61 74 - Fax: +33(0)4 72 43 87 13
Lecturer at:
Institut National des Sciences Appliquées de Lyon
20 Avenue Albert Einstein
69621 Villeurbanne Cedex
France
antoine.zimmermann@insa-lyon.fr
http://zimmer.aprilfoolsreview.com/

Received on Thursday, 9 June 2011 10:12:01 UTC