Uses 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.
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.
Licenced under the Apache License, Version 2.0