Paging mechanism for display of axioms
For very large ontologies currently there is problem with displaying all axioms. We should introduce a paging mechanism instead where at most e.g. 100 axioms are shown at once. It should be possible to navigate back and forth then.