Zaključivanje u deskriptivnim logikama (CROSBI ID 368108)
Ocjenski rad | diplomski rad
Podaci o odgovornosti
Belcar, Tomislav
Lovrenčić, Sandra
hrvatski
Zaključivanje u deskriptivnim logikama
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.
deskriptivne logike; zaključivanje; strukturalna supsumpcija; tableau metoda; protege-owl; Fact++; Pellet; Racer Pro; HermiT
nije evidentirano
engleski
Reasoning in description logics
nije evidentirano
description logics; reasoning; strucutral supsumption; tableau method; protege-owl; Fact++; Pellet; Racer Pro; HermiT
nije evidentirano
Podaci o izdanju
73
06.10.2011.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Fakultet organizacije i informatike
Varaždin