Re: Improving EXISTS

2016-07-04 Thread james anderson
good afternoon; > On 2016-07-04, at 16:49, Peter F. Patel-Schneider > wrote: > > On 07/03/2016 04:08 PM, james anderson wrote: >> good morning; > [...] >> [i reiterate, repeat, and implore] (see >> please, >> https://www.researchgate.

Re: Improving EXISTS

2016-07-03 Thread james anderson
good morning; > On 2016-07-02, at 12:40, Peter F. Patel-Schneider > wrote: > > On 07/01/2016 10:20 PM, james anderson wrote: >> >>> On 2016-07-01, at 22:47, Peter F. Patel-Schneider >> <mailto:pfpschnei...@gmail.com>> wrote: >>> >>

Re: Improving EXISTS

2016-07-01 Thread james anderson
> On 2016-07-01, at 22:47, Peter F. Patel-Schneider > wrote: > > On 07/01/2016 01:34 PM, james anderson wrote: >> good evening; >> >>> On 2016-06-30, at 15:05, Peter F. Patel-Schneider >> <mailto:pfpschnei...@gmail.com>> wrote: >>> &

Re: Improving EXISTS

2016-07-01 Thread james anderson
note that, in the issue descriptions which followed, the conclusions are subject to discussion, as they follow from interpretations of the recommendation which are not universal. best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: can subqueries be executed first in SPARQL? (previous example messed up)

2016-06-27 Thread james anderson
ts - in combination with arbitrary sub-expressions, would follow. best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: can subqueries be executed first in SPARQL?

2016-06-27 Thread james anderson
follow this, this reduction obtains iff the project has no effect on the scope the binding for ?x which was established by the outer extend. is that intended? best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: can subqueries be executed first in SPARQL?

2016-06-17 Thread james anderson
> On 2016-06-17, at 23:25, Peter F. Patel-Schneider > wrote: > > On 06/17/2016 12:55 PM, james anderson wrote: >> good evening; > [...] > >>>> we understand the recommendation differently. >>>> in particular, from the document context, it should

Re: can subqueries be executed first in SPARQL?

2016-06-17 Thread james anderson
ing > a bunch of test cases for EXISTS to document how it works in the current spec. > See > https://lists.w3.org/Archives/Public/public-rdf-tests/2016Jun/0000.html > >> thanks, >> .greg >> >> [2] https://w3c.github.io/rdf-tests/ > > peter --- james anderson | ja...@dydra.com | http://dydra.com

Re: can subqueries be executed first in SPARQL?

2016-06-17 Thread james anderson
oach and suggest it would be more worthwhile >> to argue directly for clear and adequate definitions. > > I agree that there needs to be an adequate definition of EXISTS. > > I further believe that the current definition of EXISTS, and in particular > the current definition of substitute, is broken bad. So fixing it is not > just a matter of clarifying and extending the definition but has to instead > replace the definition in a way that changes the behaviour of SPARQL. > > To argue otherwise is to argue that some current implementations have made > unfounded assumptions about EXISTS that don't conform to the correct > clarification of the specification and thus should be changed. Instead the > argument has to be that it is necessary to change the SPARQL spec in a way > that delegitimizes some current implementations that are currently > legitimate and legitimizes other current implementations that are currently > illegitimate. My hope is that this latter argument will be made > successfully! > > [...] > > peter best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: graph keyword and exists and scope

2016-06-17 Thread james anderson
the scope - {graph ?x … } to have scope limited by projection which did not include ?x - {graph ?? { service … } } to limit scope where, for the service case, i am ambivalent. > > I sometimes get results for this sort of query that surprise me, and so I > tend to explicitly repeat the

Re: can subqueries be executed first in SPARQL?

2016-06-17 Thread james anderson
good morning; > On 2016-06-17, at 14:18, Peter F. Patel-Schneider > wrote: > > On 06/17/2016 05:01 AM, james anderson wrote: >> good afternoon; >> >>> On 2016-06-17, at 13:16, Peter F. Patel-Schneider >> <mailto:pfpschnei...@gmail.com>>

Re: can subqueries be executed first in SPARQL?

2016-06-17 Thread james anderson
good afternoon; > On 2016-06-17, at 13:16, Peter F. Patel-Schneider > wrote: > >> On 17 Jun 2016, at 03:58, james anderson wrote: >> >> good morning; >> >>> On 2016-06-17, at 01:11, Peter F. Patel-Schneider > wrote: >>> > [...] &

Re: can subqueries be executed first in SPARQL?

2016-06-17 Thread james anderson
on > and so little explanation, that it leads to non-interoperable implementations > and should be replaced. would that be acceptable? while the second is perhaps less polemic, it and its consequences are just as severe. best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: can subqueries be executed first in SPARQL?

2016-06-16 Thread james anderson
e were the project evaluated logically later? best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: interaction of GRAPH and sub-SELECT

2016-04-26 Thread james anderson
the binding for the object in the statement pattern. ok? best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: Semantic of FILTER NOT IN / literal comparison

2016-04-18 Thread james anderson
good morning; > On 2016-04-18, at 11:08, Andy Seaborne <mailto:a...@apache.org>> wrote: > > On 17/04/16 19:59, james anderson wrote: >> good evening; >> >>> On 2016-04-17, at 19:13, Andy Seaborne >> <mailto:a...@apache.org>> wrote: >>

Re: Semantic of FILTER NOT IN / literal comparison

2016-04-17 Thread james anderson
n operator function defined by either XQuery 1.0 > and XPath 2.0 Functions and Operators [FUNCOP] or the SPARQL operators > specified in section 17.4. > ]] where, again, is the definition in 17.4.1.7 intended to fit into that table? > > > > On 17/04/16 17:53, james anderso

