Evaluating formulas in Protégé:
- Make sure teh oae plug-in jar is in the plugins sub-folder of your current Protégé installation. If not, please download its latest version from here.
- Open Protégé
- Open an ontology that contains at least one formula
- Select one reasoner from the Resoner menu (please notice that no reasoner is selected by default when opening and ontology)
- Select Evaluate formulas... from the tools menu
The evaluation report result view should pop up at the bottom of your current view as shown in the picture below.
The report is organised by data property. Since each property may have more than one formula attached results are further divided according to the formula they come from. Exceptions are also reported along with their message if they have got one.