class RDF::Statement

Public Class Methods

add_entailment(method, proc) click to toggle source

Add an entailment method. The method accepts no arguments, and returns or yields an array of values associated with the particular entailment method @param [Symbol] method @param [Proc] proc

# File lib/rdf/reasoner/extensions.rb, line 123
def add_entailment(method, proc)
  @@entailments[method] = proc
end

Public Instance Methods

entail(method, &block) click to toggle source

Perform an entailment on this term.

@param [Symbol] method A registered entailment method @yield term @yieldparam [Term] term @return [Array<Term>]

# File lib/rdf/reasoner/extensions.rb, line 135
def entail(method, &block)
  self.send(@@entailments.fetch(method), &block)
end