Adding a new ontology deletation function that list all the loaded ontologies and that let the user deleting the one he wants by hand, without having to know the URI.