# Transitive Reasoning Broken? Stardog 4.2.3 vs Stardog 5.0-RC

**URL:** <https://community.stardog.com/t/transitive-reasoning-broken-stardog-4-2-3-vs-stardog-5-0-rc/392>\
**Category:** Bug\
**Created:** [June 10, 2017, 3:40am UTC](https://community.stardog.com/t/transitive-reasoning-broken-stardog-4-2-3-vs-stardog-5-0-rc/392 "2017-06-10T03:40:53Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![charbull](https://yyz2.discourse-cdn.com/flex030/user_avatar/community.stardog.com/charbull/32/78_2.png) [@charbull](https://community.stardog.com/u/charbull)\
**Post date:** [June 10, 2017, 3:40am UTC](https://community.stardog.com/t/transitive-reasoning-broken-stardog-4-2-3-vs-stardog-5-0-rc/392/1 "2017-06-10T03:40:53Z")

</div>

Hello,

Unless I am missed some configuration, it seems that the transitivity reasoning rule is broken on Stardog 5.0-RC but when I try it on Stardog-4.2.3 it works fine.

I attached the ontology sample. And the query is below,  
[transitiveReasoning.rdf](https://canada1.discourse-cdn.com/flex030/uploads/stardog/original/1X/7458e8ca55ad691109258ee2e759a1a8ec98183d.rdf) (39.2 KB)

```sql
select ?a ?b
{
?a <http://www.se.com/Buildings#connectsTo> ?b.
}

```

Both reasoning levels are set to SL. It works well on 4.2.3 but not on the 5.0-rc

Thank you,

---

<div class="post-metadata">

**Author:** ![jess](https://yyz2.discourse-cdn.com/flex030/user_avatar/community.stardog.com/jess/32/10_2.png) [@jess](https://community.stardog.com/u/jess)\
**Post date:** [June 10, 2017, 3:43am UTC](https://community.stardog.com/t/transitive-reasoning-broken-stardog-4-2-3-vs-stardog-5-0-rc/392/2 "2017-06-10T03:43:25Z")

</div>

Are you executing this query through the web console? Can you try executing this query on the command line using `stardog query execute -r`? The `-r` switch enables reasoning.

---

<div class="post-metadata">

**Author:** ![charbull](https://yyz2.discourse-cdn.com/flex030/user_avatar/community.stardog.com/charbull/32/78_2.png) [@charbull](https://community.stardog.com/u/charbull)\
**Post date:** [June 10, 2017, 4:58am UTC](https://community.stardog.com/t/transitive-reasoning-broken-stardog-4-2-3-vs-stardog-5-0-rc/392/3 "2017-06-10T04:58:04Z")

</div>

@jess it seems working fine from the command line

```sql
stardog query myDbTest --reasoning "select ?a ?b where { ?a <http://www.se.com/Buildings#connectsTo> ?b. }

```

The Rest queries are still valid as well

```http
http://localhost:5820/charbel/query?reasoning=true&query=Select ?a ?b where { ?a bldgs:connectsTo ?b.}

```

Do you think it is a webUI error?

---

<div class="post-metadata">

**Author:** ![stephen](https://yyz2.discourse-cdn.com/flex030/user_avatar/community.stardog.com/stephen/32/27_2.png) [@stephen](https://community.stardog.com/u/stephen)\
**Post date:** [June 12, 2017, 11:29am UTC](https://community.stardog.com/t/transitive-reasoning-broken-stardog-4-2-3-vs-stardog-5-0-rc/392/4 "2017-06-12T11:29:18Z")

</div>

We have seen (and continue to look into) some bugs with the web console regarding the enabling of reasoning. It will be taken care of for the next RC/release.