Hi,
follow up from your Stackoverflow thread, the Jena built-in reasoners do
not support SWRL rules - what exactly is supported by which OWL reasoner
is documented here: https://jena.apache.org/documentation/inference/#owl
None of them is a full OWL DL reasoner, that's only covered via Pellet.
And Pellet does also support SWRL. I suggested to use a Pellet fork like
Openllet because the official Pellet reasoner is still on Jena 2.x/3.x
and any further version of Pellet is closed source being integrated in
Stardog triple store.
Openllet does support Jena 4.x so in theory it should work. It would be
helpful to show your Java/Maven issues, otherwise it's a wild guess.
The other option I suggested was to use the Jena rules instead of SWRL.
I understand though that if you want to stick to W3C standards
(technically SWRL isn't) this won't be an option for you.
Note, the whole reasoner will happen mostly in-memory - don't expect OWL
DL reasoning to scale in a large dataset in a triple store- that's why
people designed profiles like OWL RL which can be easily mapped to rule
based inference and don't need a tableau algorithm or the like.
Cheers,
Lorenz
On 22.02.22 18:36, Luca Turchet wrote:
Dear list members,
I am trying to integrate a reasoner in the Fuseki server. I first tried
openllet but there are some technical issues with java and maven which
currently prevent the openllet installation on a mac.
So I tried to launch fuseki with the --conf option using one of the
reasoners listed at the bottom of this page:
https://jena.apache.org/documentation/fuseki2/fuseki-configuration.html
in particular, I tried the examples
- config-inference-1.ttl
<https://github.com/apache/jena/blob/main/jena-fuseki2/examples/config-inference-1.ttl>
- config-inference-2.ttl
<https://github.com/apache/jena/blob/main/jena-fuseki2/examples/config-inference-2.ttl>
which are provided in the documentation:
https://github.com/apache/jena/tree/main/jena-fuseki2/examples
When performing the query which should return the result of an inference I
don't get the expected result, like if the reasoner was not integrated.
I am sure that the triplestore I am using is correct and contains the rule
as I have tested it in Protegè using the Snap SPARQL query tab with the
Pellet reasoner activated.
What am I doing wrong? I launch the server with
./fuseki-server --conf=/Users/luca/semanticweb/prova/config-inference-1.ttl
Thanks in advance
Best wishes
Luca
-----------------------------------------------------------------------------------------
*Luca Turchet*
Associate Professor
Head of the Creative, Intelligent & Multisensory Interactions Laboratory
*https://www.cimil.disi.unitn.it/* <https://www.cimil.disi.unitn.it/>
Department of Information Engineering and Computer Science
University of Trento
Via Sommarive 9 - 38123 Trento - Italy
E-mail: [email protected]
Tel: +39 0461 283792
