for( int j = i + 1; j < disjs.length; j++ ) {
OWLDataProperty desc1 = (OWLDataProperty) disjs[i];
OWLDataProperty desc2 = (OWLDataProperty) disjs[j];
desc1.accept( this );
ATermAppl p1 = term;
desc2.accept( this );
ATermAppl p2 = term;
kb.addDisjointProperty( p1, p2 );
}
}