See: Description
Class  Description 

TransitiveEngine 
Uses two transitive graph caches to store a subclass and a subproperty
lattice and use them within a larger inference graph.

TransitiveGraphCache 
Datastructure used to represent a closed transitive reflexive relation.

TransitiveInfGraph 
Implementation of InfGraph used by the TransitiveReasoner.

TransitiveReasoner 
A simple "reasoner" used to help with API development.

TransitiveReasonerFactory 
Factory class for creating blank instances of the transitive reasoner.

The generated InfGraph will appear to contain the union of the data graph,
the tbox graph, the reflexivetransitive closure of any subPropertyOf and
subClassOf relations together with direct versions of these.
The current implementation is flawed in its handling of multiple data
bindings  you can't actually reuse the work of tbox binding across different
data sets. This will be fixed soon.
Licenced under the Apache License, Version 2.0