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

В рамках данного курса слушатели знакомятся с базовой теорией и практикой таких научных областей как Представление знаний и вывод на знанияхОнтологический инжиниринг и другие.

Во 2-м семестре 2017 г. занятия проходят у групп P4115 и P4117 в 303-й ауд. по средам (четная неделя) с 17:00 до 20:00. Консультации (ответы на вопросы и т.д.) проходят сразу после занятий в 303-й или 366-й ауд.

Лекции

  1. Введение в область представления знаний (презентация)
  2. Язык логики первого порядка (First-Order Logic, FOL)
  3. Продукционные системы и правила
  4. Выразительность и разрешимость
  5. Введение в формальные онтологии. Языки RDF и RDF Schema
  6. Язык Web Ontology Language (OWL), OWL Profiles

Практика

  1. Создание онтологии в редакторе Protégé 5

Рекомендованая литература

Общение

Обсуждение материалов курса и публикация новостей происходит через приложение Google Groups. Ссылка на группу: https://groups.google.com/forum/#!forum/itmo-semweb-course.

Контакты

Колчин Максим Александрович, kolchinmax@niuitmo.ru

Информация © 2015-2018 Университет ИТМО
Разработка © 2015 Департамент информационных технологий