OWLOntologyImpl split between immutable interface and OWLMutableOntology
implementation

This allows to use immutable versions of ontologies. More work is needed
to allow adding axioms to an immutable ontology at construction time -
currently all changes go through the mutable interface.