OWLNamedIndividual Remus = Individual( ns + "Remus" );
OWLNamedIndividual Romulus = Individual( ns + "Romulus" );
for( int test = 0; test < 2; test++ ) {
if( test != 0 ) {
reasoner.prepareReasoner();
}
assertTrue( reasoner.isEntailed( propertyAssertion( Abel, sibling, Cain ) ) );
assertPropertyValues( reasoner, Abel, sibling, Cain);