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

On Apr 19, 2010, at 16:25 , Jakub Kotowski 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

True. But to be precise: I did not use any RETE engine of any form. I implemented a forward chaining in Python encoding the OWL-RL directly into Python...

More details on: 

http://www.ivan-herman.net/Misc/2008/owlrl/

Ivan


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


----
Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf