Original scientific paper
https://doi.org/10.17559/TV-20140711141546
Ontology-based reasoning for entity-relationship data model semantic evaluation
Zoltan Kazi
orcid.org/0000-0001-6620-6384
; University of Novi Sad, Technical faculty "Mihajlo Pupin" Zrenjanin, Djure Djakovica bb, 23000 Zrenjanin, Serbia
Biljana Radulović
; University of Novi Sad, Technical faculty "Mihajlo Pupin" Zrenjanin, Djure Djakovica bb, 23000 Zrenjanin, Serbia
Ivana Berković
orcid.org/0000-0003-2366-3942
; University of Novi Sad, Technical faculty "Mihajlo Pupin" Zrenjanin, Djure Djakovica bb, 23000 Zrenjanin, Serbia
Ljubica Kazi
orcid.org/0000-0001-8089-3029
; University of Novi Sad, Technical faculty "Mihajlo Pupin" Zrenjanin, Djure Djakovica bb, 23000 Zrenjanin, Serbia
Abstract
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 rules 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.
Keywords
data model; ontology; reasoning rules; semantic evaluation
Hrčak ID:
181239
URI
Publication date:
10.5.2017.
Visits: 3.287 *