Show simple item record

Ontology based semantic analyses of data model correctness by using automated reasoning system

dc.contributor.advisorRadulović, Biljana
dc.contributor.otherBerković, Ivana
dc.contributor.otherMalbaški, Dušan
dc.contributor.otherRadosav, Dragica
dc.contributor.otherBrtka, Vladimir
dc.contributor.otherRadulović, Biljana
dc.creatorKazi, Zoltan
dc.date.accessioned2020-02-14T15:18:51Z
dc.date.available2020-02-14T15:18:51Z
dc.date.available2020-07-03T13:16:42Z
dc.date.issued2014-06-09
dc.identifier.urihttp://nardus.mpn.gov.rs/handle/123456789/11860
dc.identifier.urihttps://www.cris.uns.ac.rs/DownloadFileServlet/DisertacijaDoktorska%20disertacija%20Kazi%20Zoltan.pdf?controlNumber=(BISIS)85033&fileName=Doktorska%20disertacija%20Kazi%20Zoltan.pdf&id=1060&source=NaRDuS&language=srsr
dc.identifier.urihttps://www.cris.uns.ac.rs/record.jsf?recordId=85033&source=NaRDuS&language=srsr
dc.identifier.urihttps://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisijeIzvestaj%20o%20oceni%20doktorske%20disertacije%20Kazi%20Zoltan.pdf?controlNumber=(BISIS)85033&fileName=Izvestaj%20o%20oceni%20doktorske%20disertacije%20Kazi%20Zoltan.pdf&id=1061&source=NaRDuS&language=srsr
dc.description.abstractU 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.sr
dc.description.abstractWork 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.en
dc.formatapplication/pdf
dc.languagesr (latin script)
dc.publisherУниверзитет у Новом Саду, Технички факултет Михајло Пупин, Зрењанинsr
dc.rightsopenAccessen
dc.sourceУниверзитет у Новом Садуsr
dc.subjectOntologijesr
dc.subjectOntology based semantic analyses of data model correctness by using automated reasoning systemen
dc.subjectkorektnost modela podatakasr
dc.subjectsistemi automatskog rezonovanjasr
dc.titleOntološki zasnovana analiza semantičke korektnosti modela podataka primenom sistema automatskog rezonovanjasr
dc.title.alternativeOntology based semantic analyses of data model correctness by using automated reasoning systemen
dc.typedoctoralThesissr
dc.rights.licenseBY-NC
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/33300/Disertacija.pdf
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/33301/IzvestajKomisije.pdf


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record