Re: Formal Semantics of OWL + RDF + SPARQL + SWRL

On Tue, Dec 06, 2005 at 06:36:07 +0100, Danny Ayers wrote:
> 
> On 12/6/05, Peter F. Patel-Schneider <pfps@research.bell-labs.com> wrote:
> 
> > Well, even an RDF-only store *should* be respecting the RDF semantic, which
> > does have some non-trivial inferences.
> 
> Fair point. There is one set of inferences I think could be useful to
> have available in all SPARQL-capable stores -
> 
> ?s ?p ?o .
> =>
> ?p rdf:type rdf:Property .

I agree, but in sparql this is somewhat unneccesary as you can do

	SELECT DISTINCT ?p WHERE { ?s ?p ?o }

directly

- Steve