Hello all,
I am a new user. I need to generate all possible derivations for a statement
inferred via backward chaining. Based on what I understand from the
documentation and a small test case I wrote, it appears that Jena outputs only
one derivation (and possibly stops inference as soon as the target statement is
inferred). Is this true? Are there other toolkits that support multiple
derivations?
Consider the following rules and facts:
@prefix : http://myexample.org
[rule1: (?a :conductorOf :electricity) <- (?a rdf:type :Metal)]
[rule2: (?x :conductorOf ?z) <- (?x :conducts ?y)]
:iron a :Metal .
:iron :conducts :electricity .
A query fact
:iron :conductorOf :electricity
can be inferred via two derivations -- using rule 1 or rule 2.
Using com.hp.hpl.jena.rdf.model.InfModel#getDerivation yields only one
derivation (rule 1 in the example).
Thanks.
~ Niranjan.
