sparql 3.1.8 → 3.2.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/README.md +29 -22
- data/VERSION +1 -1
- data/bin/sparql +13 -4
- data/lib/sparql/algebra/extensions.rb +93 -33
- data/lib/sparql/algebra/operator/abs.rb +22 -2
- data/lib/sparql/algebra/operator/add.rb +21 -2
- data/lib/sparql/algebra/operator/alt.rb +26 -2
- data/lib/sparql/algebra/operator/and.rb +25 -3
- data/lib/sparql/algebra/operator/asc.rb +20 -1
- data/lib/sparql/algebra/operator/ask.rb +17 -1
- data/lib/sparql/algebra/operator/avg.rb +17 -1
- data/lib/sparql/algebra/operator/base.rb +18 -1
- data/lib/sparql/algebra/operator/bgp.rb +5 -1
- data/lib/sparql/algebra/operator/bnode.rb +33 -10
- data/lib/sparql/algebra/operator/bound.rb +22 -1
- data/lib/sparql/algebra/operator/ceil.rb +25 -2
- data/lib/sparql/algebra/operator/clear.rb +16 -2
- data/lib/sparql/algebra/operator/coalesce.rb +33 -11
- data/lib/sparql/algebra/operator/compare.rb +9 -0
- data/lib/sparql/algebra/operator/concat.rb +26 -2
- data/lib/sparql/algebra/operator/construct.rb +29 -6
- data/lib/sparql/algebra/operator/contains.rb +24 -2
- data/lib/sparql/algebra/operator/copy.rb +19 -2
- data/lib/sparql/algebra/operator/count.rb +17 -1
- data/lib/sparql/algebra/operator/create.rb +19 -2
- data/lib/sparql/algebra/operator/dataset.rb +17 -0
- data/lib/sparql/algebra/operator/datatype.rb +25 -6
- data/lib/sparql/algebra/operator/day.rb +23 -5
- data/lib/sparql/algebra/operator/delete.rb +27 -2
- data/lib/sparql/algebra/operator/delete_data.rb +23 -2
- data/lib/sparql/algebra/operator/delete_where.rb +24 -2
- data/lib/sparql/algebra/operator/desc.rb +20 -1
- data/lib/sparql/algebra/operator/describe.rb +27 -4
- data/lib/sparql/algebra/operator/distinct.rb +18 -1
- data/lib/sparql/algebra/operator/divide.rb +26 -2
- data/lib/sparql/algebra/operator/drop.rb +17 -2
- data/lib/sparql/algebra/operator/encode_for_uri.rb +24 -2
- data/lib/sparql/algebra/operator/equal.rb +12 -2
- data/lib/sparql/algebra/operator/exists.rb +28 -4
- data/lib/sparql/algebra/operator/exprlist.rb +12 -1
- data/lib/sparql/algebra/operator/extend.rb +31 -6
- data/lib/sparql/algebra/operator/filter.rb +27 -5
- data/lib/sparql/algebra/operator/floor.rb +25 -2
- data/lib/sparql/algebra/operator/graph.rb +13 -0
- data/lib/sparql/algebra/operator/greater_than.rb +12 -3
- data/lib/sparql/algebra/operator/greater_than_or_equal.rb +12 -2
- data/lib/sparql/algebra/operator/group.rb +34 -8
- data/lib/sparql/algebra/operator/group_concat.rb +19 -7
- data/lib/sparql/algebra/operator/hours.rb +23 -5
- data/lib/sparql/algebra/operator/if.rb +21 -4
- data/lib/sparql/algebra/operator/in.rb +18 -1
- data/lib/sparql/algebra/operator/insert.rb +22 -2
- data/lib/sparql/algebra/operator/insert_data.rb +23 -2
- data/lib/sparql/algebra/operator/iri.rb +21 -4
- data/lib/sparql/algebra/operator/is_blank.rb +19 -1
- data/lib/sparql/algebra/operator/is_iri.rb +19 -1
- data/lib/sparql/algebra/operator/is_literal.rb +19 -1
- data/lib/sparql/algebra/operator/is_numeric.rb +21 -3
- data/lib/sparql/algebra/operator/is_triple.rb +32 -0
- data/lib/sparql/algebra/operator/join.rb +22 -1
- data/lib/sparql/algebra/operator/lang.rb +25 -0
- data/lib/sparql/algebra/operator/lang_matches.rb +22 -1
- data/lib/sparql/algebra/operator/lcase.rb +23 -2
- data/lib/sparql/algebra/operator/left_join.rb +29 -1
- data/lib/sparql/algebra/operator/less_than.rb +12 -3
- data/lib/sparql/algebra/operator/less_than_or_equal.rb +12 -2
- data/lib/sparql/algebra/operator/load.rb +25 -2
- data/lib/sparql/algebra/operator/max.rb +17 -1
- data/lib/sparql/algebra/operator/md5.rb +22 -5
- data/lib/sparql/algebra/operator/min.rb +18 -2
- data/lib/sparql/algebra/operator/minus.rb +25 -7
- data/lib/sparql/algebra/operator/minutes.rb +23 -5
- data/lib/sparql/algebra/operator/modify.rb +41 -5
- data/lib/sparql/algebra/operator/month.rb +23 -5
- data/lib/sparql/algebra/operator/move.rb +20 -2
- data/lib/sparql/algebra/operator/multiply.rb +26 -3
- data/lib/sparql/algebra/operator/negate.rb +23 -3
- data/lib/sparql/algebra/operator/not.rb +24 -3
- data/lib/sparql/algebra/operator/not_equal.rb +13 -0
- data/lib/sparql/algebra/operator/notexists.rb +30 -6
- data/lib/sparql/algebra/operator/notin.rb +20 -3
- data/lib/sparql/algebra/operator/notoneof.rb +12 -2
- data/lib/sparql/algebra/operator/now.rb +24 -5
- data/lib/sparql/algebra/operator/object.rb +32 -0
- data/lib/sparql/algebra/operator/or.rb +26 -3
- data/lib/sparql/algebra/operator/order.rb +20 -1
- data/lib/sparql/algebra/operator/path.rb +29 -2
- data/lib/sparql/algebra/operator/path_opt.rb +21 -2
- data/lib/sparql/algebra/operator/path_plus.rb +21 -2
- data/lib/sparql/algebra/operator/path_star.rb +20 -2
- data/lib/sparql/algebra/operator/plus.rb +42 -3
- data/lib/sparql/algebra/operator/predicate.rb +32 -0
- data/lib/sparql/algebra/operator/prefix.rb +24 -3
- data/lib/sparql/algebra/operator/project.rb +51 -5
- data/lib/sparql/algebra/operator/rand.rb +30 -2
- data/lib/sparql/algebra/operator/reduced.rb +18 -1
- data/lib/sparql/algebra/operator/regex.rb +26 -18
- data/lib/sparql/algebra/operator/replace.rb +26 -6
- data/lib/sparql/algebra/operator/reverse.rb +20 -2
- data/lib/sparql/algebra/operator/round.rb +25 -2
- data/lib/sparql/algebra/operator/same_term.rb +24 -6
- data/lib/sparql/algebra/operator/sample.rb +30 -8
- data/lib/sparql/algebra/operator/seconds.rb +23 -5
- data/lib/sparql/algebra/operator/seq.rb +20 -2
- data/lib/sparql/algebra/operator/sequence.rb +0 -10
- data/lib/sparql/algebra/operator/sha1.rb +18 -1
- data/lib/sparql/algebra/operator/sha256.rb +18 -1
- data/lib/sparql/algebra/operator/sha384.rb +18 -1
- data/lib/sparql/algebra/operator/sha512.rb +18 -1
- data/lib/sparql/algebra/operator/slice.rb +27 -5
- data/lib/sparql/algebra/operator/str.rb +21 -1
- data/lib/sparql/algebra/operator/strafter.rb +25 -2
- data/lib/sparql/algebra/operator/strbefore.rb +25 -2
- data/lib/sparql/algebra/operator/strdt.rb +22 -1
- data/lib/sparql/algebra/operator/strends.rb +25 -3
- data/lib/sparql/algebra/operator/strlang.rb +25 -6
- data/lib/sparql/algebra/operator/strlen.rb +23 -2
- data/lib/sparql/algebra/operator/strstarts.rb +25 -2
- data/lib/sparql/algebra/operator/struuid.rb +29 -9
- data/lib/sparql/algebra/operator/subject.rb +32 -0
- data/lib/sparql/algebra/operator/substr.rb +23 -2
- data/lib/sparql/algebra/operator/subtract.rb +28 -2
- data/lib/sparql/algebra/operator/sum.rb +17 -1
- data/lib/sparql/algebra/operator/table.rb +42 -4
- data/lib/sparql/algebra/operator/timezone.rb +23 -5
- data/lib/sparql/algebra/operator/tz.rb +22 -5
- data/lib/sparql/algebra/operator/ucase.rb +23 -2
- data/lib/sparql/algebra/operator/union.rb +29 -6
- data/lib/sparql/algebra/operator/update.rb +25 -4
- data/lib/sparql/algebra/operator/using.rb +32 -2
- data/lib/sparql/algebra/operator/uuid.rb +27 -8
- data/lib/sparql/algebra/operator/with.rb +38 -4
- data/lib/sparql/algebra/operator/year.rb +23 -5
- data/lib/sparql/algebra/operator.rb +99 -6
- data/lib/sparql/algebra/sxp_extensions.rb +3 -3
- data/lib/sparql/grammar/parser11.rb +4 -4
- metadata +22 -35
- data/lib/sparql/algebra/operator/triple.rb +0 -27
@@ -6,8 +6,14 @@ module SPARQL; module Algebra
|
|
6
6
|
#
|
7
7
|
# The LOAD operation reads an RDF document from a IRI and inserts its triples into the specified graph in the Graph Store. The specified destination graph should be created if required; again, implementations providing an update service over a fixed set of graphs must return with failure for a request that would create a disallowed graph. If the destination graph already exists, then no data in that graph will be removed.
|
8
8
|
#
|
9
|
-
#
|
10
|
-
#
|
9
|
+
#
|
10
|
+
# [31] Load ::= 'LOAD' 'SILENT'? iri ( 'INTO' GraphRef )?
|
11
|
+
#
|
12
|
+
# @example SPARQL Grammar
|
13
|
+
# LOAD <http://example.org/remote> INTO GRAPH <http://example.org/g> ;
|
14
|
+
#
|
15
|
+
# @example SSE
|
16
|
+
# (update (load <http://example.org/remote> <http://example.org/g>))
|
11
17
|
#
|
12
18
|
# @see https://www.w3.org/TR/sparql11-update/#load
|
13
19
|
class Load < Operator
|
@@ -43,6 +49,23 @@ module SPARQL; module Algebra
|
|
43
49
|
ensure
|
44
50
|
queryable
|
45
51
|
end
|
52
|
+
|
53
|
+
##
|
54
|
+
#
|
55
|
+
# Returns a partial SPARQL grammar for this operator.
|
56
|
+
#
|
57
|
+
# @return [String]
|
58
|
+
def to_sparql(**options)
|
59
|
+
silent = operands.first == :silent
|
60
|
+
ops = silent ? operands[1..-1] : operands
|
61
|
+
location, name = ops
|
62
|
+
|
63
|
+
str = "LOAD "
|
64
|
+
str << "SILENT " if silent
|
65
|
+
str << location.to_sparql(**options)
|
66
|
+
str << " INTO GRAPH " + name.to_sparql(**options) if name
|
67
|
+
str
|
68
|
+
end
|
46
69
|
end # Load
|
47
70
|
end # Operator
|
48
71
|
end; end # SPARQL::Algebra
|
@@ -3,7 +3,14 @@ module SPARQL; module Algebra
|
|
3
3
|
##
|
4
4
|
# The SPARQL `max` set function.
|
5
5
|
#
|
6
|
-
#
|
6
|
+
# [127] Aggregate::= ... | 'MAX' '(' 'DISTINCT'? Expression ')'
|
7
|
+
#
|
8
|
+
# @example SPARQL Grammar
|
9
|
+
# PREFIX : <http://www.example.org/>
|
10
|
+
# SELECT (MAX(?o) AS ?max)
|
11
|
+
# WHERE { ?s ?p ?o }
|
12
|
+
#
|
13
|
+
# @example SSE
|
7
14
|
# (prefix ((: <http://www.example.org/>))
|
8
15
|
# (project (?max)
|
9
16
|
# (extend ((?max ??.0))
|
@@ -42,6 +49,15 @@ module SPARQL; module Algebra
|
|
42
49
|
raise TypeError, "Maximum of non-literals: #{enum.flatten}"
|
43
50
|
end
|
44
51
|
end
|
52
|
+
|
53
|
+
##
|
54
|
+
#
|
55
|
+
# Returns a partial SPARQL grammar for this operator.
|
56
|
+
#
|
57
|
+
# @return [String]
|
58
|
+
def to_sparql(**options)
|
59
|
+
"MAX(" + operands.to_sparql(**options) + ")"
|
60
|
+
end
|
45
61
|
end # Max
|
46
62
|
end # Operator
|
47
63
|
end; end # SPARQL::Algebra
|
@@ -7,11 +7,19 @@ module SPARQL; module Algebra
|
|
7
7
|
#
|
8
8
|
# Returns the MD5 checksum, as a hex digit string, calculated on the UTF-8 representation of the simple literal or lexical form of the `xsd:string`. Hex digits `SHOULD` be in lower case.
|
9
9
|
#
|
10
|
-
#
|
11
|
-
#
|
12
|
-
#
|
13
|
-
#
|
14
|
-
#
|
10
|
+
# [121] BuiltInCall ::= ... | 'MD5' '(' Expression ')'
|
11
|
+
#
|
12
|
+
# @example SPARQL Grammar
|
13
|
+
# PREFIX : <http://example.org/>
|
14
|
+
# SELECT (MD5(?l) AS ?hash) WHERE {
|
15
|
+
# :s1 :str ?l
|
16
|
+
# }
|
17
|
+
#
|
18
|
+
# @example SSE
|
19
|
+
# (prefix ((: <http://example.org/>))
|
20
|
+
# (project (?hash)
|
21
|
+
# (extend ((?hash (md5 ?l)))
|
22
|
+
# (bgp (triple :s1 :str ?l)))))
|
15
23
|
#
|
16
24
|
# @see https://www.w3.org/TR/sparql11-query/#func-md5
|
17
25
|
class MD5 < Operator::Unary
|
@@ -31,6 +39,15 @@ module SPARQL; module Algebra
|
|
31
39
|
raise TypeError, "expected simple literal or xsd:string, but got #{operand.inspect}" unless (operand.datatype || RDF::XSD.string) == RDF::XSD.string
|
32
40
|
RDF::Literal(Digest::MD5.new.hexdigest(operand.to_s))
|
33
41
|
end
|
42
|
+
|
43
|
+
##
|
44
|
+
#
|
45
|
+
# Returns a partial SPARQL grammar for this operator.
|
46
|
+
#
|
47
|
+
# @return [String]
|
48
|
+
def to_sparql(**options)
|
49
|
+
"MD5(" + operands.to_sparql(**options) + ")"
|
50
|
+
end
|
34
51
|
end # MD5
|
35
52
|
end # Operator
|
36
53
|
end; end # SPARQL::Algebra
|
@@ -3,9 +3,16 @@ module SPARQL; module Algebra
|
|
3
3
|
##
|
4
4
|
# The SPARQL `min` set function.
|
5
5
|
#
|
6
|
-
#
|
6
|
+
# [127] Aggregate::= ... | 'MIN' '(' 'DISTINCT'? Expression ')'
|
7
|
+
#
|
8
|
+
# @example SPARQL Grammar
|
9
|
+
# PREFIX : <http://www.example.org/>
|
10
|
+
# SELECT (MIN(?o) AS ?min)
|
11
|
+
# WHERE { ?s :dec ?o }
|
12
|
+
#
|
13
|
+
# @example SSE
|
7
14
|
# (prefix ((: <http://www.example.org/>))
|
8
|
-
# (project (?
|
15
|
+
# (project (?min)
|
9
16
|
# (extend ((?min ??.0))
|
10
17
|
# (group () ((??.0 (min ?o)))
|
11
18
|
# (bgp (triple ?s ?p ?o))))))
|
@@ -42,6 +49,15 @@ module SPARQL; module Algebra
|
|
42
49
|
raise TypeError, "Minumuim of non-literals: #{enum.flatten}"
|
43
50
|
end
|
44
51
|
end
|
52
|
+
|
53
|
+
##
|
54
|
+
#
|
55
|
+
# Returns a partial SPARQL grammar for this operator.
|
56
|
+
#
|
57
|
+
# @return [String]
|
58
|
+
def to_sparql(**options)
|
59
|
+
"MIN(" + operands.to_sparql(**options) + ")"
|
60
|
+
end
|
45
61
|
end # Min
|
46
62
|
end # Operator
|
47
63
|
end; end # SPARQL::Algebra
|
@@ -3,13 +3,16 @@ module SPARQL; module Algebra
|
|
3
3
|
##
|
4
4
|
# The SPARQL GraphPattern `minus` operator.
|
5
5
|
#
|
6
|
-
#
|
7
|
-
#
|
8
|
-
#
|
9
|
-
#
|
10
|
-
#
|
11
|
-
#
|
12
|
-
#
|
6
|
+
# [66] MinusGraphPattern ::= 'MINUS' GroupGraphPattern
|
7
|
+
#
|
8
|
+
# @example SPARQL Grammar
|
9
|
+
# SELECT * { ?s ?p ?o MINUS { ?s ?q ?v } }
|
10
|
+
#
|
11
|
+
# @example SSE
|
12
|
+
# (minus
|
13
|
+
# (bgp
|
14
|
+
# (triple ?s ?p ?o))
|
15
|
+
# (bgp (triple ?s ?q ?v)))
|
13
16
|
#
|
14
17
|
# @see https://www.w3.org/TR/xpath-functions/#func-numeric-unary-minus
|
15
18
|
# @see https://www.w3.org/TR/sparql11-query/#sparqlAlgebra
|
@@ -66,6 +69,21 @@ module SPARQL; module Algebra
|
|
66
69
|
@operands = ops
|
67
70
|
self
|
68
71
|
end
|
72
|
+
|
73
|
+
##
|
74
|
+
#
|
75
|
+
# Returns a partial SPARQL grammar for this operator.
|
76
|
+
#
|
77
|
+
# @param [Boolean] top_level (true)
|
78
|
+
# Treat this as a top-level, generating SELECT ... WHERE {}
|
79
|
+
# @return [String]
|
80
|
+
def to_sparql(top_level: true, **options)
|
81
|
+
str = operands.first.to_sparql(top_level: false, **options) + "\n"
|
82
|
+
str << "MINUS {\n"
|
83
|
+
str << operands.last.to_sparql(top_level: false, **options)
|
84
|
+
str << "\n}"
|
85
|
+
top_level ? Operator.to_sparql(str, **options) : str
|
86
|
+
end
|
69
87
|
end # Minus
|
70
88
|
end # Operator
|
71
89
|
end; end # SPARQL::Algebra
|
@@ -5,11 +5,20 @@ module SPARQL; module Algebra
|
|
5
5
|
#
|
6
6
|
# Returns the minutes part of the lexical form of `arg`. The value is as given in the lexical form of the XSD dateTime.
|
7
7
|
#
|
8
|
-
#
|
9
|
-
#
|
10
|
-
#
|
11
|
-
#
|
12
|
-
#
|
8
|
+
# [121] BuiltInCall ::= ... | 'MINUTES' '(' Expression ')'
|
9
|
+
#
|
10
|
+
# @example SPARQL Grammar
|
11
|
+
# PREFIX : <http://example.org/>
|
12
|
+
# SELECT ?s (MINUTES(?date) AS ?x) WHERE {
|
13
|
+
# ?s :date ?date
|
14
|
+
# }
|
15
|
+
#
|
16
|
+
# @example SSE
|
17
|
+
# (prefix
|
18
|
+
# ((: <http://example.org/>))
|
19
|
+
# (project (?s ?x)
|
20
|
+
# (extend ((?x (minutes ?date)))
|
21
|
+
# (bgp (triple ?s :date ?date)))))
|
13
22
|
#
|
14
23
|
# @see https://www.w3.org/TR/sparql11-query/#func-minutes
|
15
24
|
class Minutes < Operator::Unary
|
@@ -28,6 +37,15 @@ module SPARQL; module Algebra
|
|
28
37
|
raise TypeError, "expected an RDF::Literal::DateTime, but got #{operand.inspect}" unless operand.is_a?(RDF::Literal::DateTime)
|
29
38
|
RDF::Literal(operand.object.minute)
|
30
39
|
end
|
40
|
+
|
41
|
+
##
|
42
|
+
#
|
43
|
+
# Returns a partial SPARQL grammar for this operator.
|
44
|
+
#
|
45
|
+
# @return [String]
|
46
|
+
def to_sparql(**options)
|
47
|
+
"MINUTES(#{operands.last.to_sparql(**options)})"
|
48
|
+
end
|
31
49
|
end # Minutes
|
32
50
|
end # Operator
|
33
51
|
end; end # SPARQL::Algebra
|
@@ -6,11 +6,23 @@ module SPARQL; module Algebra
|
|
6
6
|
#
|
7
7
|
# Wraps delete/insert
|
8
8
|
#
|
9
|
-
#
|
10
|
-
#
|
11
|
-
#
|
12
|
-
#
|
13
|
-
#
|
9
|
+
# [41] Modify ::= ( 'WITH' iri )? ( DeleteClause InsertClause? | InsertClause ) UsingClause* 'WHERE' GroupGraphPattern
|
10
|
+
#
|
11
|
+
# @example SPARQL Grammar
|
12
|
+
# PREFIX : <http://example.org/>
|
13
|
+
# PREFIX foaf: <http://xmlns.com/foaf/0.1/>
|
14
|
+
# DELETE { ?a foaf:knows ?b }
|
15
|
+
# INSERT { ?b foaf:knows ?a }
|
16
|
+
# WHERE { ?a foaf:knows ?b }
|
17
|
+
#
|
18
|
+
# @example SSE
|
19
|
+
# (prefix ((: <http://example.org/>)
|
20
|
+
# (foaf: <http://xmlns.com/foaf/0.1/>))
|
21
|
+
# (update
|
22
|
+
# (modify
|
23
|
+
# (bgp (triple ?a foaf:knows ?b))
|
24
|
+
# (delete ((triple ?a foaf:knows ?b)))
|
25
|
+
# (insert ((triple ?b foaf:knows ?a)))) ))
|
14
26
|
#
|
15
27
|
# @see XXX
|
16
28
|
class Modify < Operator
|
@@ -48,6 +60,30 @@ module SPARQL; module Algebra
|
|
48
60
|
end
|
49
61
|
queryable
|
50
62
|
end
|
63
|
+
|
64
|
+
##
|
65
|
+
#
|
66
|
+
# Returns a partial SPARQL grammar for this operator.
|
67
|
+
#
|
68
|
+
# @return [String]
|
69
|
+
def to_sparql(**options)
|
70
|
+
if operands.first.is_a?(With)
|
71
|
+
operands.first.to_sparql(**options)
|
72
|
+
else
|
73
|
+
# The content of the WHERE clause, may be USING
|
74
|
+
content = operands.first.to_sparql(top_level: false, **options)
|
75
|
+
|
76
|
+
# DELETE | INSERT | DELETE INSERT
|
77
|
+
str = operands[1..-1].to_sparql(top_level: false, delimiter: "\n", **options) + "\n"
|
78
|
+
|
79
|
+
# Append the WHERE or USING clause
|
80
|
+
str << if operands.first.is_a?(Using)
|
81
|
+
content
|
82
|
+
else
|
83
|
+
Operator.to_sparql(content, project: nil, **options)
|
84
|
+
end
|
85
|
+
end
|
86
|
+
end
|
51
87
|
end # Modify
|
52
88
|
end # Operator
|
53
89
|
end; end # SPARQL::Algebra
|
@@ -5,11 +5,20 @@ module SPARQL; module Algebra
|
|
5
5
|
#
|
6
6
|
# Returns the month part of `arg` as an integer.
|
7
7
|
#
|
8
|
-
#
|
9
|
-
#
|
10
|
-
#
|
11
|
-
#
|
12
|
-
#
|
8
|
+
# [121] BuiltInCall ::= ... | 'MONTH' '(' Expression ')'
|
9
|
+
#
|
10
|
+
# @example SPARQL Grammar
|
11
|
+
# PREFIX : <http://example.org/>
|
12
|
+
# SELECT ?s (MONTH(?date) AS ?x) WHERE {
|
13
|
+
# ?s :date ?date
|
14
|
+
# }
|
15
|
+
#
|
16
|
+
# @example SSE
|
17
|
+
# (prefix
|
18
|
+
# ((: <http://example.org/>))
|
19
|
+
# (project (?s ?x)
|
20
|
+
# (extend ((?x (month ?date)))
|
21
|
+
# (bgp (triple ?s :date ?date)))))
|
13
22
|
#
|
14
23
|
# @see https://www.w3.org/TR/sparql11-query/#func-month
|
15
24
|
class Month < Operator::Unary
|
@@ -28,6 +37,15 @@ module SPARQL; module Algebra
|
|
28
37
|
raise TypeError, "expected an RDF::Literal::DateTime, but got #{operand.inspect}" unless operand.is_a?(RDF::Literal::DateTime)
|
29
38
|
RDF::Literal(operand.object.month)
|
30
39
|
end
|
40
|
+
|
41
|
+
##
|
42
|
+
#
|
43
|
+
# Returns a partial SPARQL grammar for this operator.
|
44
|
+
#
|
45
|
+
# @return [String]
|
46
|
+
def to_sparql(**options)
|
47
|
+
"MONTH(#{operands.last.to_sparql(**options)})"
|
48
|
+
end
|
31
49
|
end # Month
|
32
50
|
end # Operator
|
33
51
|
end; end # SPARQL::Algebra
|
@@ -6,8 +6,14 @@ module SPARQL; module Algebra
|
|
6
6
|
#
|
7
7
|
# The MOVE operation is a shortcut for moving all data from an input graph into a destination graph. The input graph is removed after insertion and data from the destination graph, if any, is removed before insertion.
|
8
8
|
#
|
9
|
-
#
|
10
|
-
#
|
9
|
+
# [36] Move ::= 'MOVE' 'SILENT'? GraphOrDefault 'TO' GraphOrDefault
|
10
|
+
#
|
11
|
+
# @example SPARQL Grammar
|
12
|
+
# MOVE SILENT GRAPH <http://www.example.com/g1> TO DEFAULT
|
13
|
+
#
|
14
|
+
# @example SSE
|
15
|
+
# (update
|
16
|
+
# (move silent <http://www.example.com/g1> default))
|
11
17
|
#
|
12
18
|
# @see https://www.w3.org/TR/sparql11-update/#move
|
13
19
|
class Move < Operator
|
@@ -62,6 +68,18 @@ module SPARQL; module Algebra
|
|
62
68
|
end
|
63
69
|
queryable
|
64
70
|
end
|
71
|
+
|
72
|
+
##
|
73
|
+
#
|
74
|
+
# Returns a partial SPARQL grammar for this operator.
|
75
|
+
#
|
76
|
+
# @return [String]
|
77
|
+
def to_sparql(**options)
|
78
|
+
*args, last = operands.dup
|
79
|
+
args += [:TO, last]
|
80
|
+
|
81
|
+
"MOVE " + args.to_sparql(**options)
|
82
|
+
end
|
65
83
|
end # Move
|
66
84
|
end # Operator
|
67
85
|
end; end # SPARQL::Algebra
|
@@ -3,9 +3,23 @@ module SPARQL; module Algebra
|
|
3
3
|
##
|
4
4
|
# The SPARQL numeric `multiply` operator.
|
5
5
|
#
|
6
|
-
#
|
7
|
-
#
|
8
|
-
#
|
6
|
+
# [117] MultiplicativeExpression::= UnaryExpression ( '*' UnaryExpression | '/' UnaryExpression )*
|
7
|
+
#
|
8
|
+
# @example SPARQL Grammar
|
9
|
+
# PREFIX : <http://example.org/>
|
10
|
+
# SELECT ?s WHERE {
|
11
|
+
# ?s :p ?o .
|
12
|
+
# ?s2 :p ?o2 .
|
13
|
+
# FILTER(?o * ?o2 = 4) .
|
14
|
+
# }
|
15
|
+
#
|
16
|
+
# @example SSE
|
17
|
+
# (prefix ((: <http://example.org/>))
|
18
|
+
# (project (?s)
|
19
|
+
# (filter (= (* ?o ?o2) 4)
|
20
|
+
# (bgp
|
21
|
+
# (triple ?s :p ?o)
|
22
|
+
# (triple ?s2 :p ?o2)))))
|
9
23
|
#
|
10
24
|
# @see https://www.w3.org/TR/xpath-functions/#func-numeric-multiply
|
11
25
|
class Multiply < Operator::Binary
|
@@ -29,6 +43,15 @@ module SPARQL; module Algebra
|
|
29
43
|
else raise TypeError, "expected two RDF::Literal::Numeric operands, but got #{left.inspect} and #{right.inspect}"
|
30
44
|
end
|
31
45
|
end
|
46
|
+
|
47
|
+
##
|
48
|
+
#
|
49
|
+
# Returns a partial SPARQL grammar for this operator.
|
50
|
+
#
|
51
|
+
# @return [String]
|
52
|
+
def to_sparql(**options)
|
53
|
+
"#{operands.first.to_sparql(**options)} * #{operands.last.to_sparql(**options)}"
|
54
|
+
end
|
32
55
|
end # Multiply
|
33
56
|
end # Operator
|
34
57
|
end; end # SPARQL::Algebra
|
@@ -3,9 +3,20 @@ module SPARQL; module Algebra
|
|
3
3
|
##
|
4
4
|
# The SPARQL numeric unary `-` (negation) operator.
|
5
5
|
#
|
6
|
-
#
|
7
|
-
#
|
8
|
-
#
|
6
|
+
# [118] UnaryExpression ::= ... | '-' PrimaryExpression
|
7
|
+
#
|
8
|
+
# @example SPARQL Grammar
|
9
|
+
# PREFIX : <http://example.org/>
|
10
|
+
# SELECT ?s WHERE {
|
11
|
+
# ?s :p ?o .
|
12
|
+
# FILTER(-?o = -2) .
|
13
|
+
# }
|
14
|
+
#
|
15
|
+
# @example SSE
|
16
|
+
# (prefix ((: <http://example.org/>))
|
17
|
+
# (project (?s)
|
18
|
+
# (filter (= (- ?o) -2)
|
19
|
+
# (bgp (triple ?s :p ?o)))))
|
9
20
|
#
|
10
21
|
# @see https://www.w3.org/TR/xpath-functions/#func-numeric-unary-minus
|
11
22
|
class Negate < Operator::Unary
|
@@ -26,6 +37,15 @@ module SPARQL; module Algebra
|
|
26
37
|
else raise TypeError, "expected an RDF::Literal::Numeric, but got #{term.inspect}"
|
27
38
|
end
|
28
39
|
end
|
40
|
+
|
41
|
+
##
|
42
|
+
#
|
43
|
+
# Returns a partial SPARQL grammar for this operator.
|
44
|
+
#
|
45
|
+
# @return [String]
|
46
|
+
def to_sparql(**options)
|
47
|
+
"(-#{operands.to_sparql(**options)})"
|
48
|
+
end
|
29
49
|
end # Negate
|
30
50
|
end # Operator
|
31
51
|
end; end # SPARQL::Algebra
|
@@ -3,9 +3,21 @@ module SPARQL; module Algebra
|
|
3
3
|
##
|
4
4
|
# The SPARQL logical `not` operator.
|
5
5
|
#
|
6
|
-
#
|
7
|
-
#
|
8
|
-
#
|
6
|
+
# [118] UnaryExpression ::= ... | '!' PrimaryExpression
|
7
|
+
#
|
8
|
+
# @example SPARQL Grammar
|
9
|
+
# PREFIX : <http://example.org/ns#>
|
10
|
+
# SELECT ?a
|
11
|
+
# WHERE {
|
12
|
+
# ?a :p ?v .
|
13
|
+
# FILTER ( ! ?v ) .
|
14
|
+
# }
|
15
|
+
#
|
16
|
+
# @example SSE
|
17
|
+
# (prefix ((: <http://example.org/ns#>))
|
18
|
+
# (project (?a)
|
19
|
+
# (filter (! ?v)
|
20
|
+
# (bgp (triple ?a :p ?v)))))
|
9
21
|
#
|
10
22
|
# @see https://www.w3.org/TR/xpath-functions/#func-not
|
11
23
|
class Not < Operator::Unary
|
@@ -30,6 +42,15 @@ module SPARQL; module Algebra
|
|
30
42
|
else super
|
31
43
|
end
|
32
44
|
end
|
45
|
+
|
46
|
+
##
|
47
|
+
#
|
48
|
+
# Returns a partial SPARQL grammar for this operator.
|
49
|
+
#
|
50
|
+
# @return [String]
|
51
|
+
def to_sparql(**options)
|
52
|
+
"(!" + operands.first.to_sparql(**options) + ")"
|
53
|
+
end
|
33
54
|
end # Not
|
34
55
|
end # Operator
|
35
56
|
end; end # SPARQL::Algebra
|
@@ -3,6 +3,19 @@ module SPARQL; module Algebra
|
|
3
3
|
##
|
4
4
|
# The SPARQL relational `!=` (not equal) comparison operator.
|
5
5
|
#
|
6
|
+
# [114] RelationalExpression ::= NumericExpression ('!=' NumericExpression)?
|
7
|
+
#
|
8
|
+
# @example SPARQL Grammar
|
9
|
+
# PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
|
10
|
+
# PREFIX : <http://example.org/things#>
|
11
|
+
# SELECT ?x
|
12
|
+
# WHERE { ?x :p ?v . FILTER ( ?v != 1 ) }
|
13
|
+
#
|
14
|
+
# @example SSE
|
15
|
+
# (prefix
|
16
|
+
# ((xsd: <http://www.w3.org/2001/XMLSchema#>) (: <http://example.org/things#>))
|
17
|
+
# (project (?x) (filter (!= ?v 1) (bgp (triple ?x :p ?v)))))
|
18
|
+
#
|
6
19
|
# @see https://www.w3.org/TR/sparql11-query/#OperatorMapping
|
7
20
|
# @see https://www.w3.org/TR/sparql11-query/#func-RDFterm-equal
|
8
21
|
class NotEqual < Equal
|
@@ -5,12 +5,23 @@ module SPARQL; module Algebra
|
|
5
5
|
#
|
6
6
|
# There is a filter operator EXISTS that takes a graph pattern. EXISTS returns `true`/`false` depending on whether the pattern matches the dataset given the bindings in the current group graph pattern, the dataset and the active graph at this point in the query evaluation. No additional binding of variables occurs. The `NOT EXISTS` form translates into `fn:not(EXISTS{...})`.
|
7
7
|
#
|
8
|
-
#
|
9
|
-
#
|
10
|
-
#
|
11
|
-
#
|
12
|
-
#
|
13
|
-
#
|
8
|
+
# [126] NotExistsFunc ::= 'NOT' 'EXISTS' GroupGraphPattern
|
9
|
+
#
|
10
|
+
# @example SPARQL Grammar
|
11
|
+
# PREFIX ex: <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation#>
|
12
|
+
# SELECT ?animal {
|
13
|
+
# ?animal a ex:Animal
|
14
|
+
# FILTER NOT EXISTS { ?animal a ex:Insect }
|
15
|
+
# }
|
16
|
+
#
|
17
|
+
# @example SSE
|
18
|
+
# (prefix
|
19
|
+
# ((ex: <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation#>))
|
20
|
+
# (project (?animal)
|
21
|
+
# (filter
|
22
|
+
# (notexists
|
23
|
+
# (bgp (triple ?animal a ex:Insect)))
|
24
|
+
# (bgp (triple ?animal a ex:Animal)))) )
|
14
25
|
#
|
15
26
|
# @see https://www.w3.org/TR/sparql11-query/#func-abs
|
16
27
|
# @see https://www.w3.org/TR/xpath-functions/#func-abs
|
@@ -34,6 +45,19 @@ module SPARQL; module Algebra
|
|
34
45
|
queryable = options[:queryable]
|
35
46
|
operand(0).execute(queryable, solutions: solutions, **options).empty?
|
36
47
|
end
|
48
|
+
|
49
|
+
##
|
50
|
+
#
|
51
|
+
# Returns a partial SPARQL grammar for this operator.
|
52
|
+
#
|
53
|
+
# @param [Boolean] top_level (true)
|
54
|
+
# Treat this as a top-level, generating SELECT ... WHERE {}
|
55
|
+
# @return [String]
|
56
|
+
def to_sparql(top_level: true, **options)
|
57
|
+
"NOT EXISTS {\n" +
|
58
|
+
operands.last.to_sparql(top_level: false, **options) +
|
59
|
+
"\n}"
|
60
|
+
end
|
37
61
|
end # NotExists
|
38
62
|
end # Operator
|
39
63
|
end; end # SPARQL::Algebra
|
@@ -5,8 +5,13 @@ module SPARQL; module Algebra
|
|
5
5
|
#
|
6
6
|
# Used for filters with more than one expression.
|
7
7
|
#
|
8
|
-
#
|
9
|
-
#
|
8
|
+
# [114] RelationalExpression ::= NumericExpression ('NOT' 'IN' ExpressionList)?
|
9
|
+
#
|
10
|
+
# @example SPARQL Grammar
|
11
|
+
# ASK { FILTER(2 NOT IN ()) }
|
12
|
+
#
|
13
|
+
# @example SSE
|
14
|
+
# (ask (filter (notin 2) (bgp)))
|
10
15
|
#
|
11
16
|
# @see https://www.w3.org/TR/sparql11-query/#func-notin
|
12
17
|
class NotIn < Operator
|
@@ -58,6 +63,18 @@ module SPARQL; module Algebra
|
|
58
63
|
else RDF::Literal::TRUE
|
59
64
|
end
|
60
65
|
end
|
61
|
-
|
66
|
+
|
67
|
+
##
|
68
|
+
#
|
69
|
+
# Returns a partial SPARQL grammar for this operator.
|
70
|
+
#
|
71
|
+
# @return [String]
|
72
|
+
def to_sparql(**options)
|
73
|
+
"(" + operands.first.to_sparql(**options) +
|
74
|
+
" NOT IN (" +
|
75
|
+
operands[1..-1].map {|e| e.to_sparql(**options)}.join(", ") +
|
76
|
+
"))"
|
77
|
+
end
|
78
|
+
end # NotIn
|
62
79
|
end # Operator
|
63
80
|
end; end # SPARQL::Algebra
|
@@ -3,8 +3,18 @@ module SPARQL; module Algebra
|
|
3
3
|
##
|
4
4
|
# The SPARQL Property Path `notoneof` (NegatedPropertySet) operator.
|
5
5
|
#
|
6
|
-
#
|
7
|
-
#
|
6
|
+
# [96] PathOneInPropertySet ::= iri | 'a' | '^' ( iri | 'a' )
|
7
|
+
#
|
8
|
+
# @example SPARQL Grammar
|
9
|
+
# PREFIX ex: <http://www.example.org/schema#>
|
10
|
+
# PREFIX in: <http://www.example.org/instance#>
|
11
|
+
# ASK { in:b ^ex:p in:a }
|
12
|
+
#
|
13
|
+
# @example SSE
|
14
|
+
# (prefix ((ex: <http://www.example.org/schema#>)
|
15
|
+
# (in: <http://www.example.org/instance#>))
|
16
|
+
# (ask
|
17
|
+
# (path in:b (reverse ex:p) in:a)))
|
8
18
|
#
|
9
19
|
# @see https://www.w3.org/TR/sparql11-query/#eval_negatedPropertySet
|
10
20
|
class NotOneOf < Operator
|
@@ -7,11 +7,21 @@ module SPARQL; module Algebra
|
|
7
7
|
#
|
8
8
|
# Returns an XSD dateTime value for the current query execution. All calls to this function in any one query execution must return the same value. The exact moment returned is not specified.
|
9
9
|
#
|
10
|
-
#
|
11
|
-
#
|
12
|
-
#
|
13
|
-
#
|
14
|
-
#
|
10
|
+
# [121] BuiltInCall ::= ... | 'NOW' NIL
|
11
|
+
#
|
12
|
+
# @example SPARQL Grammar
|
13
|
+
# PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
|
14
|
+
# ASK {
|
15
|
+
# BIND(NOW() AS ?n)
|
16
|
+
# FILTER(DATATYPE(?n) = xsd:dateTime)
|
17
|
+
# }
|
18
|
+
#
|
19
|
+
# @example SSE
|
20
|
+
# (prefix ((xsd: <http://www.w3.org/2001/XMLSchema#>))
|
21
|
+
# (ask
|
22
|
+
# (filter (= (datatype ?n) xsd:dateTime)
|
23
|
+
# (extend ((?n (now)))
|
24
|
+
# (bgp)))))
|
15
25
|
#
|
16
26
|
# @see https://www.w3.org/TR/sparql11-query/#func-now
|
17
27
|
class Now < Operator::Nullary
|
@@ -26,6 +36,15 @@ module SPARQL; module Algebra
|
|
26
36
|
def apply(**options)
|
27
37
|
RDF::Literal(DateTime.now)
|
28
38
|
end
|
39
|
+
|
40
|
+
##
|
41
|
+
#
|
42
|
+
# Returns a partial SPARQL grammar for this operator.
|
43
|
+
#
|
44
|
+
# @return [String]
|
45
|
+
def to_sparql(**options)
|
46
|
+
"NOW()"
|
47
|
+
end
|
29
48
|
end # Now
|
30
49
|
end # Operator
|
31
50
|
end; end # SPARQL::Algebra
|