[Jdrew-all] supported RuleML 0.88 syntax using RuleMLParser

Thu Aug 18 09:27:52 ADT 2005

Hello Sian,

Any contributions you have to send are welcome; we are considering to
move from the GPL to LGPL to give more possibilities of integrating
jDREW/OO JDREW with commercial applications, so you would need to be
willing to make that license change. If you have any contributions you
can send them to me directly (maball at gmail dot com) or to the list.
If them seem to work properly and are of value I will try to integrate
them into the main source (although I am currently moving/on vacation,
so this may not happen really soon).

As for your question about the mailing list itself, I have no idea. I
didn't set up the mailing list (someone at NRC did), and I have no
idea what the software is capable of.

Marcel

On 8/18/05, Sian Lun Lau <wahlau at gmail.com> wrote:
> 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
> --- : : : ======================
> _______________________________________________
> 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