Protege Justification Explanation 0.1.0:
-------------------
New features:
- Initial implementation based on explanation-workbench. 
- Use third party justification computation services over extension points. 
- Provide settings that can be changed from explanation preferences. 
Fixed Bugs:
- Fix disposing compoments when the explanation window is closed.  Issue: 7. 
- Display justifications for entailments which appear as axioms in the ontology.  Issue: 5. 
Changes:
- Make sure preferences persist over Protege restart. 
- Do not show all computed justifications, but load them using a button. 
- Sort only displayed justifications using a priority queue. 
- Cache information about occurrences of axioms in jutifications. 
- Cache wether axioms are asserted (appear in ontologies) or derived.  Issue: 13. 
- Improve comparison of justifications by caching the necessary information, such as sizes. 
- Display information about axiom occurrences only in tooltips. 
- Do not count axioms in justifications, show only justification sizes. 
- Tell that the entailment is a tautology if its justificaiton is empty.  Issue: 4. 
- Allow justification service to provide initial justifications (e.g., if they have been cached). 

