Entailment Regimes Doc

I've skimmed the document, and I have some questions and comments.

1) I'm sure sure how the scoping graph and active graph related to the  
rest of the document. Linking to the definitions in SPARQL 1.0 might  
be more helpful. I don't find the related section in SPARQL 1.0  
especially clear either, but it's trying to talk in very general terms.

2) Where it says "Systems who want to support... can state..." is that  
intended to be a requirement for the service description section, or  
is state meant in an informal sense?

3) In the section on RDFS, I share Andy's concerns. My systems  
wouldn't have been able to detect the inconsistent case with  
acceptable efficiency either.

General notes:

It's not clear to me how the terms used 1) relate to the ground data.  
I'm not really familiar with the mechanics of typical OWL reasoners,  
so it could be obvious to practitioners.

Is the implication that inference only happens within a (named) graph?

If not, is there an intention to specify what bindings ?g might take  
in the following example:

<a.rdf>:
   :p rdfs:domain :A .

<b.rdf>:
   :x :p :y .

query:
   SELECT ?g WHERE { GRAPH ?g { :x a ?type } }

- Steve

-- 
Steve Harris
Garlik Limited, 2 Sheen Road, Richmond, TW9 1AE, UK
+44(0)20 8973 2465  http://www.garlik.com/
Registered in England and Wales 535 7233 VAT # 849 0517 11
Registered office: Thames House, Portsmouth Road, Esher, Surrey, KT10  
9AD

Received on Wednesday, 30 September 2009 15:42:46 UTC