Modelovanie ontológie pomocou editora Protégé
(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)
Cieľom práce je namodelovať vybranú ontológiu v open source editore Protégé a vo forme príkladov demonštrovať využitie reasonera nad vytvorenou ontológiou. Zvolenou ontológiou môže byť napríklad taxonómia právnickej zmluvy a príklady majú demonštrovať právnikom, na čo im ontológie ako používateľom môžu byť užitočné. Je veľký predpoklad, že z úspešne ukončenej bakalárskej práce môže po ďalšom dopracovaní vzniknúť obhájiteľná diplomová práca.
Požiadavky: absolvovať predmety Logické programovanie ASP, Sémantické základy znalostných systémov (1-INF-470)