Class: RDF::N3::Algebra::Log::NotIncludes

Inherits:
Includes show all
Defined in:
lib/rdf/n3/algebra/log/not_includes.rb

Overview

The object formula is NOT a subset of subject. True iff log:includes is false. The converse of log:includes. (Understood natively by cwm. The subject formula may contain variables.)

(In cwm, variables must of course end up getting bound before the log:include test can be done, or an infinite result set would result)

Related: See includes

Constant Summary collapse

NAME =
:logNotIncludes
URI =
RDF::N3::Log.notIncludes

Instance Attribute Summary

Attributes included from Enumerable

#existentials, #universals

Instance Method Summary collapse

Methods inherited from Includes

#apply, #input_operand, #resolve

Methods inherited from ResourceOperator

#as_literal, #input_operand, #resolve, #valid?

Methods included from Builtin

#each, #evaluate, #hash, #input_operand, #rank, #to_uri

Instance Method Details

#execute(queryable, solutions:, **options) ⇒ RDF::Solutions

Uses log:includes and returns a solution if log:includes fails

Parameters:

  • queryable (RDF::Queryable)

    the graph or repository to query

  • options (Hash{Symbol => Object})

    any additional keyword options

Options Hash (**options):

  • solutions (RDF::Query::Solutions)

    optional initial solutions for chained queries

Returns:

  • (RDF::Solutions)

    distinct solutions



23
24
25
# File 'lib/rdf/n3/algebra/log/not_includes.rb', line 23

def execute(queryable, solutions:, **options)
  super.empty? ? RDF::Query::Solutions(RDF::Query::Solution.new) : RDF::Query::Solutions.new
end