When people click on the explanation for why owl:Nothing is a subclass of a given class, or owl:Thing is a superclass of a given class, a dialog pops up generating and endless list of results. People get confused by this, and not knowing what is going on, they often just kill Protégé. Would be much better to treat these cases differently and give a more concise and more easily interpretable explanation.
When people click on the explanation for why
owl:Nothingis a subclass of a given class, orowl:Thingis a superclass of a given class, a dialog pops up generating and endless list of results. People get confused by this, and not knowing what is going on, they often just kill Protégé. Would be much better to treat these cases differently and give a more concise and more easily interpretable explanation.