An ontological approach to the construction of problem-solving models