Class: RDF::N3::Algebra::Log::Includes
 Inherits:

SPARQL::Algebra::Operator::Binary
 Object
 SPARQL::Algebra::Operator
 SPARQL::Algebra::Operator::Binary
 RDF::N3::Algebra::Log::Includes
 Defined in:
 vendor/bundler/ruby/2.6.0/bundler/gems/rdfn3015ce184efe3/lib/rdf/n3/algebra/log/includes.rb
Overview
The subject formula includes the object formula.
Formula A includes formula B if there exists some substitution which when applied to B creates a formula B' such that for every statement in B' is also in A, every variable universally (or existentially) quantified in B' is quantified in the same way in A.
Variable substitution is applied recursively to nested compound terms such as formulae, lists and sets.
(Understood natively by cwm when in in the antecedent of a rule. You can use this to peer inside nested formulae.)
Constant Summary collapse
 NAME =
:logIncludes
Constants inherited from SPARQL::Algebra::Operator::Binary
SPARQL::Algebra::Operator::Binary::ARITY
Constants inherited from SPARQL::Algebra::Operator
SPARQL::Algebra::Operator::ARITY, SPARQL::Algebra::Operator::IsURI, SPARQL::Algebra::Operator::URI
Instance Attribute Summary
Attributes inherited from SPARQL::Algebra::Operator
Method Summary
Methods inherited from SPARQL::Algebra::Operator::Binary
Methods inherited from SPARQL::Algebra::Operator
#aggregate?, arity, #base_uri, base_uri, base_uri=, #boolean, #constant?, #each_descendant, #eql?, #evaluatable?, evaluate, #executable?, #first_ancestor, for, #initialize, #inspect, #ndvars, #node?, #operand, #optimize, #parent, #parent=, prefixes, #prefixes, prefixes=, #rewrite, #to_binary, #to_sxp, #to_sxp_bin, #validate!, #variable?, #vars
Methods included from SPARQL::Algebra::Expression
cast, #constant?, #evaluate, extension, extensions, for, #invalid?, new, #node?, open, #optimize, parse, register_extension, #to_sxp_bin, #valid?, #validate!, #variable?
Constructor Details
This class inherits a constructor from SPARQL::Algebra::Operator::Binary