|
Vyučující
|
-
Masopust Tomáš, doc. RNDr. Ph.D., DSc.
|
|
Obsah předmětu
|
Sémantický web představuje moderní vývoj současného WWW s cílem přiřadit datům význam tak, aby je bylo možné sdílet, automaticky o nich uvažovat a používat pomocí automatizovaných aplikací. Podstatou sémantického webu je sémantická representace a uvažování o datech za pomoci popisných logik. 1. Úvod do popisných logik 2. Základy teorie modelů 3. Usuzování v popisných logikách 4. Tableau algoritmus 5. Výpočetní složitost 6. Usuzování ve speciálních třídách popisných logik 7. Query answering 8. OWL a jeho aplikace 9. SPARQL
|
|
Studijní aktivity a metody výuky
|
|
Přednášení, Demonstrace
|
|
Výstupy z učení
|
Seznámit se se základními technikami používanými v sémantickém webu.
1. Znalost Schopnost pracovat se sémantickým webem a znalost základních principů a technologií
|
|
Předpoklady
|
Předpokládá se základní znalost matematických struktur, logiky prvního řádu a teoretické informatiky.
|
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Seminární práce
Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní či písemné zkoušky.
|
|
Doporučená literatura
|
-
A. Lukasová, M. Žáček, M. Vajgl, Z. Telnarová. (2019). Formální logika a sémantický web. Západočeská univerzita, Plzeň.
-
F. Baader (ed.). (2003). The Description Logic Handbook. Cambridge University Press.
-
Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler. (2017). An introduction to description logic.
-
G. Antoniou, P. Groth, F. van Harmelen, R. Hoekstra. (2012). A Semantic Web Primer. MIT Press.
-
L. Yu. (2014). A Developer?s Guide to the Semantic Web. Springer.
-
P. Hitzler, M. Kroetzsch, S. Rudolph. (2010). Foundations of Semantic Web Technologies. CRC Press.
|