);
additionalAxioms.add(f.createConceptInclusion(lhs, rhs));
// Subsequent invocations will trigger an incremental classification
System.out.println("Running incremental classification:");
reasoner.loadAxioms(additionalAxioms);
reasoner.classify();
// Now Endocarditis should be a HeartInflammation instead of an
// Inflammation
t = reasoner.getClassifiedOntology();