Delete ontology.pl~