Re: Semantic of FILTER NOT IN / literal comparison

2016-04-17 Thread james anderson
sed - it would return false in that case. this is still confusing. sorry, but it is. > > Andy > > On 16/04/16 11:38, james anderson wrote: >> >>> On 2016-04-16, at 11:55, Andy Seaborne wrote: >>> >>> On 16/04/16 07:23, Michael Schmidt wrote: >>>&

Re: Semantic of FILTER NOT IN / literal comparison

2016-04-16 Thread james anderson
uct the monolithic open-world tests into individual tests, each of which demonstrates a significant combination - or, given the combinatorics, some region of the table. is there any interest in this? best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: sparql sample and undefined values

2016-01-30 Thread james anderson
rofile parameter and service description property. > > I have raised JENA-1126 for Jena and proposed a change to pick a defined > value. > > Thanks > Andy > >> In any case it would be cool if there was a small example (like the one >> above) that clarifies the behaviour. >> >> Jörn > > > [JENA-1126] > https://issues.apache.org/jira/browse/JENA-1126 > > --- james anderson | ja...@dydra.com | http://dydra.com

Re: Brackets, OPTIONALs, BINDs, semantics, oh my.

2015-12-16 Thread james anderson
be surprising. once one realizes that { } is not the same as ( ), what is the “surprise” which remains? best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: CONSTRUCT an RDF Datest

2015-12-06 Thread james anderson
s ?citedPaper. > } > } > WHERE { ?paper ex:isJournalAndCites* ?influentialPaper } > > This is just to say that I don't think CONSTRUCT subqueries in FROM/FROM > NAMED can be considered completely "subsumed" by the subquery forms available > in SPARQL 1.1. &g

Re: CONSTRUCT an RDF Datest

