doTestTransitiveReduction(Model model, Property dp) Test that a transitive reduction is complete.
Assumes test graph has no cycles (other than the trivial
identity ones).
The reasoner contract for bind(data) is not quite precise. It allows for
reasoners which have state so that reusing the same reasoner on a second data
model might lead to interference. This in fact used to happen with the transitive
reasoner. This is a test to check that the transitive reasoner state reuse has been fixed at source.
The reasoner contract for bind(data) is not quite precise. It allows for
reasoners which have state so that reusing the same reasoner on a second data
model might lead to interference. This in fact used to happen with the transitive
reasoner. This is a test to check the top level symptoms of this which can be
solved just be not reusing reasoners.