@Test
public void testBooleanDatatypeConstructors()
{
final OWLDatatype nni = XSD.NON_NEGATIVE_INTEGER;
final OWLDatatype npi = XSD.NON_POSITIVE_INTEGER;
final OWLDatatype ni = XSD.NEGATIVE_INTEGER;
final OWLDatatype pi = XSD.POSITIVE_INTEGER;
final OWLDatatype f = XSD.FLOAT;
final OWLDatatype i = XSD.INTEGER;
createReasoner(OWL.declaration(nni), OWL.declaration(npi), OWL.declaration(ni), OWL.declaration(pi), OWL.declaration(f), OWL.declaration(_dq), OWL.range(_dp, OWL.dataAnd(pi, ni)));
assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, pi)));
assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataNot(pi))));
assertFalse(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(pi, ni))));
assertFalse(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(f, OWL.dataOr(pi, ni)))));
assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(npi, ni))));
assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(nni, pi))));
assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataOr(nni, npi))));
assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(nni, npi))));
assertFalse(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(pi, OWL.restrict(i, OWL.maxExclusive(0))))));
assertFalse(_reasoner.isSatisfiable(OWL.some(_dp, XSD.ANY_TYPE)));
}