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: Mikhail, Yu Samoylov
Кропотин, Александр Александрович
Бидуля, Юлия Владимировна
Ивашко, Александр Григорьевич
Самойлов, Михаил Юрьевич
Alexander, A. Kropotin
Yuliya, V. Bidulya
Alexander, G. Ivashko
Keywords: онтология;tabular algorithm;attribute;concept;axiom;entity;database;description logic;ontology;табличный алгоритм;атрибут;концепт;аксиома;сущность;база данных;дескрипционная логика
Issue Date: 2018
Citation: Онтологический метод проверки семантической несогласованности реляционных баз данных и официальных документов / А. А. Кропотин [и др.] // Вестник Тюменского государственного университета. Физико-математическое моделирование. Нефть, газ, энергетика. - 2018. - Т. 4, № 3. - С. 120-131.
metadata.dc.relation.ispartof: Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика. 2018. Том 4 №3
Abstract: Целью этой работы является разработка метода формализма логики описания для автоматизации процесса определения семантических конфликтов между документами организации и структурой реляционной базы данных. В данной статье предложен онтологический метод верификации реляционного представления бизнес-процесса для решения задачи проверки соответствия информации о сущностях и связях предметной области и их реляционного представления в рамках отдельно взятой организации. Онтологическая модель концептуальных объектов предоставляет правила описания концептуальных схем сущность — связь реляционных баз данных в виде аксиом и утверждений дескрипционной логики SROIQ(D). Этот метод позволяет выявить несоответствия, вызванные различием типов данных, допустимыми значениями и недопустимыми значениями одного и того же атрибута в онтологических представлениях данных соответствующей базы данных предметной области. Для выявления несоответствий информации о сущностях и связях предметной области и их реляционного представления предлагается применять реализацию табличного алгоритма, которая позволила бы выявить несоответствия терминологических аксиом и утверждений общей онтологии друг относительно . 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.
URI: https://elib.utmn.ru/jspui/handle/ru-tsu/15485
Appears in Collections:Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика

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


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