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.authorKropotin, A. A.en
dc.contributor.authorBidulya, Yu. V.en
dc.contributor.authorIvashko, A. G.en
dc.contributor.authorSamoylov, M. Yu.en
dc.contributor.authorКропотин, А. А.ru
dc.contributor.authorБидуля, Ю. В.ru
dc.contributor.authorИвашко, А. Г.ru
dc.contributor.authorСамойлов, М. Ю.ru
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.ru
dc.identifier.issn2411-7978
dc.identifier.issn2500-3526
dc.identifier.urihttps://elib.utmn.ru/jspui/handle/ru-tsu/15485-
dc.identifier.urihttps://elib.utmn.ru/jspui/handle/ru-tsu/15485
dc.description.abstractThis 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.en
dc.description.abstractЦелью этой работы является разработка метода формализма логики описания для автоматизации процесса определения семантических конфликтов между документами организации и структурой реляционной базы данных. В данной статье предложен онтологический метод верификации реляционного представления бизнес-процесса для решения задачи проверки соответствия информации о сущностях и связях предметной области и их реляционного представления в рамках отдельно взятой организации. Онтологическая модель концептуальных объектов предоставляет правила описания концептуальных схем сущность – связь реляционных баз данных в виде аксиом и утверждения дескрипционной логики SROIQ(D). Этот метод позволяет выявить несоответствия, вызванные различием типов данных, допустимыми значениями и недопустимыми значениями одного и того же атрибута в онтологических представлениях данных соответствующей базы данных предметной области. Для выявления несоответствий информации о сущностях и связях предметной области и их реляционного представления предлагается применять реализацию табличного алгоритма, которая позволила бы выявить несоответствия терминологических аксиом и утверждений общей онтологии друг относительно друга.ru
dc.format.mimetypeapplication/pdfen
dc.language.isoruen
dc.publisherИздательство Тюменского государственного университетаru
dc.relation.ispartofВестник Тюменского государственного университета. Серия: Физико-математическое моделирование. Нефть, газ, энергетика. – 2018. – Т. 4, № 3ru
dc.subjectdescription logicen
dc.subjecttabular algorithmen
dc.subjectattributeen
dc.subjectconcepten
dc.subjectaxiomen
dc.subjectentityen
dc.subjectdatabaseen
dc.subjectontologyen
dc.subjectонтологияru
dc.subjectтабличный алгоритмru
dc.subjectатрибутru
dc.subjectконцептru
dc.subjectаксиомаru
dc.subjectсущностьru
dc.subjectбаза данныхru
dc.subjectдескрипционная логикаru
dc.titleОнтологический метод проверки семантической несогласованности реляционных баз данных и официальных документовru
dc.title.alternativeThe ontology based method for checking semantic inconsistency of relational databases and official documentsen
dc.typeArticleen
dc.typeinfo:eu-repo/semantics/publishedVersionen
dc.typeinfo:eu-repo/semantics/articleen
local.description.firstpage120
local.description.lastpage131
local.issue3
local.volume4
local.identifier.uuid5ab62d27-8126-41a4-8283-afe44d9b27f9-
local.identifier.handleru-tsu/15485-
dc.identifier.doi10.21684/2411-7978-2018-4-3-120-131
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.