Added ontology small (small instance) and updated ontology_big. For generating big instances one needs to run generateset_big