OWLClass c = factory.getOWLClass(URI.create("http://example#c"));
OWLSubClassAxiom sc = factory.getOWLSubClassAxiom(c,
dataSomeRestriction);
manager.addAxiom(ontology, sc);
Reasoner reasoner = new Reasoner(manager);
reasoner.loadOntology(ontology);
assertTrue(reasoner.isConsistent());