- From: Olivier Corby <Olivier.Corby@sophia.inria.fr>
- Date: Mon, 21 Dec 2009 14:54:46 +0100
- To: SPARQL Working Group <public-rdf-dawg@w3.org>
Some comments on entailment document: http://www.w3.org/2009/sparql/docs/entailment/xmlspec.xml Olivier Intuiltively -> Intuitively varaibles -> variables well-formeded -> well-formed applyed -> applied scoping graph as given in SPARQL 1. -> in SPARQL 1.0. RDFS entailed tripes -> triples For entailment regimes other then simple entailment this point -> For entailment regimes other *than* simple entailment, this point if a query contains the one of the above triple patterns -> if a query contains *one* of the above triple patterns inconsistet -> inconsistent 3 RDFS Entailment Regime The "Query Answers" text in the table is the same text as the one from RDF Entailment Regime. an RDF XML literal and has to be interpreted it as some element tha is NOT in rdfs:Literal -> an RDF XML literal and has to be interpreted *as* some element *that* is NOT in rdfs:Literal inconistent -> inconsistent Another solution ould be -> Another solution would be 6 OWL 2 Direct Semantics Entailment Regime neccessary -> necessary 8 Entailment Regimes and Data Sets (Informative) This follows from conditions conditions -> This follows from conditions
Received on Monday, 21 December 2009 13:55:19 UTC