Ontološki zasnovana analiza semantičke korektnosti modela podataka primenom sistema automatskog rezonovanja / Ontology based semantic analyses of data model correctness by using automated reasoning system

Description

<p>U radu je izvr&scaron;eno teoretsko istraživanje i analiza postojećih stavova i re&scaron;enja u oblasti validacije i provere kvaliteta modela podataka. Kreiran je teorijski model ontolo&scaron;ki zasnovane analize semantičke korektnosti modela podataka primenom sistema automatskog rezonovanja i izvr&scaron;ena praktična implementacija teorijskog modela, &scaron;to je potvrđeno i sprovedenim eksperimentalnim istraživanjem. Razvijena je softverska aplikacija za formalizaciju modela podataka i mapiranje ontologije u oblik Prolog klauzula. Formirana su pravila zaključivanja na predikatskom računu prvog reda, koja su integrisana sa modelom podataka i domenskom ontologijom. Upitima u okviru Prolog sistema, vr&scaron;i se provera semantičke korektnosti modela podataka. Definisana je i metrika ontolo&scaron;kog kvaliteta modela podataka koja se bazira na odgovorima sistema automatskog rezonovanja.</p> / <p>Work presents a theoretical study and analysis of existing theories and solutions in the area of data model validation and quality checking. It is created a theoretical model of ontology based analysis of data model semantic correctness by applying automated reasoning system which is practicaly implemented and confirmed by the conducted experimental research. A software application is developed for data model formalization and ontology mapping in Prolog clauses form. Reasoning rules are formed the in first-order predicate logic, which are integrated with the data model and domain ontology. Semantic correctness of the data model is checked with queries within Prolog system. Metrics of ontological quality of the data model are defined which are based on automated reasoning system replies.</p>

Links & Downloads

1. https://www.cris.uns.ac.rs/DownloadFileServlet/DisertacijaDoktorska disertacija Kazi Zoltan.pdf?controlNumber=(BISIS)85033&fileName=Doktorska disertacija Kazi Zoltan.pdf&id=1060&source=NDLTD&language=en
2. https://www.cris.uns.ac.rs/record.jsf?recordId=85033&source=NDLTD&language=en

Tags

Additional Fields

Identifer	oai:union.ndltd.org:uns.ac.rs/oai:CRISUNS:(BISIS)85033
Date	09 June 2014
Creators	Kazi Zoltan
Contributors	Radulović Biljana, Berković Ivana, Malbaški Dušan, Radosav Dragica, Brtka Vladimir
Publisher	Univerzitet u Novom Sadu, Tehnički fakultet Mihajlo Pupin u Zrenjaninu, University of Novi Sad, Mihajlo Pupin Technical Faculty at Zrenjanin
Source Sets	University of Novi Sad
Language	Serbian
Detected Language	Unknown
Type	PhD thesis
Format	application/pdf