- From: Sergio Tessaris <tessaris@inf.unibz.it>
- Date: Tue, 20 Dec 2005 14:45:35 +0100
- To: Pat Hayes <phayes@ihmc.us>
- Cc: Eric Prud'hommeaux <eric@w3.org>, "Seaborne, Andy" <andy.seaborne@hp.com>, RDF Data Access Working Group <public-rdf-dawg@w3.org>
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. --sergio
Received on Tuesday, 20 December 2005 13:45:45 UTC