private PropertyValueSubsumptionChecker getPropertyValueSubsumptionChecker(OWLOntology ontology,
OWLAPIProject project) {
ClassClassAncestorChecker classAncestorChecker = new ClassClassAncestorChecker(project
.getClassHierarchyProvider());
ObjectPropertyObjectPropertyAncestorChecker objectPropertyAncestorChecker = new
ObjectPropertyObjectPropertyAncestorChecker(
project.getObjectPropertyHierarchyProvider());
DataPropertyDataPropertyAncestorChecker dataPropertyAncestorChecker = new
DataPropertyDataPropertyAncestorChecker(
project.getDataPropertyHierarchyProvider());