search

protegeproject / protege

Protege Desktop
http://protege.stanford.edu
Other
1.02k stars 231 forks source link

"Computing explanation" dialog is hanging when asking for explanation in the "Different Individuals" section #833

Open csnyulas opened 5 years ago

csnyulas commented 5 years ago

If I have a simple ontology that has some individuals declared as being different from each other, when I ask for an explanation for why is a certain individual different from the ones listed in the "Different Individuals" section, the "Computing explanations" dialog will stay stuck, even after I close the explanation window. The dialog can't be closed by any means except by closing Protégé. This was observed in Protege 5.5.0-beta-7. It happens both when a reasoner is selected (regardless if it was started/synced or not) and when there is no reasoner selected.

Steps to reproduce:

  1. Open Protege
  2. In the empty ontology that is shown by default create a class (let's say A)
  3. Create two individuals of the class created before (let's say a1 and a2)
  4. Select one of individual, say a1, and click on the "Explain inference" (question mark) icon at the right of the other individual (a2) listed in the "Different Individuals" section
  5. If an explanation window pops up, close it

Observe that the "Computing explanations" dialog will stay stuck.

image

rdewaele commented 5 years ago

I observe the same bug on macOS using Protégé 5.5.0 - also when only pressing "stop searching".

This bug is especially obtrusive when working with larger / more complex ontologies. Often I'd like to stop the search because 5 explanations is enough, and finding them all takes $significant_amount minutes. 😉

matthewhorridge commented 5 years ago

Possibly related to #879

nicolevasilevsky commented 5 years ago

I am having the same problem in MacOS Protege 5.5.0

For some explanations, it is getting stuck for 10+ minutes and won't respond when I click stop searching, I can only quit (or force quit) Protege.

I am trying to get explanations of subclassOf inferences in mondo-edit.obo.

rdewaele commented 5 years ago

I am having the same problem in MacOS Protege 5.5.0

For some explanations, it is getting stuck for 10+ minutes and won't respond when I click stop searching, I can only quit (or force quit) Protege.

I am trying to get explanations of subclassOf inferences in mondo-edit.obo.

Given that this issue has the "needs reproducing" tag, could you be a bit more specific in what ontology you have loaded, and which inference you are trying to get explained exactly? If it is public data (mine sadly is not), I can try it on my machine as well, and if I have the same behaviour, chances are that Matthew will be able to reproduce it as well.

nicolevasilevsky commented 5 years ago

@rdewaele Yes - the ontology I am using is mondo-edit.obo, which you can download here: https://github.com/monarch-initiative/mondo

An example of an inference I am trying to get explained is the subclassOf inference for AICA-ribosiduria (MONDO:0012099)

image

jbulow commented 3 years ago

Same issue on ubuntu 18.04.