finish IntrospectionOntology translation