Фазлиев А.З.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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