This package contains a reasoner which supports transitive-reflexive closure of subPropertyOf and subClassOf relations.
|Class and Description|
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.
A simple "reasoner" used to help with API development.
Licenced under the Apache License, Version 2.0