Выделение общих свойств объектов для создания логических онтологий

Предлагается подход к формированию онтологии, основанный на описаниях объектов в терминах языка исчисления предикатов. При таком подходе объект представлен как множество своих элементов, на котором задан набор предикатов, характеризующих свойства этих элементов и отношения между ними. Описанием объекта является конъюнкция литералов, истинных на элементах объекта. Под онтологией понимается ориентированный граф с описаниями подмножеств в качестве вершин, такой что элементы множества в конце дуги обладают свойствами элементов множества в начале этой дуги. Предлагаются следующие формулировки задачи построения онтологии: 1) все предикаты двузначные и заданы подмножества исходного множества объектов; 2) все предикаты двузначные и требуется найти подмножества исходного множества; 3) среди предикатов имеются многозначные и заданы подмножества исходного множества объектов. Основным инструментом построения такого графа является выделение элементарной конъюнкции литералов предикатных формул, изоморфной подформулам некоторых формул. Дается определение изоморфизма элементарных конъюнкций атомарных предикатных формул. Для каждой из предложенных задач формулируются алгоритмы построения онтологии. Приводится иллюстративный пример.