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