testSubject.getTopDatatype());
OWLDataCardinalityRestriction restB = testSubject
.getOWLDataExactCardinality(cardinality, prop,
testSubject.getTopDatatype());
assertEquals(restA, restB);
OWLDataRange dataRange = D(IRI());
OWLDataCardinalityRestriction restC = testSubject
.getOWLDataExactCardinality(cardinality, prop, dataRange);
OWLDataCardinalityRestriction restD = testSubject
.getOWLDataExactCardinality(cardinality, prop, dataRange);
assertEquals(restC, restD);