2015-12-05 Thread james anderson
RE { { SELECT ?P1 ?P2 WHERE { GRAPH <http://.../biblio.rdf> { ?Pub :author ?A1 . ?Pub :author ?A2 . FILTER ( !(?A1 = ?A2) ) } } } ?P1 :mail ?M1 . ?P2 :mail ?M2 } best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: CONSTRUCT an RDF Datest

2015-12-05 Thread james anderson
good evening; > On 2015-12-05, at 21:30, Tara Athan wrote: > > […] > > > On 12/5/15 12:38 PM, james anderson wrote: >> good evening; >> >>> On 2015-12-05, at 14:29, Tara Athan >>> <mailto:taraat...@gmail.com> wrote: >>> &g

Re: CONSTRUCT an RDF Datest

2015-12-05 Thread james anderson
blank nodes in quad data templates >> in the graph position. >> >> It's in the SPARQL errata. >> >> http://www.w3.org/2013/sparql-errata >> >> (because I have just added it :-) >> >>> >>> Tara >> >> ARQ supports blank node addressing for when you must. >> IRI(blank node) returns a suitable IRI. >> >> Andy >> >> >> > > --- james anderson | ja...@dydra.com | http://dydra.com

Re: Dynamic SELECT query result

2015-12-05 Thread james anderson
lutions to all posses the same dimensions (the solution mapping “domain”). best regards, from berlin, — (1) http://www.w3.org/TR/2013/REC-sparql11-query-20130321/#sparqlSolutions <http://www.w3.org/TR/2013/REC-sparql11-query-20130321/#sparqlSolutions> --- james anderson | ja...@dydra.com | http://dydra.com

Re: CONSTRUCT an RDF Datest

2015-11-29 Thread james anderson
t, if they appear as graph identifiers in your dataset, for graphs which satisfy the metadata constraint in your example query, they will be bound to ?name and be present in the solutions which are projected through the construct template. best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: CONSTRUCT an RDF Datest

2015-11-29 Thread james anderson
from the insert syntax. so far, "TriG-with-variables" does not convince that it would be worth the effort. specify the service description feature and you have something to target. best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: CONSTRUCT an RDF Datest

2015-11-29 Thread james anderson
good evening; > On 2015-11-29, at 16:04, Andy Seaborne wrote: > > On 29/11/15 11:33, james anderson wrote: >> good morning; >> >>> On 2015-11-29, at 11:33, Andy Seaborne wrote: >>> […] >>> >>>> >>>> Is there any the

Re: CONSTRUCT an RDF Datest

2015-11-29 Thread james anderson
d a production of the form ( 'GRAPH’ )? VarOrIri '{' TriplesTemplate? ‘}’ - which end does the elision serve? best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: quick sanity check question on sub-query, service and variable scoping

2015-10-19 Thread james anderson
similar situations apply to the sub-select and service cases. whether the projection is ‘*’ or limited does not affect whether a binding introduces a scope. best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: SPARQL 1.1 Graph Store spec rather misleading

2015-09-17 Thread james anderson
der to recognize that the " .. RDF payload ..” was to be understood in the context of the respective content media type. best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: Visibility of variables in nested Group(OrUnion)GraphPatterns

2015-08-30 Thread james anderson
ype) 8 (join 9 (extend ((?type (uri (concat ?typeBase "Person" 10 (table unit)) 11 (bgp (triple ?s ?p ?o 12 (filter (= ?o ?type) 13 (join 14 (extend ((?type (uri (concat ?typeBase "Animal" 15 (table unit)) 16 (bgp (triple ?s ?p ?o > Also here I’d expect the empty result. as would appear correct from the algebra expression. best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: application/sparql-results+xml and namespaces

2015-07-06 Thread james anderson
space. > > In any case, I'll report this problem to both, according to Postel's law [5], > but I'm curious about how other interpret this problem, and the general > consensus if there is one... > > > [1] http://www.w3.org/TR/rdf-sparql-XMLres/ > [2] http://ww

Re: Clarification of the meaning of "unaggregated variable"

2015-07-03 Thread james anderson
scalarvals) now in X >> # note scalarvals may be omitted, then it's equivalent to the empty set >> A >> i >> := Aggregation(args, R, scalarvals, G) >> Replace R(...) with agg >> i >> in Q >> i := i + 1 >> End >> End >> >> > best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: Subject lists in SPARQL

2015-04-07 Thread james anderson
o > return a list of phones (Bob's phone and John's phone) and I can not use > FILTER. you describe, that you would like to specify the sub-graph in which a given subject set is connected to the respective object terms through given predicates. in what sense is t

Re: how should undefined elements figure in aggregate samples?

2015-03-31 Thread james anderson
nterpretation for the simple variable reference introduces a unwarranted asymmetry in the way sample expressions are to be interpreted. best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

how should undefined elements figure in aggregate samples?

2015-03-30 Thread james anderson
undef) (<http://example.org/s6> undef <http://example.org/o2> 1) (<http://example.org/s7> <http://example.org/p6> <http://example.org/o3> 1) (<http://example.org/s8> undef <http://example.org/o3> 1) } } group by ?o best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: Wikidata, SPARQL Y0K Problem

2015-03-27 Thread james anderson
y extensions. as this version three, in turn, references xsd 1.1, that appears to be the semantics to look for going forward and we decided to adopt that for our temporal extension implementation. best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Re: Converting VALUES to SPARQL algebra

2015-03-02 Thread james anderson
identical with arq’s, that implementation has been invaluable in filling in for the recommendation. best regards, from berlin, --- james anderson | ja...@dydra.com | http://dydra.com

Fwd: Converting VALUES to SPARQL algebra

2015-03-02 Thread james anderson
understand, appeared with ARQ’s algebra notation (http://www.w3.org/2011/09/SparqlAlgebra/ARQalgebra) - or, in any case, that is where i recall first having seen it. best regards, from berlin --- james anderson | ja...@dydra.com | http://dydra.com

Re: typing and overflow

2014-10-29 Thread james anderson
. best regards, from berlin, ——— [1] : http://www.w3.org/TR/xpath20/ [2] : http://www.w3.org/TR/xpath20/ [3] : http://www.w3.org/TR/xquery-operators/#numeric-functions [4] : http://www.w3.org/TR/xpath-functions-30/#op.numeric --- james anderson | ja...@dydra.com | http://dydra.com

Re: SAMPLE aggregate function

2014-07-08 Thread james anderson
)” might indicate, but because the operator is defined to be non-deterministic. > > On 8 Jul 2014, at 11:17, james anderson wrote: > >> good afternoon, >> >> On 8 Jul 2014, at 11:56, Steve Harris wrote: >> >>> I suspect that’s less surprising than

Re: SAMPLE aggregate function

2014-07-08 Thread james anderson
t;> { BIND(2 as ?a) BIND(2 as ?b)} >> } >> >> >> I think the principal of least surprise would suggest that a single select >> should use the same solution to pick out the sample values, giving either >> 1,1 or 2,2 as possible solutions here. >> >> Jeremy >> >> >> > > > --- james anderson | ja...@dydra.com | http://dydra.com

Re: SAMPLE aggregate function

2014-07-07 Thread james anderson
remain ones expectation in this case as well? SELECT (SAMPLE(?a) as ?A) (SAMPLE(?b) as ?B) { { BIND(1 as ?a) } UNION { BIND(2 as ?b)} UNION { BIND(3 as ?b)} } > > Jeremy > > > On Jul 7, 2014, at 3:49 PM, james anderson wrote: > >> good morning; >> >&g

Re: SAMPLE aggregate function

2014-07-07 Thread james anderson
ons here. what would be the consequence of a solution in which one of the variables was not bound? > > Jeremy > > > --- james anderson | ja...@dydra.com | http://dydra.com

Re: Intended behavior for invalid IRI in "GRAPH { } block

2013-11-16 Thread james anderson
rom an improper query or simply return the empty set? (Obviously, under > some engine implementations it makes no difference.) > > Regards, > > Thomas Visel > > > > Thomas A. Visel, Senior Translation Engineer > Office: 512-651-5834 > Email: tviselalgebraixdata.com > www.algebraixdata.com > --- james anderson | ja...@dydra.com | http://dydra.com

Re: Possible Errata re CONCAT and COALESCE for SPARQL 1.1 Query

2013-08-21 Thread james anderson
good afternoon; On 21 Aug 2013, at 11:29 AM, Steve Harris wrote: > On 20 Aug 2013, at 23:42, Rob Vesse wrote: > >> I have some comments around the definitions of CONCAT and COALESCE that have >> originated from private discussions with a user and may lead to additional >> errata for the SPARQ