Contents

module RDF::N3::Algebra::Log
  ##
  # All possible conclusions which can be drawn from a formula.
  #
  # The object of this function, a formula, is the set of conclusions which can be drawn from the subject formula, by successively applying any rules it contains to the data it contains. This is equivalent to cwm's "--think" command line function.  It does use built-ins, so it may for example indirectly invoke other documents, validate signatures, etc.
  class Conclusion < SPARQL::Algebra::Operator::Binary
    NAME = :logConclusion
  end
end

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
rdf-n3-3.1.1	lib/rdf/n3/algebra/log/conclusion.rb
rdf-n3-3.1.0	lib/rdf/n3/algebra/log/conclusion.rb