Онтология и представление знаний

Общая информация
ЛекторБ. Ю. Конев
Семестросень 2010
Дата начала25.09.2010
Количество пар10
Язык курсарусский
Вопросы к экзамену
Видеоhttp://lektorium.tv/course/?id=22781
Аннотация

В информатике термин "онтология" означает формальное представление знаний. Онтологии определяют понятия (концепции), относящиеся к какой-то области, а также задают отношения между этими терминами. Онтологии используются в таких областях информатики, как представление знаний, медицинская и биоинформатика, а также семантическая паутина (semantic web). Современные онтологии могут содержать десятки и сотни тысяч определений, поэтому они часто имеют формат, удобный для чтения компьютером, и имеют строгую логическую базу.

В данном курсе будут рассмотрены логические языки, используемые для построения и манипулирования онтологиями, введены методологии дизайна и поддержки онтологий, рассмотрены алгоритмы автоматического логического анализа (reasoning problems), включая задачи классификации, извлечения экземпляров и поиска ответов на запросы к базе знаний. Также будут рассмотрены приложения.

Лекции Подсказка: слайды, видеозапись и другие материалы лекции доступны со страницы лекции, попасть на которую можно, нажав на её название.

1. Лекция 1
(25.09.2010 - 17:20 - 18:55)

Явное представление знаний. Онтологии в информатике. Примеры онтологий. Языки представления онтологий. RDF/S и его критика. http://lektorium.tv/lecture/?id=13064
2. Лекция 2
(25.09.2010 - 19:05 - 20:40)

Понятие дескрипционной логиги. Дескрипционная логика $ \mathcal{EL} $. http://lektorium.tv/lecture/?id=13065
3. Лекция 3
(26.09.2010 - 11:15 - 12:50)

Полиномиальный алгоритм для задачи классификации в дескрипционной логике $ \mathcal{EL} $. http://lektorium.tv/lecture/?id=13066
4. Лекция 4
(26.09.2010 - 13:00 - 14:35)

Дескрипционная логика $ \mathcal{ALC} $. Алгоритм проверки реализуемости $ \mathcal{ALC} $-концептов. http://lektorium.tv/lecture/?id=13067
5. Лекция 5
(26.09.2010 - 15:35 - 17:10)

Свойства алгоритма проверки реализуемости $ \mathcal{ALC} $-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с ациклической $ \mathcal{ALC} $-терминологией. Алгоритм классификации $ \mathcal{ALC} $-теорий. Расширения логики $ \mathcal{ALC} $. http://lektorium.tv/lecture/?id=13068
6. Лекция 6
(02.10.2010 - 17:20 - 18:55)

Зоопарк дескрипционных логик. Оптимизация логического анализа в $ \mathcal{ALC} $. Модуляризация онтологий. Семантическая локальность http://lektorium.tv/lecture/?id=13077
7. Лекция 7
(02.10.2010 - 19:05 - 20:40)

Модуляризация онтологий: синтаксическая локальность. Алгоритм выделения модулей. Элементы данных и ABox. Запросы к ABox. http://lektorium.tv/lecture/?id=13078
8. Лекция 8
(03.10.2010 - 11:15 - 12:50)

Данные и дескрипционные логики. Ответы на запросы к базам знаний. Алгоритмы для $ \mathcal{EL} $ и $ \mathcal{ALC} $. Семейство дескрипционных логик DL-Lite. Язык описания онтологий OWL. http://lektorium.tv/lecture/?id=13079
9. Лекция 9
(03.10.2010 - 13:00 - 14:35)

Цикл разработки онтологий: анализ требований и области применения; повторное использование; перечисление терминов; определение классов; определение свойств; ограничения; данные. Примеры http://lektorium.tv/lecture/?id=13080
Ваша оценка: Пусто Средняя: 4.3 (12 votes)
Share |
Борис Юрьевич Конев
Борис Юрьевич Конев читает лекцию в СS-клубе
Борис Юрьевич Конев со студентами