Коллоквиум: Семантические технологии: новая жизнь для математической логики

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