for( int j = i + 1; j < disjs.length; j++ ) {
OWLObjectProperty prop2 = (OWLObjectProperty) disjs[j];
addSimpleProperty( prop2 );
prop1.accept( this );
ATermAppl p1 = term;
prop2.accept( this );
ATermAppl p2 = term;
kb.addDisjointProperty( p1, p2 );
}
}