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

Слайд 0

Компоненты онтологических систем и их реализация в современных проектах Санкт-Петербургский государственный университет Институт филологических исследований Лаборатория информационных систем Л. М. Пивоварова, В. Ш. Рубашкин

Слайд 1

Онтология – спецификация концептуализации. (Т. Грубер) Данная работа является обзором основных точек зрения на представление знаний и управление знаниями в онтологических системах.

Слайд 2

Существующие обзоры: Овдей О. М., Проскудина Г. Ю. Обзор инструментов инженерии онтологий // Труды Шестой Всероссийской научной конференции "Электронные библиотеки: перспективные методы и технологии, электронные коллекции", 2004 Gomez-Perez A., Fernando-Lopez M., Corcho O. Ontological Engineering with examples from the areas of Knowledge management, e-Commerce and the Semantic Web – 2nd. Ed. – London, Springer-Verlag – 2004 Mizoguchi R. Ontology Engineering Environments // Handbook on Ontologies; ред. Staab S., Studer R. – Berlin, Springer-Verlag - 2003 L. Stojanovic, B. Motik Ontology Evolution within Ontology Editors // Proceedings of EON2002 Evaluation of Ontology-based Tools, 2002

Слайд 3

Мы считаем наиболее важными следующие аспекты: Базовый язык представления знаний и аксиоматика онтологии. Наполнение онтологии знаниями и интеграция накопленных ранее знаний. Ограниченный логический вывод. Связь онтологии с естественным языком. Инструментарий для работы с онтологиями (онторедактор).

Слайд 4

Protege SUMO KAON2 CYC DOLCE Hozo AKT Omega WebODE WebONTO DIP Существующие проекты

Слайд 5

Protege Онторедактор и инструмент для построения баз знаний Stanford Center for Biomedical Informatics Research at the Stanford University School of Medicine Protege Frames / Protege OWL

Слайд 6

Соответственно, могут быть реализованы основные выразительные возможности OWL: различение индивидов, классов и свойств иерархия классов и свойств ограничения на свойства области значений и области применения перечислимые классы взаимоисключающие классы Функции ввода и редактирования реализованы, по возможности, в виде отдельных кнопок и выпадающих списков. Язык представления: OWL

Слайд 7

Слайд 8

позволяет быстро и относительно просто сконструировать небольшую предметную онтологию имеет расширяемую архитектуру, которая позволяет легко встраивать его в прикладные программы (за счет Java-плагинов) не имеет никакой встроенной онтологии и рассчитана на создание прикладных онтологий с нуля не предусмотрена связь с естественным языком

Слайд 9

SUMO Suggested Upper Merged Ontology, проект IEEE Цель: интеграция существующих онтологий в единую, всеобъемлющую, способную к расширению структуру, которая имела бы статус универсального стандарта и могла бы использоваться в различных прикладных и исследовательских проектах

Слайд 10

SUMO – онтология верхнего уровня: ~1000 понятий, ~5000 аксиом МILO – онтология промежуточного уровня Отраслевые онтологии Весь корпус онтологий: ~20000 понятий, ~60000 аксиом

Слайд 11

Язык представления: SUO-KIF; для SUMO выполнен перевод на OWL Разработана полная система соответствий понятий SUMO с лексическими единицами WordNET (для английского языка) Онторедактор и машина логического вывода отсутствуют

Слайд 12

KAON2 Инфраструктура для управления онтологиями, ориентированная на SemanticWeb и бизнес-приложения University of Karlsruhe, University of Manchester

Слайд 13

Обладает машиной логического вывода и ответов на запросы Позволяет управлять онтологиями Имеет программный интерфейс для взаимодействия с другими приложениями Может использоваться в качестве онтологического сервера Обладает механизмом извлечения знаний из реляционных баз данных

Слайд 14

Онтология рассматривается с точки зрения структуры, а не содержания Машина логического вывода наилучшим образом работает с онтологиями c компактной T-частью и обширной A-частью Позволяет импортировать онтологии на языках OWL-DL, SWRL и F-Logic; для задач логического вывода используется собственный внутренний язык, основанный на клаузах Хорна

Слайд 15

Многоцелевая база знаний и машина логического вывода, направленная на семантизацию программного обеспечения за счет базовых интуитивных знаний (здравого смысла) Cycorp Коммерческая система, ориентированная на использование в бизнес-процессах СYC

Слайд 16

Язык представления знаний: CycL - гибридный язык, сочетающий в себе свойства фреймов и логики предикатов Основное содержание онтологии – это предложения, сконструированные из предикатов Многоуровневое представление онтологии в виде иерархии микротеорий Не предъявляется требование непротиворечивости на глобальном уровне

Слайд 17

328 000 концептов >3 500 000 утверждений 23 000 микротеорий 20 000 существительных 40 000 словосочетаний 100 000 имен собственных

Слайд 18

Выводы Крупные онтологические проекты с точки зрения их функциональности не столько конкурируют, сколько дополняют возможности друг друга Готового полнофункционального и наполненного знаниями ресурса не существует.