Inference with multiple FROM clauses seems to break rdf:type predicate

[nk-fouque]

Following my issue on the forum I have produced an actual minimal example to illustrate the issue

As mentioned in my last comment over there, the conditions to reproduce this issue are :

• Multiple FROM Clauses (or define input:default-graph-uri pragmas)
• 1 Inference rule set
• The predicate rdf:type (or a) in the query more than once

See the attached sample datasets:

• minimal_hal_schema.ttl.txt
• minimal_hal.ttl.txt
• minimal_session.ttl.txt

And the results of the following query :

define input:inference 'test_session'
define input:default-graph-uri <http://localhost:8890/minimal-hal>
define input:default-graph-uri <http://localhost:8890/minimal-session>
SELECT * WHERE {
?s a <http://example.com/test#Paper>.
?s ?p ?a.
?a a ?c.
}

Assuming you have defined the inference rule set with rdfs_rule_set('test_session', 'http://localhost:8890/minimal-hal-schema')

[HughWilliams]

Ok, we shall add this to the previous test case you provided for this issue ...