W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > October to December 2005

Re: putting entailment into SPARQL

From: Sergio Tessaris <tessaris@inf.unibz.it>
Date: Tue, 20 Dec 2005 14:45:35 +0100
Message-Id: <116E297E-1FB0-4DC9-BE94-D538F268B682@inf.unibz.it>
Cc: Eric Prud'hommeaux <eric@w3.org>, "Seaborne, Andy" <andy.seaborne@hp.com>, RDF Data Access Working Group <public-rdf-dawg@w3.org>
To: Pat Hayes <phayes@ihmc.us>

On 13 Dec 2005, at 23:27, Pat Hayes wrote:

> Pattern Solution.
> A variable substitution is a substitution function on a subset of V  
> to RDF-T. A pattern solution on the pattern V to the dataset G is a  
> variable substitution whose domain includes all the variables in V,  
> whose range is a subset of the set of RDF terms occurring in G, and  
> which matches the dataset DS.

Pat, by restricting the domain in this way you rule out RDF(S)  
entailment, since there are terms which should be in any RDF(S)  
graph, even if not explicitly mentioned (e.g. rdf:type or rdf:Property).

My understanding is that this restriction should be enforced for  
bnodes only.

Received on Tuesday, 20 December 2005 13:45:45 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:00:37 UTC