<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ns0="http://www.w3.org/2000/10/swap/log#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
<owl:ObjectProperty rdf:about="http://www.w3.org/2000/10/swap/log#conclusion">
<rdfs:comment>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.
</rdfs:comment>
<rdfs:label>conclusion</rdfs:label>
<rdfs:domain rdf:resource="http://www.w3.org/2000/10/swap/log#Formula"/>
<rdfs:range rdf:resource="http://www.w3.org/2000/10/swap/log#Formula"/>
</owl:ObjectProperty>
</rdf:RDF>
<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ns0="http://www.w3.org/2000/10/swap/log#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
<owl:ObjectProperty rdf:about="http://www.w3.org/2000/10/swap/log#conclusion">
<rdfs:comment>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.
</rdfs:comment>
<rdfs:label>conclusion</rdfs:label>
<rdfs:domain rdf:resource="http://www.w3.org/2000/10/swap/log#Formula"/>
<rdfs:range rdf:resource="http://www.w3.org/2000/10/swap/log#Formula"/>
</owl:ObjectProperty>
</rdf:RDF>