1-AIN-646 Deskripčné logiky, ontológie a sémantický web

RNDr. Martin Homola, PhD.

Priebežné hodnotenie: test

Záverečné hodnotenie: skúška

Cieľ predmetu: Cieľom predmetu je oboznámiť študentov s ontologickým inžinierstvom a so súčasnými ontologickými jazykmi navrhnutými pre sémantický web. Kurz sa zaoberá deskripčnými logikami (DL), RDF a OWL, tažisko kladúc na teóriu, ale diskutuje aj praktické využitie týchto technológií.

Stručná osnova predmetu:

Predstavíme ontologické inžinierstvo a DL ako ontologický reprezentačný jazyk. Podrobne sa zaoberáme niekoľkými DL, od základnej ALC, až po veľmi expresívnu logiku SHOIQ: vysvetlíme syntax, sémantiku, rozhodovacie problémy a inferenčné algoritmy, ako aj otázky výpočtovej zložitosťi. Druhá časť kurzu sa zameriava na súčasné ontologické technológie navrhnuté pre sémantický web, ako sú RDF a OWL. Vysvetlíme sémantiku, ich vzájomný súvis, ako aj ich súvis s DL.

Literatúra:

k predmetu sú k dispozícii skriptá

špecifikácie W3C k RDF a OWL

The Description Logic Handbook, Baader, F., et al. (eds.), Oxford University Press, 2003

Jazyk, v ktorom sa predmet vyučuje: anglický, slovenský