optimized imports
* using different owl ontology managers to not notify the reasoner about
the additions to the ontology which holds inferred axioms
* serializing the results in the functional syntax