17.09.14 в аудитории 525 ИФ РАН под председательством А. Родина прошёл семинар "Категории и онтологии для представления знаний"
Полный список докладов см. здесь.
Презентация см.: http://www.slideshare.net/alexshkotin/v2-39284832 или прикреп ПСОдПОП.v2.pdf.
Озвучка (одним куском, но нет оглашения текущего слайда:-()
Далее каждому слайду презентации сопоставлен кусочек звука (клик номер;-) и указаны заголовок слайда и точка начала его звука в озвучке.
1 <Титульный лист> - 0, 2 Формальная онтология это - 0'30, 3 Содержание - 2'14, 4 Введение - 3'30, 5 Формализация знаний - 4'08,
6 Формальная теория. Назначение - 7'07, 7 Формальная теория. Построение - 8'36, 8 Формализация фактов - 15'02,
9 Онтология словаря - 16'39, 10 Концентратор определений - 19'00, 11 Формальные определения - 19'41,
12 "Формализация фактов" - 21'25,
13 Подход - 21'27, 14 <Схема БД> - 24'23, 15 Описание БД Proba - 28'37, 16 Проблемы и задачи - 30'33, 17 ОЕЯ предложения. Подход - 30'52, 18 - ОЕЯ предложения. Пример 34'51, 19 Промежуточные итоги - 39'00, 20 OWL онтология - 40'09, 21 OWL 2. -1- - 41'00,
22 OWL 2. -2- - 43'23, 23 OWL 2. Пример - 46'34, 24 OWL 2. Пример. окончание - 48'23, 25 OWL-онтология № 5633 - 48'27,
26 Усмотрение - 49'12,
27 "OWL-онтология словаря и Концентратор определений" - 49'52,
28 Толковый словарь - 50'01, 29 Пример статьи словаря - 50'19, 30 От текста словаря к онтологии - 51'13,
31 Преобразования текста словаря в текст OWL-онтологии - 52'01, 32 Доступ к OWL-онтологии словаря - 52'53,
33 Концентратор определений - 53'17, 34 <Пример главного экрана Концентратора> - 53'33, 35 Свойства термина - 54'31,
36 Пространства имён - 55'07, 37 Заключение-1 - 56'31,
38 "Элементы формальной теории" - 56'54,
39 Первоисточники - 56'58, 40 <Диаграммы модальной классификации> - 0:57'27, 41 Требования к системе определений - 1:00'38,
42 «Первичные» предикаты и функции - 1:00'51, 43 Определения предикатов и функций - 1:02'48,
44 Определение предиката вида горной породы harzburgite - 1:03'54, 45 Обсуждение формулы - 1:09'29,
46 Свойства системы предикатов - 1:09'48, 47 Опорная формула для ультрамафических пород - 1:09'53,
48 Применение машин вывода - 1:11'02, 49 <Возможности машин вывода> - 1:14'39, 50 Эквивалентность классов -1- - 1:17'36,
51 Эквивалентность классов -2- - 1:18'20, 52 Эквивалентность классов -3- - 1:19'01, 53 Алгоритм классификации - 1:23'21,
54 <Блок-схема верхнего уровня> - 1:23'44, 55 Извлечение предиката вида породы - 1:24'18,
56 Ещё пример формального определение вида горной породы - 1:24'29,
57 Выводы и дальнейшие планы - 1:25'00, [58], 59 Acknowledgments - 1:28'43,
60 Спасибо за внимание - 1:31'09 (дискуссия минут на 20 и тема №1 - отражение в онтологии динамики/времени…)