1. ОНТОРЕДАКТОР КАК КОМПЛЕКСНЫЙ ИНСТРУМЕНТ ОНТОЛОГИЧЕСКОЙ ИНЖЕНЕРИИ Рубашкин В. Ш. , Пивоварова Л. М. Санкт-Петербургский государственный университет Кафедр а информационных систем факультета филологии и искусств
2. Онторедактор – инструментальная среда, предназначенная для создания онтологии или работы с ней.
3.
4.
5.
6.
7.
8. Конкретный пример – определение несовместимости понятий через использование таких конструкций как D isjointWith , D isjointUnion O f и др. <owl:Class rdf:ID=" Паста "> <rdfs:subClassOf rdf:resource="# Съестное "/> <owl:disjointWith rdf:resource="# Мясо "/> <owl:disjointWith rdf:resource="# Дичь "/> <owl:disjointWith rdf:resource="# Морепродукты "/> <owl:disjointWith rdf:resource="# Десерт "/> <owl:disjointWith rdf:resource="# Фрукты "/> </owl:Class> Создается явное впечатление, что предлагается описывать отношение объемной несовместимости способом «каждый с каждым»
9.
10.
11. NB : Внетаксономические импликативы: Мясо Твердая консистенция Дичь = df Мясо & Природного происхождения Водка – алкогольный напиток ----------------------------------------- Мясо Водка
12.
13.
14.
15. Обеспечение достоверности Формальная и содержательная правильность Процедура ввода должна обнаруживать и блокировать ввод, например, концепта, определяемого И-толковани ем вида Тигр животное And металлический ( определяющие концепты должны быть объемно совместимы ) Но: Лед квазиобъект And цилиндрической формы - формально правильн о (содержательная ошибка) . .
16.
17.
18. Обеспечение достоверности Конечная цель при проектировании процедур ввода состоит в том, чтобы полностью исключить формально определимые ошибки . При этом технологически "хорошее" решение будет состоять не в том, чтобы уметь обнаруживать формальные ошибки post factum , а в том, чтобы сама процедура ввода была спроектирована так, что бы ввод логически некорректных элементов описания оказыва л ся вообще невозможным.
19. Тестирование Проверить содержательную правильность описаний концептов можно только путем организации "лабораторных" испытаний и экспертной оценки их результатов администратором. Окончательную проверку и отладку ("бета-тестирование") онтология может пройти в рамках целевых информационных технологий. "Тестирование" отдельных концептов сводится к просмотру и проверке содержимого словарных статей и, следовательно, относится к компетенции подсистемы навигации и броузинга. Собственно тестирование как отличающаяся от броузинга процедура может состоять только в тестировании отношений между концептами – как объемных, так и ассоциативных.