Two ontology-driven formalisations of functions and their comparison