Please use this identifier to cite or link to this item: https://elib.utmn.ru/jspui/handle/ru-tsu/15485
Title: Онтологический метод проверки семантической несогласованности реляционных баз данных и официальных документов
Other Titles: The ontology based method for checking semantic inconsistency of relational databases and official documents
Authors: Kropotin, A. A.
Bidulya, Yu. V.
Ivashko, A. G.
Samoylov, M. Yu.
Кропотин, А. А.
Бидуля, Ю. В.
Ивашко, А. Г.
Самойлов, М. Ю.
Keywords: description logic
tabular algorithm
attribute
concept
axiom
entity
database
ontology
онтология
табличный алгоритм
атрибут
концепт
аксиома
сущность
база данных
дескрипционная логика
Issue Date: 2018
Publisher: Издательство Тюменского государственного университета
Citation: Онтологический метод проверки семантической несогласованности реляционных баз данных и официальных документов / А. А. Кропотин [и др.] // Вестник Тюменского государственного университета. Серия: Физико-математическое моделирование. Нефть, газ, энергетика / главный редактор А. Б. Шабаров. – Тюмень : Издательство Тюменского государственного университета, 2018. – Т. 4, № 3. – С. 120-131.
Abstract: 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.
Целью этой работы является разработка метода формализма логики описания для автоматизации процесса определения семантических конфликтов между документами организации и структурой реляционной базы данных. В данной статье предложен онтологический метод верификации реляционного представления бизнес-процесса для решения задачи проверки соответствия информации о сущностях и связях предметной области и их реляционного представления в рамках отдельно взятой организации. Онтологическая модель концептуальных объектов предоставляет правила описания концептуальных схем сущность – связь реляционных баз данных в виде аксиом и утверждения дескрипционной логики SROIQ(D). Этот метод позволяет выявить несоответствия, вызванные различием типов данных, допустимыми значениями и недопустимыми значениями одного и того же атрибута в онтологических представлениях данных соответствующей базы данных предметной области. Для выявления несоответствий информации о сущностях и связях предметной области и их реляционного представления предлагается применять реализацию табличного алгоритма, которая позволила бы выявить несоответствия терминологических аксиом и утверждений общей онтологии друг относительно друга.
URI: https://elib.utmn.ru/jspui/handle/ru-tsu/15485
ISSN: 2500-0888
2411-7927
Source: Вестник Тюменского государственного университета. Серия: Физико-математическое моделирование. Нефть, газ, энергетика. – 2018. – Т. 4, № 3
Appears in Collections:Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика

Files in This Item:
File Description SizeFormat 
120_131.pdf630.14 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.