Resolve
RDF Terms
Data based on @zazuko/vocabularies
Defined by
log:
Click to Copy
log:conclusion
Click to Copy
http://www.w3.org/2000/10/swap/log#conclusion
Namespace
Recommended prefix
Copy 'PREFIX log: <http://www.w3.org/2000/10/swap/log#>'
lang:""
conclusion
lang:""
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.