sort of data-/objectproperty assertion axioms

[mmopitz]

refs #605

Note: This is my first contribution to protege. So I expect some rough edges ;-) .

I tried to address the sorting of data-/object-propertyAssertion in the individual views.

Analogous to the sorting of classAssertionAxioms the assertions are sorted in following order

1. inferred/not inferred
2. the 'displayName' of the property (using the owlObjectComparator)
3. the 'displayName' of the object (using the owlObjectComparator)

I added the sorting to following Sections:

1. dataPropertyAssertionAxioms
2. objectPropertyAssertionAxioms
3. negativeDataPropertyAssertionAxioms
4. negativeObjectPropertyAssertionAxioms

For personal reasons I would love to see this change in the next protege release. Please let me know if further adjustments are required.

[gouttegd]

Thanks for the PR. Cursorily, it looks good to me. :) I’ll have a closer look in the following days.

[gouttegd]

Couldn’t find any rough edges here. :)

[mmopitz]

Thanks for merging. This will really help me in my daily work :-)