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.
ClassDescriptionUses two transitive graph caches to store a subclass and a subproperty lattice and use them within a larger inference graph.Datastructure used to represent a closed transitive reflexive relation.Implementation of InfGraph used by the TransitiveReasoner.A simple "reasoner" used to help with API development.Factory class for creating blank instances of the transitive reasoner.