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