• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Коллоквиум ФКН: Семантические технологии: новая жизнь для математической логики. Докладчики: Михаил Захарьящев, НИУ ВШЭ / Birkbeck, University of London и Станислав Кикоть, ИППИ РАН/Birkbeck, University of London

Мероприятие завершено

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

 Афиша коллоквиума (PDF, 331 Кб)

 

Адрес мероприятия: Кочновский проезд, 3, ауд. 205
Заказать пропуск на проход в здание можно на computerscience@hse.ru