Dangling Intersection Check

This check displays a warning if one of the links that defines an intersection is a dangling link. This can only happen if:

 

  1. intersections are defined across multiple ontologies
  2. the ontologies are saved into different files
  3. some, but not all, of those files are loaded back in

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.