assertEquals(restA.getProperty(), prop);
}
@Test
public void testEqualsNegativeDataMax() {
OWLDataProperty prop = DP(IRI());
// Different cardinality
OWLDataCardinalityRestriction restA = testSubject
.getOWLDataMaxCardinality(3, prop, testSubject.getTopDatatype());
OWLDataCardinalityRestriction restB = testSubject
.getOWLDataMaxCardinality(4, prop, testSubject.getTopDatatype());