Modelovanie ontológie pomocou editora Protégé

(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)

Martin Baláž

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)