Система онтологий как основа информатизации профессионального образования