* @return <code>true</code> if the description references entities that
* the ontology that contains entailments which are being explained,
* otherwise <code>false</code>
*/
public static boolean containsUnreferencedEntity(OWLOntology ontology, OWLDescription desc) {
OWLEntityCollector entityCollector = new OWLEntityCollector();
desc.accept( entityCollector );
for( OWLEntity entity : entityCollector.getObjects() ) {
if( !ontology.containsEntityReference( entity ) ) {
if( entity instanceof OWLClass
&& (((OWLClass) entity).isOWLThing() || ((OWLClass) entity).isOWLNothing()) ) {
continue;
}