Include ontology4 and the new ontolgy file, after running infere