Re: Implementing OWL2-RL with a RETE rule engine.

hi jos, i am glad you are on that discussion, you probably have an opinion
about that point:
is RL completely targetted at forward engine systems, or are there some
subtilities that require a more sohisticated engine beyond RETE
capabilities?

(this is an open question. if any people involved in RL spec is around,
he/she is very welcome to comment)

On Mon, Apr 19, 2010 at 10:09 PM, <jos.deroo@agfa.com> wrote:

> Hi Olivier,
> The theories at http://eulersharp.sourceforge.net/#theories
> are running fine on cwm, except for 2 specific builtins;
> those theories are intnded to cover OWL-RL
> Kind regards,
>
> Jos De Roo | Agfa HealthCare
> Senior Researcher | HE/Advanced Clinical Applications Research
> T  +32 3444 7618
> http://www.agfa.com/w3c/jdroo/
>
> Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
> http://www.agfa.com/healthcare
>
>
>
>  *Olivier Rossel <olivier.rossel@gmail.com>*
> Sent by: semantic-web-request@w3.org
>
> 04/19/2010 05:44 PM
>   To
> Semantic Web <semantic-web@w3.org>
> cc
>   Subject
> Re: Implementing OWL2-RL with a RETE rule engine.
>
>
>
>
>
> thank you for your invaluable information.
>
> do you think that cwm's architecture is suitable as a rule engine for
> OWL2RL?
>
>
> On Mon, Apr 19, 2010 at 4:25 PM, Jakub Kotowski <jakubkotowski@gmx.net>
> wrote:
> > Dear Olivier,
> >
> > Olivier Rossel schrieb:
> >> Is there a reference list of all the rules to be implemented by a
> > rules engine
> >> to be fully compliant with RL?
> > The rules are given already in the spec:
> >
> http://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules
> >
> >> Or, even better, a reference implementation of OWL2-RL for an existing
> >> rules engine?
> >
> > I don't know about any _reference_ implementation but there are some
> > initial implementations - I know Ivan Herman made one and there are
> > other (such as the SAOR reasoner [2]) that are close to OWL 2 RL which
> > partly implement the pD* [1] semantics.
> >
> > Regards,
> > Jakub
> >
> >
> > [1] http://linkinghub.elsevier.com/retrieve/pii/S1570826805000144
> > [2]
> >
> http://axel.deri.ie/presentations/20081029saor_ISWC_btriples_challenge.pdf
> >
>
>
>
>