assertFalse( kb.isClass( n ) );
}
@Test
public void testIsClass5() throws OWLException {
OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
OWLDataFactory factory = manager.getOWLDataFactory();
OWLOntology ontology = manager.createOntology(URI
.create("http://example.org"));
OWLDataRange dataRange = factory.getOWLDataType(XSDVocabulary.INTEGER
.getURI());
OWLDataRangeFacetRestriction dataRangeFacetRestriction = factory
.getOWLDataRangeFacetRestriction(
OWLRestrictedDataRangeFacetVocabulary.MIN_EXCLUSIVE, 1);
OWLDataRangeRestriction dataRangeRestriction = factory
.getOWLDataRangeRestriction(dataRange,
dataRangeFacetRestriction);
OWLDataProperty p = factory.getOWLDataProperty(URI
.create("http://example#p"));
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);
reasoner.loadOntology(ontology);
assertTrue(reasoner.isConsistent());