[Jdrew-all] supported RuleML 0.88 syntax using RuleMLParser

Thu Aug 18 10:44:01 ADT 2005

Hi all,

i have got it now. did not realise i should use the compact syntax
instead. Now my rulebase is working, so it is time to play around a
little more.

> 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.

do you welcome any contributor? :)

btw, anyway to set the list to default reply to list instead of sender?

regards,
SianLun

On 8/18/05, Marcel Ball <maball at gmail.com> wrote:
> 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>
> 
> 
> 
> 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
> 

-- 
===================== : : : ---
normal reply to wahlau at gmail.com
urgent reply to slau at wahlau.org
--- : : : ======================