<http://www.w3.org/2000/10/swap/log#conclusion> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> . <http://www.w3.org/2000/10/swap/log#conclusion> <http://www.w3.org/2000/01/rdf-schema#comment> "All possible conclusions which can be drawn from a formula.\n\nThe object of this function, a formula, is the set of conclusions which can be\ndrawn from the subject formula, by successively applying any\nrules it contains to the data it contains. This is equivalent to\ncwm's \"--think\" command line function. It does use built-ins, so\nit may for example indirectly invoke other documents, validate\nsignatures, etc.\n" . <http://www.w3.org/2000/10/swap/log#conclusion> <http://www.w3.org/2000/01/rdf-schema#label> "conclusion" . <http://www.w3.org/2000/10/swap/log#conclusion> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.w3.org/2000/10/swap/log#Formula> . <http://www.w3.org/2000/10/swap/log#conclusion> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2000/10/swap/log#Formula> .