On 08/01/15 10:35, Kamalraj Jairam wrote:
Hi Dave,
Your solution worked.
I thought the transitive reasoner handled more axioms than Micro_Rule.
No, as it says in the docs the transitive reasoner is very minimal it is
mostly there as a building block for the more useful reasoners:
https://jena.apache.org/documentation/inference/index.html#transitive
Are there any documentation in the Jena site which shows what
entailment does each of these Jena reinsures handle?
Yes, the coverage of the different OWL options outlined in:
https://jena.apache.org/documentation/inference/index.html#OWLcoverage
Dave
