filmov
tv
[Коллоквиум]: Семантические технологии: новая жизнь для математической логики
Показать описание
Докладчики:
Михаил Захарьящев, НИУ ВШЭ / Birkbeck, University of London
Станислав Кикоть, ИППИ РАН / Birkbeck, University of London
Общая цель лекции - показать, как развитие семантических технологий приводит к новым интересным задачам в математической логике и построению новых логических систем. В частности, мы расскажем о дескрипционных логиках, их связи с модальными логиками и языком семантической паутины OWL. Мы обсудим онтологический доступ к данным, основанный на редукции пар (онтология, конъюнктивный запрос) к первопорядковым запросам, возникающие в этой связи логические и сложностные проблемы, и продемонстрируем работу системы Онтоп. Наконец, мы коснемся онтологического доступа к временным (в частности, потоковым) данным и соответствующих фрагментов различных временных логик.
Михаил Захарьящев, НИУ ВШЭ / Birkbeck, University of London
Станислав Кикоть, ИППИ РАН / Birkbeck, University of London
Общая цель лекции - показать, как развитие семантических технологий приводит к новым интересным задачам в математической логике и построению новых логических систем. В частности, мы расскажем о дескрипционных логиках, их связи с модальными логиками и языком семантической паутины OWL. Мы обсудим онтологический доступ к данным, основанный на редукции пар (онтология, конъюнктивный запрос) к первопорядковым запросам, возникающие в этой связи логические и сложностные проблемы, и продемонстрируем работу системы Онтоп. Наконец, мы коснемся онтологического доступа к временным (в частности, потоковым) данным и соответствующих фрагментов различных временных логик.