В данной статье рассматривается проблема формального представления алгоритмических знаний в области информатики посредством моделирования алгоритмов в форме онтологии. Основная цель исследования заключается в структурировании алгоритмических понятий и их адаптации для использования в информационных системах, в приложениях искусственного интеллекта и в образовательном процессе. В качестве методологической основы были использованы редактор онтологий Protégé и язык OWL (Web Ontology Language). При построении онтологии в качестве базового был выбран класс «Algorithm», для которого выделены подклассы: SortingAlgorithm, SearchingAlgorithm, GraphAlgorithm, OptimizationAlgorithm, CryptographicAlgorithm и MachineLearningAlgorithm. Определены объектные свойства (hasComplexity, hasDataStructure, hasApplication, usesAlgorithmType, hasStep) и датированные свойства (hasName, hasTimeComplexity, hasSpaceComplexity, hasAuthor, hasYearIntroduced). Эти свойства позволяют формально описывать эффективность алгоритмов, области их применения и исторический контекст. Результаты исследования показали, что структурирование алгоритмических знаний на основе онтологии обеспечивает их автоматизированную обработку и повышает эффективность использования в учебном процессе, в системах искусственного интеллекта, в технологиях семантической паутины и в интеллектуальных информационных системах. Разработанная онтология демонстрирует новый уровень формального представления знаний в информатике и может служить основой для дальнейшего расширения и интеграции в прикладные области.