I have started to work with Stardog recently but I have not completely understood which reasoning type suits my database better.
The Stardog documentation says SL, the default reasoning type, should work for a combination of
RL , and
EL axioms, plus SWRL rules.
However, Stardog does not give me back the inferences from my SWRL rules when using SL reasoning.
So I have been using DL reasoning type to be able to retrieve the inferences from my SWRL rules, but the problem is using DL reasoning takes so much time for Stardog to give back the results.
Additionally, using DL reasoning, after inserting new instances with SPARQL insert query, I cannot retrieve the SWRL inferences that I was able to retrieve before insert query (the reasoner runs and runs and never give back the results without any error, although the database is consistent).
Is there something that I'm missing? How can I reason and infer my SWRL rules with SL reasoner?
I really appreciate any help.
Many thanks in advance.