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

Hi Olivier, both forward and backward chaining engines should be happy 
with 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> 
04/19/2010 10:34 PM

To
Jos De Roo/AMDUS/AGFA@AGFA
cc
Semantic Web <semantic-web@w3.org>, semantic-web-request@w3.org
Subject
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
>