org.semanticweb.elk.reasoner.saturation.properties

Classes  PropertyHierarchyCompositionComputation PropertyHierarchyCompositionComputationFactory ReflexivePropertyComputation ReflexivePropertyComputationFactory SaturatedPropertyChain