On 12/08/13 17:47, Niranjan Balasubramanian wrote:
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?
Correct. Once Jena has an answer to the query it stops. It will record
the derivation trace for that answer but will not check alternative
derivations.
[After all there can be a *very* large number of possible traces through
the derivation graph.]
Are there other toolkits that support multiple derivations?
Don't know.
Dave
