В компьютерных науках (computer science) и науках об информации (information science) онтология рассматривается как теория, связанная с формальным наименованием и определением типов, свойств и взаимосвязей сущностей, которые существуют в определенной области [1]. Упрощенно обозначают онтология — это теория объектов и их связей. Она предоставляет критерии для различения различных типов объектов (конкретных и абстрактных, существующих и несуществующих, реальных и идеальных, независимых и зависимых) и их связей (отношений, зависимостей и предикатов). При этом различают: а) формальные [2], б) описательные и в) формализованные онтологии. Формальная онтология была введена Эдмундом Гуссерлем в его «Логических исследованиях». Согласно Гуссерлю, ее объектом является изучение родов бытия, важных доменных категорий. В информационных науках онтология это в основном таксономия.
Онтология (в информатике) разделяет переменные, необходимые для некоторого набора вычислений, и устанавливает отношения между ними. Онтологию в области искусственного интеллекта применяют для ограничения сложности и организации информации. Их также применяют для решения проблем. Таким образом, область применения онтологий определяет их специфику и дефиниции. Исходя из определения сущности и отношений, для онтологий применимы топологические модели. существуют разные реализации онтологий, которые можно объединить общим названием "онтологические модели". Онтологические модели относятся к классу познавательных моделей [3]. Это проявилось и в названии соответствующего вида моделирования, называемого когнитивным (познавательным) моделированием [4]. В познавательном процессе участвует как образная, так и знаковая составляющая. Носителем знаковых познавательных моделей являются слова естественного языка, а их сигнатурой — логические операции. По этой причине их называют логико-лингвистическими моделями [5]. В настоящее время онтологии широко применяют в разных областях: биология [6], сетевые системы [7], теория алгоритмов [8], интеграции информации [9] и пр.