incorrect descriptions of examples of property path queries

• From: Peter F. Patel-Schneider <Peter.Patel-Schneider@nuance.com>
• Date: Fri, 31 Oct 2014 15:41:01 -0700
• To: <public-rdf-dawg-comments@w3.org>
• Message-ID: <54540FFD.60606@nuance.com>

Several examples in the property paths section of SPARQL 1.1 Query Language do 
not do what they claim to do.

*************
Some forms of limited inference are possible as well. For example, for RDFS, 
all types and supertypes of a resource:

   { <http://example/thing> rdf:type/rdfs:subClassOf* ?type }
*************

This ignores any subproperties of rdf:type or rdfs:subClassOf, which need to 
be consulted when determining types and supertypes of a resource.

*************
All resources and all their inferred types:

   { ?x rdf:type/rdfs:subClassOf* ?type }
*************

As above.

*************
Subproperty:

   { ?x ?p ?v . ?p rdfs:subPropertyOf* :property }
*************

This ignores any subproperties of rdfs:subPropertyOf, which need to be 
consulted when determining subproperties of a property.

*************
Elements in an RDF collection:

   { :list rdf:rest*/rdf:first ?element }
*************

This ignores subproperties of rdf:rest and rdfs:first, which need to be 
consulted when examining RDF collections in RDFS.


I think that all these need to be called out.


peter

Received on Friday, 31 October 2014 22:41:30 UTC