slide1 n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
?????? ? ????????????? ??????????????? ???????? ? ??????????????? ??????????? PowerPoint Presentation
Download Presentation
?????? ? ????????????? ??????????????? ???????? ? ??????????????? ???????????

Loading in 2 Seconds...

play fullscreen
1 / 15

?????? ? ????????????? ??????????????? ???????? ? ??????????????? ??????????? - PowerPoint PPT Presentation


  • 117 Views
  • Uploaded on

Работа с неоднородными онтологическими моделями и онтологическими контекстами. Скворцов Н. А. ИПИ РАН. Неоднородность онтологий. На уровне моделей: различный синтаксис языков, определяющих онтологические модели; различная выразительность моделей;

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about '?????? ? ????????????? ??????????????? ???????? ? ??????????????? ???????????' - philomena


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
slide1

Работа с неоднородными онтологическими моделями и онтологическими контекстами

Скворцов Н. А.ИПИ РАН

Симпозиум «Онтологическое моделирование» Звенигород, 20-21 мая 2008

slide2
Неоднородность онтологий

На уровне моделей:

  • различный синтаксис языков, определяющих онтологические модели;
  • различная выразительность моделей;
  • различная семантика примитивов, используемых в моделях.

На онтологическом уровне:

  • конфликты имен;
  • разные подходы к выражению понятий;
  • разные подходы к гранулированию понятий;
  • разное покрытие предметной области;
  • разные точки зрения на предметную область.

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide3
Три аспекта
  • Неоднородность онтологических моделей
  • Неоднородность на понятийном уровне
  • Преобразование данных между контекстами, определяемыми онтологиями

Онтологическое моделирование Звенигород, 20-21 мая 2008

slide4
Неформальные модели
  • J. Sowa
    • Терминологические модели
    • Методы информационного поиска
    • Понятия, несколько видов семантических отношений
    • Примитивные отношения: иметь, быть экземпляром, быть подклассом, быть темпоральной частью, быть пространственной частью
  • N. Guarino
    • Наиболее приближена к философии
    • Формальные отношения N. Guarino: конкретизацию, принадлежность, частичность, связь, местоположение, расширение, зависимость. Формальные свойства включают конкретность, абстрактность, экстенсиональность, единство, множественность и другие.
    • Они оказываются полезны при проверке корректности, как внутренней структуры онтологии, так и при сопоставлении понятий разных онтологий.

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide5
Формальные модели
  • Одна из первых – модель языка Ontolingua.
    • Язык для однородного представления онтологических знаний
    • Онтологическая модель построена на объектах, представляемых фреймами
    • Утверждения на языке KIF
    • Не поддаются автоматическому логическому выводу для многих задач
  • Языки RDF или RDF-Schema
    • Не даёт желаемой формальной семантики
  • Класс моделей на дескриптивных логиках
    • Возможность автоматического логического вывода
    • Classic, OIL, DAML+OIL, OWL

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide6
Унификация онтологических моделей
  • Построение отображения исходных моделей в целевую
    • коммутативное отображение моделей на основе уточнения спецификаций
  • Частное решение для Ontolingua
    • OKBC (OpenKnowledgeBaseConnectivity)
    • Расширяемая фреймовая модель: классы, фреймы, слоты, фасеты и некоторыми свойства отношений
    • Программный интерфейс распределённого репозитория онтологий.
    • OKBC является частью сервера Ontolingua
    • Онтологические модели отображают на интерфейс OKBC
  • Специфика онтологических моделей (разновидности сущностей и связей, основание на представлении знаний) не находит должного отражения в методиках отображения онтологических моделей.

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide7
Метаонтология для отображения онтологических моделей

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

В спецификации онтологической модели U и V элементы аннотированы описаниями AU и AV в терминах метаонтологии верхнего уровня.

Найдя в AV подпонятия описаний AU, имеем основание предполагать, что примитивы, связанные в этими аннотациями, онтологически релевантны по O, и для них можно построить отображение.

O

Au

Av

Muv

U

V

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide8
Согласование онтологических контекстов
  • Онтологии могут являться различными точками зрения на одну и ту же предметную область, задавая онтологические контексты.
  • Задача интеграции онтологий для согласования онтологических контекстов.
  • Интеграция общий термин – процесс поиска общностей между онтологиями.
  • Унификация онтологий – процесс приведения онтологических спецификаций к однородной онтологии. При этом производится поиск общих частей онтологий, разрешаются конфликты и строится отображение понятий одной онтологии в другую.

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide9
Отображение онтологических контекстов

Правила или формулы преобразования одной онтологии к другой называется отображением онтологий.

Может появиться необходимость ввести новые подтипы или супертипы понятий или отношений, чтобы обеспечить подходящих кандидатов для точного отображения. Эти понятия и отношения составляют расширение Euонтологии.

