Naslov
Zaključivanje u deskriptivnim logikama
(Reasoning in description logics)

Autori
Belcar, Tomislav

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, diplomski

Fakultet
Fakultet organizacije i informatike

Mjesto
Varaždin

Datum
06.10

Godina
2011

Stranica
73

Mentor
Lovrenčić, Sandra

Ključne riječi
deskriptivne logike; zaključivanje; strukturalna supsumpcija; tableau metoda; protege-owl; Fact++; Pellet; Racer Pro; HermiT
(description logics; reasoning; strucutral supsumption; tableau method; protege-owl; Fact++; Pellet; Racer Pro; HermiT)

Sažetak
Deskriptivne logike bitan su dio razvoja aplikacija Semantičkog Weba i zaključivanja nad ontologijama. U radu su opisane deskriptivne logike kao formalni jezik te njihov povijesni razvoj. Objašnjen je osnovni jezik deskriptivne logike i njegova proširenja. Prikazani su načini zaključivanja u deskriptivnim logikama (strukturalna supsumpcija i tableau metoda), kao i primjena metoda zaključivanjem. Nakon opisa najvažnijih alata zaključivanja temeljenih na deskriptivnoj logici (Fact++, Pellet, Racer Pro, HermiT) razvijen je primjer uporabe i korisnosti zaključivanja u deskriptivnim logikama.

Izvorni jezik
Hrvatski

Znanstvena područja
Informacijske i komunikacijske znanosti

POVEZANOST RADA