Release:2018, Vol. 4. №3
About the authors:Alexander A. Kropotin, Cand. Sci. (Phys.-Math.), Senior Lecturer, Department of Software and Systems Engineering, University of Tyumen; firstname.lastname@example.org
This work aims to develop a formalism method of description logic to automate the process of determining the semantic conflicts between organization documents and the structure of a relational database. This article proposes an ontological method for verifying the relational representation of a business process to solve the problem of verifying the consistency of information about entities and the relations of the domain and their relational representation within the framework of an individual organization. The ontological model of conceptual objects provides rules for describing the conceptual schemas of the entity — the relationship of relational databases in the form of axioms and statements of the descriptive logic SROIQ(D). This method allows to identify inconsistencies caused by the difference in data types, valid values, and unacceptable values of the same attribute in ontological representations of data in the domain database. To identify inconsistencies in information about entities and domain relations and their relational representation, it is proposed to apply the implementation of a tabular algorithm that would reveal inconsistencies between terminological axioms and statements of general ontology relative to each other.