Подлежащая общая онтология верхнего уровня O используется при отображении. A1, A2 – множества определений понятий онтологий в терминах O. Найдя в A2 подпонятия описаний A1, имеем основание предполагать, что соответствующие понятия онтологий онтологически релевантныпо O, и для них можно построить отображение.

O

A1

A2

Eu

M12

O1

O2

M12

O1

O2

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide10
Подходык интеграции онтологий
  • вербальные – оценка степени связи онтологических понятий лексически, обрабатывают вербальные определения и имена понятий и связей, выделяют основы слов, разбирают словосочетания, исключают стоп-слова, учитывают расстояния между словами, синонимы из тезаурусов и так далее, оценка степени связи онтологических понятий лексически (используется в той или иной мере большинством проектов, SF, S-Match, OLA);
  • структурные – множество различных подходов, в основном, эвристических, учитывающих таксономию, различные виды связей, вывод в предикативной или дескриптивной логике (IF-Map, QOM, Chimaera, Prompt, OBSERVER, OntoClean);
  • с использованием внешних источников информации, в частности, WordNet (SMatch), экстенсионалов понятий, соотношения схем и онтологий;
  • Интерактивные – инициализирующие соответствия понятий, выбор из предлагаемых эвристически альтернатив, дальнейшие вычисления при этом зависят от выбора эксперта, например, отклик произошедшего изменения по связям или правилам (Prompt, Chimaera, ONION)

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide11
Методыв основе вычислений
  • эвристические формулы и правила (Prompt, Chimaera, QOM, IF-Map);
  • Анализ графов (OntoClean, SF, Anchor-Prompt);
  • Обучающиеся подходы: использование статистики, значений и экземпляров (GLUE);
  • Вероятностные подходы (вероятностное сопоставление результатов работы эвристических методов);
  • Формальные вывод и доказательство (OBSERVER, SMatch).

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide12
Проекты с методами интеграции онтологий (2)

SMatch

  • Позиционируется как система сопоставления схем.
  • Проект транслирует понятия в логические формулы.
  • Сопоставляет понятия онтологий по WordNet.
  • Решатель SAT используется для выявления отношений эквивалентности и между понятиями для отображения.

GLUE

  • представляет мощный комбинированный подход к связыванию онтологий, использующий обучение по данным экземпляров понятий.
  • Используется несколько машин обучения и метаобучатель, взвешивающий их результаты в соответствии с тем, какие результаты выдавал конкретный подход во время обучения.

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide13
Корректность отображения онтологий

Метасвойства по Guarino:

  • Идентификация – является ли утверждение об объекте идентифицирующими его свойством
  • Неизменность – может ли свойство меняться во времени.
  • Зависимость – может ли объект существовать без других
  • Постоянность – как долго сущность остаётся таковой
  • И много других

OntoClean:

  • Со всяким как бинарным, так и унарным отношением, в качестве метаданных связаны их различные свойства, такие как.
  • Проверка онтологии с использованием семантических свойств понятий.
  • Эта методология может использоваться и для проверки связей, установленных между интегрируемыми онтологиями.
  • Эта задача представима в виде построения отображения онтологических контекстов с учётом онтлогии верхнего уровня.

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide14
Необходимость коллективной экспертной работы
  • Все перечисленные подходы не автоматические, в основном, неформальные, не гарантирующие правильного отображения онтологических контекстов
  • Некоторые вопросы в области интеграции онтологий и развития онтологий остаются открытыми и до сих пор.
  • "Хороший" путь интеграции онтологий сегодня является предметом интенсивных исследований.
  • Применяя существующие методики, невозможно автоматически интегрировать онтологии, созданные разными рабочими группами.
  • Семантические различия похожих понятий могут выясняться иногда только в процессе дискуссий, на основе применения онтологий к одним и тем же примерам моделей и объектов реального мира, проверки идентичности классов объектов реального мира.
  • Рабочая группа по гармонизации онтологий CIDOC CRM + ABC (2001) обнаруживала много различий в понимании понятий, которые с первого взгляда казались идентичными, даже не на первой встрече.

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008

slide15
Преобразование информации между онтологическими контекстами

OBSERVER: Преобразование запросов

Отображение общей онтологии на онтологию пользователя в терминах дескриптивной логики

Запрос в терминах пользовательской онтологии преобразовывается в термины общей онтологии и обрабатывается системой.

ECOIN: Преобразование данных

Общая онтология.

Универсальные правила преобразования между контекстами в терминах онтологии.

Контекст - конкретизация общей онтологии.

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

O

С1

С2

V1

V2

Симпозиум "Онтологическое моделирование", Звенигород, 20-21 мая 2008