Query results from reasoner inferences

Hi, i want to know if can i write a SPARQL Query, turn on the reasoner (SL) and receive the query result inferred, for example: i have a SWRL rule who infer a property in every individuals of type ClassX but i want to query a specific individual and see his inferred properties.

Actually, i try to write a query like this, and turn on the reasoner:

select * where {
<http://www.test.com/untitled-ontology-230/2017> ?b ?c
}

I expect to get all the properties from <http://www.test.com/untitled-ontology-230/2017> individual, with inferred ones.

In stardog.log i got this error:

WARN 2017-05-17 11:06:37,315 [StardogServer.WorkerGroup-0] com.clarkparsia.blackout.Saturator:saturate(104): Saturation was interrupted. Query results might be incomplete.
ERROR 2017-05-17 11:06:37,338 [StardogServer.WorkerGroup-0] com.complexible.stardog.protocols.http.server.HttpMessageEncoder:write(161): There was an error while encoding the response
com.complexible.common.protocols.EncodingException: com.complexible.stardog.plan.eval.ExecutionException: The graph com.complexible.common.graph.DirectedGraphImpl@5ff2046e contains cycles.

Is this possible with Stardog or is conceptually wrong? Thanks!
(stardog version: 4.2.4)

It might be possible. Can you include the SWRL rule so we can see what you’re trying to do?

See the documentation section “Rule Limitations & Gotchas” for an explanation of the problems associated with cycles in rules.

1 Like

Thank you! Yes, you find my solution! The problem is that i consider Pellet reasoning in Protege equals to reasoning in Stardog, but this is not true. So the link you post, is the answer.

This topic was automatically closed 14 days after the last reply. New replies are no longer allowed.