Re: Comment on: entailment

Olivier,
thanks for the comments, which I have implemented in the document. I
think I have to use an editor that supports spell-checking ;-)

The only other comment was that the RDFS table contains the same
restrictions as the RDF table. This is to make the description of each
entailment regime self-contained and I added a sentence to explain
that above the table.

Birte

2009/12/21 Olivier Corby <Olivier.Corby@sophia.inria.fr>:
> 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
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>



-- 
Dr. Birte Glimm, Room 306
Computing Laboratory
Parks Road
Oxford
OX1 3QD
United Kingdom
+44 (0)1865 283529

Received on Tuesday, 22 December 2009 11:00:51 UTC