Онтология - это артефакт, структура, описывающая значения элементов некоторой системы.
читать дальше
На формальном уровне онтология - это система, состоящая из набора понятий и набора утверждений об этих понятиях, на основе которых можно описывать классы, отношения, функции и индивиды.
Одно из самых известных определений онтологии дал Том Грубер, звучит оно следующим образом: Онтология - это точная спецификация концептуализации.
Концептуализация - это структура реальности, рассматриваемая независимо от словаря предметной области и конкретной ситуации.
Онтология - это иерархически структурированное множество терминов, описывающих предметную область, которое может быть использовано как исходная структура для базы знаний.
Содержание онтологии
Основными компонентами онтологии могут являться:
-классы (или понятия),
Понятием может быть любая сущность, о которой может быть дана какая-либо информация. Классы - это абстрактные группы, коллекции или наборы объектов. Они могут включать в себя экземпляры, другие классы, либо же сочетания и того, и другого. Классы в онтологиях обычно организованы в таксономию - иерархическую классификацию понятий по отношению включения.
-отношения (или свойства, атрибуты),
Отношения представляют тип взаимодействия между понятиями предметной области.
-функции,
Функции - это специальный случай отношений, в которых n -й элемент отношения однозначно определяется n-1 предшествующими элементами.
-аксиомы,
Аксиомы используются, чтобы записать высказывания, которые всегда истинны.
В качестве примера того, что в рамках онтологий понимается под аксиомами, можно привести следующее положение и его формальную запись на языке исчисления предикатов первого порядка:
Работник, являющийся руководителем проекта, работает в проекте.
Тогда аксиома записывается следующим образом:
Forall (E,P) Employee(E) and Head-Of-Project(E,P) => Works-At-Project(E,P)
-экземпляры (или индивиды).
Причины создания:
1 для совместного использования людьми или программными агентами общего понимания структуры информации;
2 для возможности повторного использования знаний в предметной области;
3 для того чтобы сделать допущения в предметной области явными;
4 для отделения знаний в предметной области от оперативных знаний;
5 для анализа знаний в предметной области.