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