W3C home > Mailing lists > Public > semantic-web@w3.org > April 2010

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

From: Ivan Herman <ivan@w3.org>
Date: Tue, 20 Apr 2010 09:45:29 +0200
Cc: Olivier Rossel <olivier.rossel@gmail.com>, Semantic Web <semantic-web@w3.org>
Message-Id: <799584CF-1B26-4127-9AC2-B7DABFA5DEAD@w3.org>
To: Jakub Kotowski <jakubkotowski@gmx.net>

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






Received on Tuesday, 20 April 2010 07:43:06 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:17 UTC