RUS  ENG
Полная версия
ЖУРНАЛЫ // Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления // Архив

Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2022, том 18, выпуск 1, страницы 37–51 (Mi vspui513)

Эта публикация цитируется в 1 статье

Прикладная математика

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

Т. М. Косовская, Н. Н. Косовский

Санкт-Петербургский государственный университет, Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7–9

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

Ключевые слова: логическая онтология, предикатные формулы, изоморфизм предикатных формул.

УДК: 004.82

MSC: 03B70

Поступила: 21 августа 2021 г.
Принята к печати: 1 февраля 2022 г.

DOI: 10.21638/11701/spbu10.2022.103



Реферативные базы данных:


© МИАН, 2024