This check displays a warning if one of the links that defines an intersection is a dangling link. This can only happen if:
This can lead to highly unexpected results from the reasoner, because the reasoner will ignore any cross product with dangling links. If a warning of this kind appears, reload all the required ontology files before using the reasoner.