[Jdrew-all] supported RuleML 0.88 syntax using RuleMLParser

Wed Aug 17 13:24:17 ADT 2005

Hi Sian Lun,

OO jDREW uses the more compact role-skipped syntax of RuleML (see
http://www.ruleml.org/0.89/#Striped%20Syntax), hence <head> and <body>
aren't necessary.  Note that when role skipping <Implies>, the first
child (in your example an <Atom>) is assumed to be the body while the
second child (in your example an <And>) is assumed to be the head...

In the hornlog sublanguage implemented by OO jDREW, conjunctive heads
aren't allowed, so you may want to re-arrange the order of your
children of <Implies> (as below).

Also note that you need to specify closure on the clause by adding the
following attribute to the top-level <And>: mapClosure="universal"

Altogether, this gives:

<Assert>
  <And mapClosure="universal">
    <Implies>
      <And>
        <Atom>
          ....
        </Atom>
        <Atom>
          ....
        </Atom>
      </And>
      <Atom>
         ....
      </Atom>
    </Implies>
  </And>
</Assert>

Hope that helps,

Dave

On 8/17/05, Sian Lun Lau <wahlau at gmail.com> wrote:
> Hi,
> 
> just want to know whether the following is supported in oojdrew:
> 
> <Assert>
>   <And>
>     <Implies>
>       <Atom>
>          .... 
>       </Atom>
>       <And>
>         <Atom>
>           ....
>         </Atom>
>         <Atom>
>           ....
>         </Atom>
>        </And>
>      </Implies>
>    </And>
>  </Assert>
>  
> from the RuleML specification i am allowed to even use Body or Head, but i
> have tried it with oojdrew's RuleMLParser and i don't think it is supported,
> is that right?
>  
>  thank you.
>  
>  regards,
>  Sian Lun.
>  
> _______________________________________________
> Jdrew-all mailing list
> Jdrew-all at jdrew.org
> http://mail.jdrew.org/mailman/listinfo/jdrew-all
> 
> 
>