Ui functionality

[Locke]

I continued to improve / extend this plugin and now feel that it's in a shape that allows basic usage. There are still a lot of good suggestions in the issues tagged as enhancement and also the "Constraints" component on the right side is currently of no use, however I think this plugin now offers the functionality I need at least.

Again, I tried to keep each commit small, but grouped them together with individual branches that are based on each other. It should be possible to re-order or isolate specific branches if this PR is too big or contains debatable changes.

• https://github.com/fekaputra/shacl-plugin/compare/master...Locke:master

  • First of all, I noticed that no new features of Protégé 5.5.0 are required and therefore reduced the required Protégé version down to 5.0.0 so that this plugin can be used also on older installations.
  • I simplified the example3 by removing the import of the schema.org ontology.

• https://github.com/Locke/shacl-plugin/compare/master...Locke:reasoner

  • For my use-case I need to work with the inferred ontology, i.e. take the results of the reasoner into account.
  • As I use SWRL rules in my use-case I already use the pellet / openllet reasoner. I extended the example3 so that the SWRL rule infers that Bob and Robert are the same individual (both are the father of Alice), however they now violate the PersonShape as Bob has a "typo" in his ssn. This violation is only detected when a reasoner takes the SWRL rule into account.
  • If the reasoner is not started or out of sync the user is warned, but the validation is still performed.
  • I added the pellet reasoner as test-dependency with a specific version that works with the owlapi 4.

• https://github.com/Locke/shacl-plugin/compare/reasoner...Locke:ui-selection

  • The ShaclValidationResult keeps the Jena RDFNodes, so that they can be filtered. The mapping to qnames is now moved closer to the ui.
  • Since the plugin has the class hierarchy and direct instances on the left side I think this would be great to use as a filter for the table.
  • The OWLWorkspace is observed for selection changes which filters the constraint violations table accordingly.

• https://github.com/Locke/shacl-plugin/compare/ui-selection...Locke:owl-imports

  • Jena offers basically two Models: the basic Model for generic RDF files does not process owl:imports statements, however the OntModel does. As SHACL allows owl:imports the OntModel should be used.

• https://github.com/Locke/shacl-plugin/compare/owl-imports...Locke:ui-editor

  • First of all, Errors were reported to the ErrorNotifier but then nothing happened with it. Now they are displayed as dialog.
  • The editor now supports Undo/Redo functionality via CTRL+Z / CTRL+Y.
  • Please test this on OSX. I use Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()) so I hope this works as expected.
  • Added Open and Save actions above the editor. Closes #6.

[Locke]

Thank you very much for your review!

I just added three commits where I addressed your feedback.

[fekaputra]

Thanks a lot for your contribution! I merged it now to the master branch.