OWLSubClassOfAxiom sc = factory.getOWLSubClassOfAxiom(c,
dataSomeRestriction);
manager.addAxiom(ontology, sc);
PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
assertTrue(reasoner.isConsistent());
KnowledgeBase kb = reasoner.getKB();
assertTrue(kb.isClass(term("http://example#c")));
// check for complex class that refers to a user-defined datatype
ATermAppl term = reasoner.term( dataSomeRestriction );
term = ATermUtils.normalize( term );
assertTrue( kb.isClass( term ) );
}