owltools.ontologyverification.annotations
Annotation Types 
AfterLoading
AfterMireot
AfterReasoning
Check