[RuleML-all] modeling the premisse A and B or C

[Marco Ensing]

David,

 

Thank you for your quick reply. The extrapolation on the ‘Or’ was where I was uncertain about.

To extend your referenced example with an or construct (expression in italic):

 
 
        The first rule implies that a person owns an object
        if that person buys the object from a merchant or that person inherited object from relatives and the person keeps the object.

 

So would it be correct to generate:

 

<Implies>

    <!-- explicit 'And' -->

    <And>

      <Atom>

        <Or>

          <Atom>               

           <Rel>buy</Rel>

           <Var>person</Var>

           <Var>merchant</Var>

           <Var>object</Var>

          </Atom>              

          <Atom>               

           <Rel>inherited</Rel>

           <Var>person</Var>

           <Var>relatives</Var>

           <Var>object</Var>

          </Atom>              

        </Or>

      </Atom>

      <Atom>

        <Rel>keep</Rel>

        <Var>person</Var>

        <Var>object</Var>

      </Atom>

    </And>

    <Atom>

      <Rel>own</Rel>

      <Var>person</Var>

      <Var>object</Var>

    </Atom>

 

</Implies>

 

Or must I generate two implies statements

 

<Implies>

    <!-- explicit 'And' -->

    <And>

      <Atom>

        <Rel>buy</Rel>

        <Var>person</Var>

        <Var>merchant</Var>

        <Var>object</Var>

      </Atom>

      <Atom>

        <Rel>keep</Rel>

        <Var>person</Var>

        <Var>object</Var>

      </Atom>

    </And>

    <Atom>

      <Rel>own</Rel>

      <Var>person</Var>

      <Var>object</Var>

    </Atom>

 

</Implies>

 

<Implies>

    <!-- explicit 'And' -->

    <And>

        <Atom>          

           <Rel>inherited</Rel>

           <Var>person</Var>

           <Var>relatives</Var>

           <Var>object</Var>

         </Atom>      

        <Atom>

           <Rel>keep</Rel>

           <Var>person</Var>

           <Var>object</Var>

      </Atom>

    </And>

    <Atom>

      <Rel>own</Rel>

      <Var>person</Var>

      <Var>object</Var>

    </Atom>

 

</Implies>

 

 

From: ddossot at gmail.com [mailto:ddossot at gmail.com] On Behalf Of David Dossot
Sent: Thursday, January 10, 2008 10:04 AM
To: Marco Ensing
Cc: ruleml-all at ruleml.org
Subject: Re: [RuleML-all] modeling the premisse A and B or C

 

Hi Marco,

This is great news! Thank you.

I will let experts reply for Reaction RuleML, but as far as NxBRE is concerned, the syntax must be the one defined by the Naf Datalog sub-language of RuleML 0.9.

Here is an example of:

IF (A and B)
THEN
 D

--> http://www.ruleml.org/0.9/exa/own_compact.ruleml

You can easily extrapolated to adding an Or (by nesting XML elements). 

Hope this helps,
David



On Jan 9, 2008 7:54 PM, Marco Ensing <l.a.marco at sbcglobal.net> wrote:

Hi All,


Currently we are exporting to the Reaction RuleML format from the Rule
Manager. This product is available for free from the website
www.acumenbusiness.com  <http://www.acumenbusiness.com> . The trial period to create rules and export them to
Reaction RuleML has been removed.


I was wondering what we should generate for the construction

IF (A and B) or C
THEN
 D



How would this be expressed in RuleML 0.9 release (for NxBRE) or Reaction
Rules?
Can this be expressed in one <Rule> or does this require to generate
multiple rules?

You feedback is appreciated (and in return you will get a product with your 
desired format)


Regards,

Marco Ensing

_______________________________________________
RuleML-all mailing list
RuleML-all at ruleml.org
http://mail.ruleml.org/mailman/listinfo/ruleml-all

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.ruleml.org/pipermail/ruleml-all/attachments/20080110/d5a3a42b/attachment-0001.htm