ОНТОРЕДАКТОР КАК КОМПЛЕКСНЫЙ ИНСТРУМЕНТ ОНТОЛОГИЧЕСКОЙ ИНЖЕНЕРИИ Рубашкин В. Ш., Пивоварова Л. М. Санкт-Петербургский государственный университет Кафедра информационных систем факультета филологии и искусств презентация

Л. М. Санкт-Петербургский государственный университет Кафедра информационных систем факультета филологии и искусств

ней.

и целостность

Инструмент для "выравнивания", слияния, (merging & mapping) и пополнения разнородных и даже основанных на разных моделях знаний частных онтологий.
Инструментальная среда, ориентированная на:
определенную функциональность онтологии;
определенную модель знаний;
построение единой "многодоменной" онтологии,
опирающейся на онтологию верхнего уровня (TopLevel)

отношений объемной совместимости/несовместимости
Представление и логическая обработка предметно-ассоциативных отношений
Поддержка представления и логической обработки количественных данных
Регламентация процедур описания объектов
Аксиоматизация описаний процессов, причинных связей, процедур

набором схем аксиом, определяющих дополнительные возможности системы вывода.

Используется для формального описания понятийно-терминологической системы: термины и связи между ними представляются как конструкты выбранного ЯПЗ (в идеале – как логические формулы некоторого логического исчисления).

Отсутствует разработанная методология формализации знаний.

*жидкая пирамида, *идеи спят,*медь смертна
Систематическое описание связи признаков по условиям применимости
Порядок деления на классы (расхожий пример: пол и возраст) vs фасетизация
Различение семантических примитивов и терминов, вводимых формальными толкованиями; средства определения терминов в ЯПЗ.

DisjointWith, DisjointUnionOf и др.








Создается явное впечатление, что предлагается описывать отношение объемной несовместимости способом «каждый с каждым»

…/
Продукты водной среды (животного происхождения)
Молочные продукты
Яйца
Растительного происхождения
Виды продуктов растительного
происхождения:
Овощи /зеленые, красные, другие;
листовые, плодовые, корнеплоды; …/
Фрукты
Смешанные
Синтетические

– алкогольный напиток
-----------------------------------------
Мясо → ¬ Водка

связям
Навигация по лексическим вариантам

лексических вариантов концепта
Графическое редактирование
Редактирование словарных описаний
Логический контроль данных при вводе

например, концепта, определяемого И-толкованием вида
Тигр ≡ животное And металлический
(определяющие концепты должны быть объемно совместимы)
Но:
Лед ≡ квазиобъект And цилиндрической формы
- формально правильно (содержательная ошибка).

.

категориальная ошибка (базовым признаком может быть только концепт класса наименование признака сочетающееся с числом);
правильно:
БАЗОВЫЙ ПРИЗНАК (метр) = линейный размер
Но:
БАЗОВЫЙ ПРИЗНАК (метр) = масса
- формально правильно (содержательная ошибка).

те и только те словарные признаки, которые релевантны для концептов данного типа
Непротиворечивость описания - словарные характеристики не должны противоречить друг другу. (в терминах OWL – не должны находиться в отношении Disjoint).
Правильность означивания - вводимые значения определяемых словарных признаков должны принадлежать области их допустимых значений.

полностью исключить формально определимые ошибки.

При этом технологически "хорошее" решение будет состоять не в том, чтобы уметь обнаруживать формальные ошибки post factum, а в том, чтобы сама процедура ввода была спроектирована так, чтобы ввод логически некорректных элементов описания оказывался вообще невозможным.

и экспертной оценки их результатов администратором.
Окончательную проверку и отладку ("бета-тестирование") онтология может пройти в рамках целевых информационных технологий.
"Тестирование" отдельных концептов сводится к просмотру и проверке содержимого словарных статей и, следовательно, относится к компетенции подсистемы навигации и броузинга.
Собственно тестирование как отличающаяся от броузинга процедура может состоять только в тестировании отношений между концептами – как объемных, так и ассоциативных.