Ontologies for Models and Algorithms in Applied Mathematics and Related Disciplines