@Test
public final void testGetDataPropertyTargets() throws OWLReasonerRuntimeException {
for( OWLNamedIndividual x : ontology.getIndividualsInSignature() ) {
for( OWLDataProperty y : ontology.getDataPropertiesInSignature() ) {
SetOfLiterals expected = referenceReasoner.answer(new GetDataPropertyTargets(referenceReasoner.getDefaultKB(), x, y));
SetOfLiterals actual = heraklesReasoner.answer(new GetDataPropertyTargets(heraklesReasoner.getDefaultKB(), x, y));
assertEquals( new HashSet<OWLLiteral>().addAll(expected), new HashSet<OWLLiteral>().addAll(actual) );
}
}
}