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

[David Dossot]

Marco,

Except the <Atom> element that you have put around the <Or> one, the single
implication is correct. Note that you can always validate RuleML with the
provided schemas, the gain confidence in the correctness of what you output.


Cheers,
David

On Jan 10, 2008 10:25 AM, Marco Ensing <l.a.marco at sbcglobal.net> wrote:

>  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 . 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/e3a0fb01/attachment.htm