Sorry to play the necromancer by posting in there.
I'm really really new with protegee in general, and I try to use the reasonner to get the classification of my ontology.
I found the view of the classification result, but I have no idea of how to actually launch the process.
Can someone give me some hint on how it works ?
For the record, I want to use this to compute the Fill-up of a description, which is basically the concept description saturated with all concept subsuming the description/part of it. Having the classification computed by protegee would speed the process (and I wouldn't have to code one myself from litterature (Baader))
Thank you in advance.