Matches in LOV for { <http://www.w3.org/2000/10/swap/log#conclusion> ?p ?o. }
Showing items 1 to 5 of
5
with 100 items per page.
- conclusion type Property.
- conclusion 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".
- conclusion domain Formula.
- conclusion label "conclusion".
- conclusion range Formula.