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.