On Apr 18, 2011, at 3:44 PM, Olivier Grisel wrote:
2011/4/18 Enrico Daga <[email protected]>:
Thanks Enrico for taking the time to write such a detailed wrappup.
I propose to concentrate the work, for the moment, to these tasks:
+ Add Jena rule based reasoner as a new separate inference module
inside the reasoners package;
+ Implement the Reasoners OWLApi interface to adapt to Jena rule
based
inference engine with OWL lite profile;
+ Remove HermiT fro within the reasoners module
What do you think? Other ideas?
I am fully +1.
Fully +1.
I also like the idea of using the Stanbol rules together with Jena
inference.
I think that a default OWL Lite reasoner is a compromise between
expressivity and efficiency.
Considering that OWL-Link will be released with a dual licence, those
interested in OWL-DL reasoning
may use an external DL reasoner via OWL-Link.
Also could you or someone else do a quick comparative study of the
Jena reasoner and RDFquery javascript rules system and reasoner and
tell whether we could have a way to translate a set of rules from one
reasoner to another while keeping the same operational semantics, and
if not what would be missing on one side or the other to achieve that
goal.
I am pretty sure that you can map rdfQuery to Jena and Stanbol Rules.
The inverse depends
on the expressivity of the rules (e.g. use of comparison or string
built-in primitives from Jena do not seem to be supported in rdfQuery).
--
Olivier
http://twitter.com/ogrisel - http://github.com/ogrisel
--
Andrea Giovanni Nuzzolese
Semantic Technology Laboratory (STLab)
Institute for Cognitive Science and Technology (ISTC)
National Research Council (CNR)
Via Nomentana 56, Roma - Itay
