prikaz prve stranice dokumenta Zaključivanje u deskriptivnim logikama
Pristup korisnicima matične ustanove
diplomski rad
Zaključivanje u deskriptivnim logikama
2011. urn:nbn:hr:211:207651
Belcar, Tomislav
Sveučilište u Zagrebu
Fakultet organizacije i informatike

Citirajte ovaj rad

Belcar, T. (2011). Zaključivanje u deskriptivnim logikama (Diplomski rad). Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:207651

Belcar, Tomislav. "Zaključivanje u deskriptivnim logikama." Diplomski rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2011. https://urn.nsk.hr/urn:nbn:hr:211:207651

Belcar, Tomislav. "Zaključivanje u deskriptivnim logikama." Diplomski rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2011. https://urn.nsk.hr/urn:nbn:hr:211:207651

Belcar, T. (2011). 'Zaključivanje u deskriptivnim logikama', Diplomski rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 23.01.2025., https://urn.nsk.hr/urn:nbn:hr:211:207651

Belcar T. Zaključivanje u deskriptivnim logikama [Diplomski rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2011 [pristupljeno 23.01.2025.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:207651

T. Belcar, "Zaključivanje u deskriptivnim logikama", Diplomski rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2011. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:207651

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:211:207651
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovZaključivanje u deskriptivnim logikama
Naslov (engleski)Reasoning in description logics
AutorTomislav Belcar
MentorSandra Lovrenčić (mentor)
MBZ: 229934
Član povjerenstvaMirko Čubrilo
MBZ: 135963
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet organizacije i informatike
Varaždin
Datum i država obrane2011-10-06, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		DRUŠTVENE ZNANOSTI
Informacijske i komunikacijske znanosti
Organizacija i informatika
Sažetak
Deskriptivne logike bitan su dio razvoja aplikacija Semantičkog Weba i zaključivanja nad ontologijama. Diplomski rad na temu Zaključivanje u deskriptivnim logikama sadrži uvodni dio, opisa samog problema te kao zaključak primjer ontologije atletike izrađen u Protege-u. Kroz rad su opisane deskriptivne logike kao formalni jezik te njihov povijesni razvoj. Nakon toga opisan je osnovni jezik deskriptivne logike i njegova proširenja. Rad isto tako sadržava načine zaključivanja u deskriptivnim logikama (strukturalna supsumpcija i tableau metoda), te primjenu metoda zaključivanjem. Na samom kraju opisani su alati za zaključivanje koji se baziraju na deskriptivnoj logici (FaCT++, RacerPro, Pellet i HermiT), te izrađen primjer uporabe i korisnosti zaključivanja u deskriptivnim logikama.
Ključne riječi
Jezikhrvatski
URN:NBNurn:nbn:hr:211:207651
Studijski programNaziv: Baze podataka i baze znanja
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra informatike (mag.inf.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaPristup korisnicima matične ustanove
Uvjeti korištenjaIkona licence Imenovanje-Nekomercijalno-Bez prerada 3.0 (CC BY-NC-ND 3.0)
Javna napomenaZbog automatske konverzije u pdf moguće su manje nepodudarnosti između originalnog dokumenta i verzije pohranjene u repozitorij.
Datum i vrijeme pohrane2017-01-26 14:15:08