@Test
public void datatypeDefinition()
{
final OWLDatatype between5and10 = OWL.Datatype("between5and10");
final OWLDatatype between6and8 = OWL.Datatype("between6and8");
createReasoner(OWL.datatypeDefinition(between5and10, OWL.restrict(XSD.INTEGER, OWL.minInclusive(5), OWL.maxInclusive(10))), OWL.datatypeDefinition(between6and8, OWL.restrict(XSD.INTEGER, OWL.minInclusive(6), OWL.maxInclusive(8))), OWL.equivalentClasses(_A, OWL.some(_dp, between5and10)), OWL.equivalentClasses(_B, OWL.some(_dp, between6and8)), OWL.propertyAssertion(_a, _dp, OWL.constant(9)), OWL.propertyAssertion(_b, _dp, OWL.constant(7)));
assertTrue(_reasoner.isEntailed(OWL.subClassOf(_B, _A)));
assertTrue(_reasoner.isEntailed(OWL.classAssertion(_a, _A)));
assertFalse(_reasoner.isEntailed(OWL.classAssertion(_a, _B)));
assertTrue(_reasoner.isEntailed(OWL.classAssertion(_b, _A)));
assertTrue(_reasoner.isEntailed(OWL.classAssertion(_b, _B)));
}