Út 12:30-14:05 v 2014
Podmínkou je absolvovaný alespoň kurz logiky
Anotace: Probírány budou souvislosti mezi ontologiemi používanými pro klasifikaci obsahu na webu, logickými teoriemi umožňujícími reprezentovat sémantický obsah a intensionální logikou. Předmět bude obsahovat jak teoretická východiska, tak i praktické aplikace ontologií. Dále budou zkoumány problémy při reprezentaci sémantického obsahu přirozeného jazyka.