Ontology-based reasoning for entity-relationship data model semantic evaluation

<span title="">2017</span> <i title="Mechanical Engineering Faculty in Slavonski Brod"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t73uxenjnncj3pwpreqsfuzkyi" style="color: black;">Tehnički Vjesnik</a> </i> &nbsp;
Original scientific paper Conceptual modeling is one of the most important activities in the modeling phase of information systems development most commonly presented by entity-relationship data model. This paper presents a system for entity-relationship data model semantic evaluation that is based on comparing ontology with data model elements. This approach is based on domain ontology and data model formalization at predicate calculus form that is suitable for reasoning. A set of reasoning
more &raquo; ... es for ontology to data model mapping was defined. The whole process is empirically verified and confirmed. For this purpose it has been developed a software tool for ontology and data model transformation to predicate logic form and then to a set of Prolog-like clauses. After integration of these sets of clauses and rules, a Prolog-system was used for reasoning in order to quantitatively express the quality of data model with appropriate metric. Ontološki zasnovano rasuđivanje za semantičku evaluaciju modela entiteta-poveznika Izvorni znanstveni članak Konceptualno modeliranje je jedna od najbitnijih aktivnosti u fazi modeliranja informacionog sustava najčešće prezentirana modelom entiteta-poveznika. Ovaj rad predstavlja sustav za semantičko evaluiranje modela entiteta-poveznika koji se bazira na komparaciji elemenata ontologije i modela podataka. Ovaj pristup je baziran na formalizaciji domenske ontologije i modela podataka u formu predikatskog računa koji je pogodan za rasuđivanje. Definiran je skup pravila rasuđivanja za mapiranje ontologije u model podataka. Ceo postupak je empirijski verificiran i potvrđen. Za ovu svrhu je razvijen softverski alat koji ontologiju i model podataka transformira u predikatski oblik i zatim u skup Prologolikih klauzula. Nakon integriranja ovih klauzula i pravila uporabljen je Prolog sustav za rasuđivanje sa ciljem da se kvantitativno izrazi kvalitet modela podataka sa odgovarajućom metrikom.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17559/tv-20140711141546">doi:10.17559/tv-20140711141546</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/na4os6xzxnforhl2q67loizdua">fatcat:na4os6xzxnforhl2q67loizdua</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724034603/https://hrcak.srce.hr/file/267098" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e9/b5/e9b596ff11b4bce4f3ee6cece2de1d60581be388.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17559/tv-20140711141546"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>