# Query results from reasoner inferences

**URL:** https://community.stardog.com/t/query-results-from-reasoner-inferences/329
**Category:** Support
**Created:** [May 17, 2017, 9:23am UTC](https://community.stardog.com/t/query-results-from-reasoner-inferences/329 "2017-05-17T09:23:50Z")
**Posts on this page:** 4
**Page:** 1

<div class="post-metadata">

### Author: ![Stefano](https://avatars.discourse-cdn.com/v4/letter/s/aca169/32.png) [@Stefano](https://community.stardog.com/u/Stefano)
#### Post date: [May 17, 2017, 9:23am UTC](https://community.stardog.com/t/query-results-from-reasoner-inferences/329/1 "2017-05-17T09:23:50Z")

</div>

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)

---

<div class="post-metadata">

### Author: ![zachary.whitley](https://yyz2.discourse-cdn.com/flex030/user_avatar/community.stardog.com/zachary.whitley/32/94_2.png) [@zachary.whitley](https://community.stardog.com/u/zachary.whitley)
#### Post date: [May 17, 2017, 1:06pm UTC](https://community.stardog.com/t/query-results-from-reasoner-inferences/329/2 "2017-05-17T13:06:25Z")

</div>

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](http://www.stardog.com/docs/#_rule_limitations_gotchas)" for an explanation of the problems associated with cycles in rules.

---

<div class="post-metadata">

### Author: ![Stefano](https://avatars.discourse-cdn.com/v4/letter/s/aca169/32.png) [@Stefano](https://community.stardog.com/u/Stefano)
#### Post date: [May 17, 2017, 4:38pm UTC](https://community.stardog.com/t/query-results-from-reasoner-inferences/329/3 "2017-05-17T16:38:11Z")

</div>

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.

---

<div class="post-metadata">

### Author: ![system](https://canada1.discourse-cdn.com/flex030/uploads/stardog/original/2X/e/ed66b48a616f505106a4acde3c9cee7e6da9bc67.svg) [@system](https://community.stardog.com/u/system)
#### Post date: [May 31, 2017, 4:38pm UTC](https://community.stardog.com/t/query-results-from-reasoner-inferences/329/4 "2017-05-31T16:38:30Z")

</div>

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