Účasť na prednáškach nebýva síce kontrolovaná, ale na cvičenia majú prísť študenti pripravení !!!
Pokial študenti nebudú na cvičenie dostatočne pripravení, cvičiaci má právo dať na cvičení, kontrolný test, aj bez toho aby to vopred oznámil.
V takomto prípade sa za kontrolný test môžu udelovať aj záporné body a budú zahrnuté do celkového hodnotenia.
Predmet je členený do nasledujúcich aktivít:
bude upresnené neskôr
Prednášky a cvičenia sa budú konať formou online prednášok prostreníctvom MS-Teams v termíne podľa rozvrhu.
Link na pripojenie k online prednáškam: Teams Prednaska RZZ
Kanály jednotlivych cvičení vytvoria cvičiaci a linky vám pošlú.
Rozšírenie vedomostí z formálnej logiky o základy deskripčnej logiky ako teoretickej bázy pre technológie sémantického webu.
Zvládnutie jazykov sémantického webu RDF, SPARQL a QWL.
Študent je schopný navrhovať ontologické modely, používať dedukčené algoritmy a integrovať ich do softvérových systémov.
Zápočtové testy: 55 bodov
Písomná skúška: 45 bodov
Na absolvovanie predmetu treba dosiahnuť v súčte za cvičenia s skúšku aspoň 56 bodov.
Termíny zápočtových testov budú upresnené cvičiacimi.
Rudolph; Foundations of Description Logics. Online http://www.aifb.kit.edu/images/1/19/DL-Intro.pdf
Štandardy a dokumnety W3C working group
Materiály z Technickej Univerzity v Drážďanoch http://www.inf.tu-dresden.de/?node_id=3386&ln=en
SPARQL kurz z univerzity v Cambridge http://www.cambridgesemantics.com/semantic-university/learn-sparql
Ontológie a Deskripčná logika
Apache Jena Projekt
Protege
RDF editory textové/grafické
OWL API