The generated InfGraph will appear to contain the union of the data graph,
the tbox graph, the reflexive-transitive 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.
Class Summary Class Description TransitiveEngineUses two transitive graph caches to store a subclass and a subproperty lattice and use them within a larger inference graph. TransitiveGraphCacheDatastructure used to represent a closed transitive reflexive relation. TransitiveInfGraphImplementation of InfGraph used by the TransitiveReasoner. TransitiveReasonerA simple "reasoner" used to help with API development. TransitiveReasonerFactoryFactory class for creating blank instances of the transitive reasoner.