ObjectPropertyObjectPropertyAncestorChecker(
project.getObjectPropertyHierarchyProvider());
DataPropertyDataPropertyAncestorChecker dataPropertyAncestorChecker = new
DataPropertyDataPropertyAncestorChecker(
project.getDataPropertyHierarchyProvider());
NamedIndividualClassAncestorChecker namedIndividualClassAncestorChecker = new
NamedIndividualClassAncestorChecker(
ontology,
classAncestorChecker);
return new StructuralPropertyValueSubsumptionChecker(classAncestorChecker,
objectPropertyAncestorChecker,