W3C home > Mailing lists > Public > public-cwm-talk@w3.org > July to September 2006

making derivations from given rules

From: <jos.deroo@agfa.com>
Date: Mon, 17 Jul 2006 02:52:05 +0200
To: public-cwm-talk@w3.org
Message-ID: <OFAB790A5C.7E30F5E6-ONC12571AE.0000E9C6-C12571AE.0004B281@agfa.com>
GIVEN
#####################################################
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/testLF#>.

{?P :needs :Test; :testSeverity ?X. ?X math:lessThan 50} => {?P :needs 
:NormalTreatment}.
{?P :needs :Test; :testSeverity ?X. ?X math:notLessThan 50} => {?P :needs 
:SpecialTreatment}.

{?C => {?P :needs ?S}. ?C log:includes {?P :needs ?X}} => {?X :choose ?S}.
#####################################################


QUERY
#####################################################
@prefix : <http://www.agfa.com/w3c/euler/testLF#>.

{?U :choose ?V} => {?U :choose ?V}.
#####################################################


ANSWER
#####################################################
:Test :choose :NormalTreatment.
:Test :choose :SpecialTreatment.
#####################################################


and is what I get with euler5; in a more elaborate test case
cwm was also giving such derivation, but not in this case..
only when making GIVEN like

#####################################################
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/testLF#>.

{?P :needs :Test; :testSeverity ?X. ?X math:lessThan 50} => {?P :needs 
:NormalTreatment}.
{?P :needs :Test; :testSeverity ?X. ?X math:notLessThan 50} => {?P :needs 
:SpecialTreatment}.

{?P :needs ?S} => {?P :requires ?S}.
{?C => {?P :needs ?S}. ?C log:includes {?P :needs ?X}} => {?X :choose ?S}.
#####################################################


cwm answered with

#####################################################
     @prefix : <http://www.agfa.com/w3c/euler/testLF#> .
 
    :Test     :choose :NormalTreatment,
                :SpecialTreatment .
#####################################################


Now I see that GIVEN

#####################################################
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/testLF#>.

{?P :needs :Test; :testSeverity ?X. ?X math:lessThan 50} => {?P :needs 
:NormalTreatment}.
{?P :needs :Test; :testSeverity ?X. ?X math:notLessThan 50} => {?P :needs 
:SpecialTreatment}.

@forAll <#P>, <#S>, <#X>.
{?C => {<#P> :needs <#S>}. ?C log:includes {<#P> :needs <#X>}} => {<#X> 
:choose <#S>}.
#####################################################

is also working..


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 17 July 2006 00:52:29 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:05 UTC