ФОРМИРОВАНИЕ ВЫРАЖЕНИЙ ВЗГЛЯДОВ В ЗАДАЧЕ РЕГИСТРАЦИИ РЕСУРСОВ В ПРЕДМЕТНЫХ ПОСРЕДНИКАХ Рябухин О.В.Брюхов Д.О.Калиниченко Л.А. Институт проблем информатики РАН г. Москва

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

Концепция посредников как средства интеграции ресурсов Предметный посредник : ориентирован на поддержку решения задач над множеством неоднородных информационных ресурсов занимает место между пользователем и ресурсами предоставляет общий интерфейс доступа к ним позволяет преодолеть модельную неоднородность ресурсов ( при помощи канонической информационной модели ) использует технику виртуальной интеграции ( основа - подход LAV - информационные классы ресурсов выражаются как композиция виртуальных классов посредника ) Посредник Адаптер

Техники LAV (Local-as-view) и GAV (Global-as-view) Информационный ресурс Посредник

Техники LAV (Local-as-view) и GAV (Global-as-view) Информационный ресурс Посредник

Техники LAV (Local-as-view) и GAV (Global-as-view) Информационный ресурс Посредник

Техники LAV (Local-as-view) и GAV (Global-as-view) Информационный ресурс Посредник LAV

Техники LAV (Local-as-view) и GAV (Global-as-view) Информационный ресурс Посредник

Техники LAV (Local-as-view) и GAV (Global-as-view) Информационный ресурс Посредник

Техники LAV (Local-as-view) и GAV (Global-as-view) Информационный ресурс Посредник

Техники LAV (Local-as-view) и GAV (Global-as-view) Информационный ресурс Посредник GAV

Взгляды Взгляды : определяют как классы ресурса выражаются посредством классов посредника (LAV) формулируются с помощью формул на языке, являющемся вариантом типизированного языка логики первого порядка предикаты в формулах соответствуют классам и функциям. Правила имеют вид : Q(v/T v ):-C 1 (v 1 /T v1 ) &..& C n (v n /T vn ) & F 1 (t 1,y 1 ) &..& F m (t m,y m ) & B

GLAV (Global-Local-as-View) GLAV (Global-Local-as-View) - соединяет в себе преимущества техник GAV и LAV для устранения конфликтов между спецификациями используются функции разрешения конфликтов, которые могут быть размещены в теле GAV- правила техника L AV используется для выражения классов ресурса через классы посредника

Общий вид процесса регистрации ИР в посредниках поиск ресурсов, релевантных задаче сопоставление спецификаций GLAV формирование взглядов Посредник

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

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

Пример. Схема посредника Предметная область - задача поиска далеких галактик CatalogData - данные, накапливаемые в различных каталогах астрономических объектов CoordEQJ - координаты OpticalCatalogData - данные, накапливаемые в оптических каталогах Magnitude - соответствует понятию звездной величины.

Пример. Схема ресурса в примере рассматривается информационный ресурс SDSS ( Sloan Digital Sky Survey ) содержит обзор части неба в оптическом диапазоне

Поиск релевантных классов Для каждого класса ресурса : Взять тип экземпляров данного класса Найти релевантные ему типы посредника, которые являются типами экземпляров каких - либо классов посредника Выдать результат эксперту

Поиск релевантных классов релевантные типы потенциально релевантные классы

Представление спецификации типа в виде дерева Определение. Дерево типа T строится по следующим правилам : корнем дерева является тип T вершинами дерева уровня i+1 являются типы {T i+1 } непосредственно связанные с произвольным типом T i уровня i посредством атрибута - ссылки (T i –a T i+1 ) и не содержащиеся в пути между типами T и T i ребрами дерева являются атрибуты - ссылки листьями дерева являются атрибуты - значения типов

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

Поиск общих фрагментов Информационный ресурсПосредник

Композиция общих фрагментов Для последующей типизации голов GAV и LAV правил, сформировать композиционные типы соединением построенных фрагментов типов посредника и ресурса. Выдать результат эксперту.

Композиция общих фрагментов

Формирование взглядов GAVLAV

Формирование взглядов LAV v_SDSS_OData(x/CT_OData [name, coord,coord_ra, coord_de, magnitude,magnitude_magValue, magnitude_magError,magnitude_filter] ) :- opticalCatalogData(x/OpticalCatalogData [name, coord, magnitude,coord_ra:coord.ra, coord_de:coord.de,magnitude_magValu e: magnitude.magValue,magnitude_magEr ror: magnitude.magError,magnitude_filter: magnitude.filter] ) LAV

Формирование взглядов GAV v_SDSS_OData(x/CT_Odata [name, coord, coord_ra, coord_raError, coord_de, coord_deError, magnitude, magnitude_magValue, magnitude_magError, magnitude_filter] ) :- photoPrimary(x/CT_SDSS [name:objID,coord_ra: ra, coord_de: dec]) & get_coord(x, coord) & get_magnitude(x, magnitude) & get_magValue(x, magnitude_magValue) & get_magError(x, magnitude_magError) & get_filter (x, magnitude_filter) GAV

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

СПАСИБО ЗА ВНИМАНИЕ !