Re: [rdf4j-dev] Faster RDFS forward chaining inferencer

[Jeen Broekstra <jeen.broekstra@xxxxxxxxx>]

On 7 Nov. 2016, at 01:16, Håvard Ottestad <hmottestad@xxxxxxxxx> wrote:

Hi again,

I've had a look at the default behaviour of the current RDFS reasoner.

It doesn't add inferred triples to the graph that the Abox came from. 

eg.

(urn:test:s2, urn:test:p2, urn:test:o2) [urn:test:default]

infers

(urn:test:s2, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://www.w3.org/2000/01/rdf-schema#Resource) [null]

instead of

(urn:test:s2, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://www.w3.org/2000/01/rdf-schema#Resource)  [urn:test:default]

I prefer that inferred triples inherit the graph of the Abox, what do you think?

Well, perhaps, but how would you then treat inferences where one premise comes from graph A, and another premise comes from graph B?

Jeen