Package org.semanticweb.elk.reasoner.saturation.properties

Class Summary

Class	Description
PropertyHierarchyCompositionComputation	A ReasonerComputation that computes relevant sub-properties and composition maps
PropertyHierarchyCompositionComputationFactory
ReflexivePropertyComputation	A ReasonerComputation that computes reflexive IndexedPropertyChains
ReflexivePropertyComputationFactory	The factory of engines that compute implied reflexivity of object property (chains).
SaturatedPropertyChain	This object is used for fast retrieval of property inclusions and compositions which are needed during saturation of class expressions.