InTez — онтология и онторедактор. Из опыта разработки

Специфику представляемой онтологии с точки зрения перечисленных выше различений можно определить так: строится универсальная словарная лексически интерпретированная онтология, ориентированная на достаточно детальное описание концептов и связей между ними.

О технической функциональности онтологии может дать представление нижеследующий список функций.

СК (D) — Семантическая категория понятия D.

СК ('министр') = ОБЪЕКТ СК ('переговоры') = ПРОЦЕСС;

СТ (D) — Семантический тип понятия D;

СОВМЕСТИМОСТЬ (D1, D2) — Объемное отношение между понятиями D1 и D2;

ТОЛКОВАНИЕ (D) -Логическая формула, представляющая определение понятия D;

СОБСТВЕННЫЙ ПРИЗНАК (D) — Код наименования признака,.

значением которого является D;

ЕДИНИЦА ИЗМЕРЕНИЯ_ДЛЯ (D); Код стандартной единицы измерения количественного признака;

ЦЕЛОЕ (D) -Термин, представляющий название класса объектов, имеющих частью D;

ЧАСТИ (D) — Список всех терминов, являющихся типовой частью D;

АССОЦИИРОВАНЫ (D1, D2) — ДА/НЕТ ПРЕДМЕТНО_АССОЦИАТИВНЫЕ_ОТНОШЕНИЯ (D1, D2).

— Список отношений между заданными понятиями;

МОДЕЛЬ УПРАВЛЕНИЯ (D) — Множество пар вида ,.

где.

Val — имя валентности,.

SemCond — семантическое условие заполнения валентности).

В онтологии реализуется, в частности, более детальная, чем это обычно делается, семантическая категоризация. Базовым языком, определяющим и логически интерпретирующим систему словарных отношений в поддерживаемой редактором онтологии является логический язык ИНФОЛ [Рубашкин, 1989], позволяющий формализовать понятие семантической корректности языковых выражений и обеспечивающий вычислимость полного набора объемных отношений. Собственно спецификация концептов в онтологии осуществляется в терминах дерева словарных признаков (принцип самоописания словаря). Хранение данных и манипулирование данными реализуется с использованием средств стандартной СУБД. Исполнительная система, отвечающая за функциональность онтологии, решена как машина ограниченного прямого вывода, главным результатом работы которой является построение развертки. С логической точки зрения развертку можно определить как максимальную конъюнкцию всех простых следствий, выводимых из данного понятия.

Для администрирования онтологии используется специализированный онторедактор. Функциональность онторедактора можно определить следующим перечнем.

Броузинг и поиск.

Редактирование (ввод, корректировка, удаление).

Логический контроль при вводе.

Тестирование функциональности.

Взаимодействие с другими онтологиями (импорт — экспорт, обычно с использованием коммуникативных форматов представления).

Специфичным для данного онторедактора является возможность тестирования функциональности как на случайных выборках, так и для задаваемых администратором концептов. В процессе тестирования строится развертка понятия, для пары понятий вычисляются объемное отношение и ассоциированные отношения.

Редактор имеет графический интерфейс, обеспечивающий визуальный режим редактирования. тезаурус поисковый онторедактор Специфической проблемой практически всех инструментов управления словарями является переменный состав словарной статьи: набор релевантных описываемому объекту признаков должен формироваться (уточняться) в самом процессе построения словарного описания. С этим связаны очевидные сложности, касающиеся как организации диалогового ввода, так и хранения данных. В редакторе InTez первая проблема решается посредством организации регламентированного диалога, управляемого вводимыми данными; вторая — путем использования в таблицах БД полей с переменной семантикой. В процедуре регламентированного диалога набор признаков, релевантных текущей ситуации ввода, перевычисляется после добавления к словарной статье очередного признака. С точки зрения пользователя дело обстоит так, что ему всегда предъявляются в процессе ввода только релевантные признаки, и, соответственно, только релевантные наборы их значений. Логический контроль ввода оказывается побочным результатом построенной таким образом процедуры ввода словарных описаний.