[Jdrew-all] supported RuleML 0.88 syntax using RuleMLParser

Thu Aug 18 00:49:27 ADT 2005

Hello Sian,

What David said is correct. Currently OO jDREW uses the most compact
role-skipping syntax of RuleML, so the format for rules would

<Implies>
  <And>
    <Atom>
    ...
    </Atom>
    ...
  </And>
  <Atom>
  ...
  </Atom>
</Implies>

and facts are simply

<Atom>
...
</Atom>

It was planned to support most different forms of RuleML through
automated application of XSLT style-sheets to transform from more
verbose forms to the more compact forms that can be parsed directly;
but this has not yet been implemented.

Marcel

On 8/17/05, David Z. Hirtle <david.hirtle at gmail.com> wrote:
> 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
> >
> >
> >
> _______________________________________________
> Jdrew-all mailing list
> Jdrew-all at jdrew.org
> http://mail.jdrew.org/mailman/listinfo/jdrew-all
> 

-- 
Marcel Ball <maball at gmail.com>

-----------------------------------------------
The purpose of writing is to inflate weak ideas, 
obscure pure reasoning, and inhibit clarity. 
With a little pratice, writing can be an intimidating 
and impenetrable fog!
           - Calvin