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

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