Re: SPARQL semantics: open issues for basic query patterns

>On 27 Dec 2005, at 19:37, Enrico Franconi wrote:
>>a) in the document only 'simple entailment' is used. We want a
>>parametric entailment, with simple, rdf, rdfs explicit at least, and
>>owl-dl and owl possible. The argument here is that due to the infinite
>>closure of RDF graphs (due to rdf:1, rdf:2, etc; or to the
>>reification), this document would not even allow to have
>>implementations that comply with the original RDF MT! Moreover, there
>>are explicit requests about this in the SWBP WG, for example
>><http://lists.w3.org/Archives/Public/public-swbp-wg/2005Dec/0072>.
>
>Please note that there is a simple non invasive mode to satisfy this 
>requirement: just add at the beginning of the document a note saying 
>that whenever simple entailment is mentioned, we could actually use 
>also RDF, RDFS, OWL-DL entailemnts.

I don't think this makes sense. First, what about D-entailment, or 
other semantic extensions that have no official name? What about 
using just a few pieces of OWL, eg functionalProperty and sameAs, but 
without undertaking to check, say, cardinality restrictions? There is 
no name for this, but it is in use.

But in any case, if we say this, what exactly does the spec specify? 
Suppose we say this, and A implements a SPARQL server using, say, RDF 
entailment, while B implements one using OWL entailment, and C 
implements one using a semantic extension of RDF which has no name as 
yet. The same query, pointed to the same target graph, gets different 
answers from A, B and C. And yet they all satisfy the requirements of 
the spec, since the spec no longer says what kind of entailment 
should be used. If we allow any kind of semantic extension (a 
possibility which was deliberately put into the RDF spec) then almost 
any answer to a query is possible, and hence legally sanctioned by 
the SPARQL spec. Surely the whole point of SPARQL is to avoid this 
kind of a situation.

Pat

>cheers
>--e.


-- 
---------------------------------------------------------------------
IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Monday, 2 January 2006 19:28:53 UTC