Minor refactoring in owl generation for assertions, added java docs for
most interface method declarations, added unit testing for IRIManager.