Please use this identifier to cite or link to this item: https://elib.utmn.ru/jspui/handle/ru-tsu/15485
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMikhail, Yu Samoylov-
dc.contributor.authorКропотин, Александр Александрович-
dc.contributor.authorБидуля, Юлия Владимировна-
dc.contributor.authorИвашко, Александр Григорьевич-
dc.contributor.authorСамойлов, Михаил Юрьевич-
dc.contributor.authorAlexander, A. Kropotin-
dc.contributor.authorYuliya, V. Bidulya-
dc.contributor.authorAlexander, G. Ivashko-
dc.date.accessioned2018-12-12T10:20:53Z-
dc.date.available2018-12-12T10:20:53Z-
dc.date.issued2018-
dc.identifier.citationОнтологический метод проверки семантической несогласованности реляционных баз данных и официальных документов / А. А. Кропотин [и др.] // Вестник Тюменского государственного университета. Физико-математическое моделирование. Нефть, газ, энергетика. - 2018. - Т. 4, № 3. - С. 120-131.-
dc.identifier.urihttps://elib.utmn.ru/jspui/handle/ru-tsu/15485-
dc.description.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.-
dc.relation.ispartofВестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика. 2018. Том 4 №3-
dc.subjectонтология-
dc.subjecttabular algorithm-
dc.subjectattribute-
dc.subjectconcept-
dc.subjectaxiom-
dc.subjectentity-
dc.subjectdatabase-
dc.subjectdescription logic-
dc.subjectontology-
dc.subjectтабличный алгоритм-
dc.subjectатрибут-
dc.subjectконцепт-
dc.subjectаксиома-
dc.subjectсущность-
dc.subjectбаза данных-
dc.subjectдескрипционная логика-
dc.titleОнтологический метод проверки семантической несогласованности реляционных баз данных и официальных документов-
dc.title.alternativeThe Ontology Based Method for Checking Semantic Inconsistency of Relational Databases and Official Documents-
dc.typeArticle-
local.description.firstpage120-
local.description.lastpage131-
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.