Zaključivanje u deskriptivnim logikama

master's thesis

• Title (english): Reasoning in description logics
• Author: Tomislav Belcar
• Mentor: Sandra Lovrenčić (mentor); MBZ: 229934
• Committee member: Mirko Čubrilo; MBZ: 135963
• Granter: University of Zagreb; Faculty of Organization and Informatics; Varaždin
• Defense date and country: 2011-10-06, Croatia
• Scientific / art field, discipline and subdiscipline: SOCIAL SCIENCES; Information and Communication Sciences; Organization and Informatics

Abstract

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.

• Keywords: deskriptivne logike; zaključivanje; strukturalna supsumpcija; tableau metoda; fact++; racer; pellet; protege-owl
• Language: croatian
• URN:NBN: urn:nbn:hr:211:207651
• Study programme: Title: Database and Knowledge Base Studies; Study programme type: university; Study level: graduate; Academic / professional title: magistar/magistra informatike (magistar/magistra informatike)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Access restricted to students and staff of home institution
• Public note: Zbog automatske konverzije u pdf moguće su manje nepodudarnosti između originalnog dokumenta i verzije pohranjene u repozitorij.
• Created on: 2017-01-26 14:15:08