Nomi Harris
-
2008-02-25
- status: open --> closed-fixed
It matters whether the reasoner is on or off--sometimes you need it on to make sense of an ontology; other times you want it off because it slows things down. If you don't happen to have the ReasonerManager window open, you can't tell whether the reasoner is on or off. How about adding "(REASONER ON)" to the OBO-Edit window title when it's on?