'

Фазлиев А.З.

Понравилась презентация – покажи это...





Слайд 0

Использование онтологий при анализе предметных областей и проектировании научных информационно-вычислительных систем Фазлиев А.З.


Слайд 1

История Проект ATMOS (Intas-(2001-2004)) Проекты РФФИ (6 проектов/10 лет) Атмосферная спектроскопия, атмосферная радиация, климат и погода, атмосферная химия Атмосферный аэрозоль


Слайд 2

Проект ATMOS Структура предметной области Атмосферная спектроскопия Атмосферный аэрозоль Атмосферная радиация Атмосферная химия Динамика атмосферы Климат и погода


Слайд 3

Модель процедурной предметной области Сеть задач Цепь задач Типы задач Вычислительные Измерительные


Слайд 4

Задача (входные и выходные данные) Модель вычислительной задачи


Слайд 5

Схема данных Ограничения (модель предметной области) Вычисления со значениями данных Данные – структура, ограничения и вычисления Данные задачи предметной области


Слайд 6

Схемы данных (уровень энергии, квантовые числа (v1, v2, v3, J, ka, kc), функция потенциальной поверхности, ….) Ограничения (w<45000 cm-1, ka+kc=J \/ J+1, симметрия молекулы, …) Вычисления со значениями данных (интегро-дифференциальные, алгебраические и т.д.) Данные задачи нахождения уровней энергии


Слайд 7

Схема метаданных Ограничения на значения метаданных Вычисления, связанные со значениями метаданных В репозитариях метаданных схемы данных являются данными. Метаданные задачи


Слайд 8

Схемы метаданных (интенсионалы данных, экстремальные значения данных, нарушения ограничений, …) Ограничения на значения метаданных (нет) Вычисления, связанные со значениями метаданных (нахождение min, max значений, проверка ограничений, …) Метаданные задачи нахождения уровней энергии


Слайд 9

Цепь прямых вычислительных задач (вычисление уровней энергии, вычисление частот переходов, вычисление параметров спектральных линий, вычисление спектральных функций) Цепь обратных вычислительных задач (вычисление параметров спектральных линий, вычисление частот переходов, приписывание квантовых чисел, вычисление уровней энергии) Модель молекулярной спектроскопии


Слайд 10

Молекула, атом, вакуум, излучение, уровень энергии, квантовое число, частота перехода, интенсивность, сдвиг линии, коэффициент поглощения, точность измерения частоты перехода, … Иметь уровень энергии, иметь частоту перехода, …. Концептуализация молекулярной спектроскопии Глобальные задачи


Слайд 11

Мin (max) значение уровня энергии (вакуумной частоты перехода, J, …), число уровней энергии (….), авторы, публикация, …. Иметь Jmax, иметь автора, ….. Концептуализация молекулярной спектроскопии Локальные задачи


Слайд 12

Схема для баз знаний Ограничения на логику Логические выводы, семантический поиск, …. Явная спецификация разделяемой концептуализации Онтологии задач


Слайд 13

Схема для баз знаний (молекула-> уровень энергии -> квантовые числа) Ограничения на логику (SHOIQ) Автоматизированные логические выводы и семантический поиск Онтология задачи нахождения уровней энергии


Слайд 14

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


Слайд 15

Информационно-вычислительная система Структура ИВС (слой данных и вычислений, информационный слой, слой знаний) Ограничения (программное обеспечение, модель пользователя, …) Сбор, хранение, доставка и предоставление информационных ресурсов и сервисов


Слайд 16

Проект WonderWeb Три поколения Web Ручная запись HTML Машинная генерация HTML Машинная генерация семантических аннотаций (Semantic Web)


Слайд 17

Проект WonderWeb Требование к библиотеке Минимальность Строгость (точность) Разделяемость


Слайд 18

Проект WonderWeb FOL DOLCE – descriptive ontology for linguistic and cognitive engineering. Particular – сущность не имеющая индивидов Universal - сущность имеющая индивиды


Слайд 19

Проект WonderWeb Базовые категории DOLCE


Слайд 20

Проект WonderWeb Endurants and Perdurants Endurants – сущности находящиеся во времени, но не имеющие зависящих от времени частей. OWL: Индивид количественные значения свойств которого не изменяются во времени Perdurants - сущности находящиеся во времени и имеющие зависящие от времени части OWL: Индивид количественные значения свойств которого изменяются во времени


Слайд 21

Проект WonderWeb Qualities and quality regions Qualities являются Particulars, Properties являются Universals. OWL: Subject – Predicate - Object. Пример: Predicate = Quality, Predicate-Object = Property OWL: Quality region = Range Пример: Цвет Пространство и время – специальные качества (!?)


Слайд 22

Проект WonderWeb Qualities and quality regions Два вида неотъемлемости качества: прямая и не прямая неотъемлемость. Perdurants имеют определенную локализацию во времени, но их пространственная локализация определяется не прямым образом. Endurants (физические) имеют явную локализацию в пространстве, а локализация во времени определяется неявно в зависимости от Perdurants в который они входят. В онтологии DOLCE для качеств не определено отношение части.


Слайд 23

Проект WonderWeb Базисные аксиомы для примитивов


Слайд 24

Категории верхнего уровня Решетка категорий


Слайд 25

Описание физических сущностей Классификация ролей


Слайд 26

Описание абстракций Категории форм


Слайд 27

Описание абстракций Иерархии теорий


×

HTML:





Ссылка: