Ontološki zasnovana analiza semantičke korektnosti modela podataka primenom sistema automatskog rezonovanja

Abstract

U radu je izvršeno teoretsko istraživanje i analiza postojećih stavova i rešenja u oblasti validacije i provere kvaliteta modela podataka. Kreiran je teorijski model ontološki zasnovane analize semantičke korektnosti modela podataka primenom sistema automatskog rezonovanja i izvršena praktična implementacija teorijskog modela, š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ši se provera semantičke korektnosti modela podataka. Definisana je i metrika ontološkog kvaliteta modela podataka koja se bazira na odgovorima sistema automatskog rezonovanja.

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.