Class: SPARQL::Algebra::Operator::NotExists

Inherits:

Operator::Unary

• Object
• Operator::Unary
• SPARQL::Algebra::Operator::NotExists

Includes:

Evaluatable

Defined in:

lib/sparql/algebra/operator/notexists.rb

Overview

The SPARQL logical exists operator.

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{...}).

[126] NotExistsFunc ::= 'NOT' 'EXISTS' GroupGraphPattern

Examples:

SPARQL Grammar

PREFIX ex: <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation#>
SELECT ?animal { 
  ?animal a ex:Animal 
  FILTER NOT EXISTS { ?animal a ex:Insect } 
}

SSE

(prefix
 ((ex: <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/negation#>))
 (project (?animal)
  (filter
   (notexists
    (bgp (triple ?animal a ex:Insect)))
   (bgp (triple ?animal a ex:Animal)))) )

See Also:

• https://www.w3.org/TR/sparql11-query/#func-abs
• https://www.w3.org/TR/xpath-functions/#func-abs

Constant Summary

NAME =

[:notexists]

Instance Method Summary

• #evaluate(bindings, **options) ⇒ RDF::Literal::Boolean

  Exvaluating this operator executes the query in the first operator passing in each existing bindings.

• #to_sparql(top_level: true, **options) ⇒ String

  Returns a partial SPARQL grammar for this operator.

Methods included from Evaluatable

#apply, #memoize, #replace_aggregate!, #replace_vars!

Instance Method Details

#evaluate(bindings, **options) ⇒ RDF::Literal::Boolean

Exvaluating this operator executes the query in the first operator passing in each existing bindings.

Parameters:

• bindings (RDF::Query::Solution) —

  a query solution containing zero or more variable bindings

• options (Hash{Symbol => Object}) —

  ({}) options passed from query

• options[RDF::Queryable] (Hash) —

  a customizable set of options

Returns:

• (RDF::Literal::Boolean) —

  true or false

# File 'lib/sparql/algebra/operator/notexists.rb', line 43

def evaluate(bindings, **options)
  solutions = RDF::Query::Solutions(bindings)
  queryable = options[:queryable]
  operand(0).execute(queryable, solutions: solutions, **options).empty?
end

#to_sparql(top_level: true, **options) ⇒ String

Returns a partial SPARQL grammar for this operator.

Parameters:

• top_level (Boolean) (defaults to: true) —

  (true) Treat this as a top-level, generating SELECT ... WHERE {}

Returns:

• (String)

# File 'lib/sparql/algebra/operator/notexists.rb', line 56

def to_sparql(top_level: true, **options)
  "NOT EXISTS {\n" +
    operands.last.to_sparql(top_level: false, **options) +
    "\n}"
end