DERI's OWL 2 RL reasoner

Dear WG,

A student in DERI (Aidan Hogan) is currently implementing an OWL RL 
reasoner. This was probably already known to some of you. According to 
him, he will have an alpha version of it by the end of the month. We 
haven't yet any Web page about it, but I expect it to be added to the 
Implementation [1] list soon.

The tentative name for it is SAORR (for Scalable Authoritative OWL (2) 
RL Reasoner). It will a complete RL reasoner, but with incomplete 
reasoning over distributed heterogeneous data (read more about the 
principle in [2]).

[1]  http://www.w3.org/2007/OWL/wiki/Implementations
[2]  Aidan Hogan, Andreas Harth, Axel Polleres. Scalable Authoritative 
OWL Reasoning for the Web. Int. Jour. of Sem. Web and Inf. Sys. 5(2), 
Apr.-Jun. 2009.
http://www.deri.ie/fileadmin/documents/DERI-TR-2009-04-21.pdf

Regards,
-- 
Antoine Zimmermann
Post-doctoral researcher at:
Digital Enterprise Research Institute
National University of Ireland, Galway
IDA Business Park
Lower Dangan
Galway, Ireland
antoine.zimmermann@deri.org
http://vmgal34.deri.ie/~antzim/

Received on Wednesday, 15 July 2009 16:02:48 UTC