An ontology for the Business Process Modelling Notation