Towards an ontology for automatic scientific discovery