W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > July to September 2010

Re: Entailment Doc ready for review

From: Olivier Corby <olivier.corby@sophia.inria.fr>
Date: Thu, 16 Sep 2010 08:01:24 +0200
Message-ID: <4C91B2B4.3050606@sophia.inria.fr>
To: SPARQL Working Group <public-rdf-dawg@w3.org>
Before writing my review on entailment, I have a question on this point:

section 2.4 Boolean Queries (Informative)

The two conditions C1 and C2 also have an effect on the answers to 
Boolean queries. For Boolean queries that contain variables, e.g.,

ASK { ?x a rdf:Property }

The query answer is yes (true) if there is at least one solution mapping 
(i.e., a solution that satisfies also conditions C1 and C2) and it is no 
(false) otherwise. For example, if the queried graph is the empty graph, 
the query has no solution since even if a pattern instance mapping 
yields an axiomatic triple, condition C2 cannot be satisfied.

My question is why condition C2 cannot be satisfied ?


Received on Thursday, 16 September 2010 06:01:58 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:01:01 UTC