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

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

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

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

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

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

1. Схемы данных (уровень энергии, квантовые числа (v 1, v 2, v 3, J, k a, k c ), функция потенциальной поверхности, ….) 2. Ограничения (w

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Иерархии теорий