Используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: https://elib.utmn.ru/jspui/handle/ru-tsu/15485
Название: Онтологический метод проверки семантической несогласованности реляционных баз данных и официальных документов
Другие названия: The Ontology Based Method for Checking Semantic Inconsistency of Relational Databases and Official Documents
Автор: Mikhail, Yu Samoylov
Кропотин, Александр Александрович
Бидуля, Юлия Владимировна
Ивашко, Александр Григорьевич
Самойлов, Михаил Юрьевич
Alexander, A. Kropotin
Yuliya, V. Bidulya
Alexander, G. Ivashko
Ключевые слова: онтология;tabular algorithm;attribute;concept;axiom;entity;database;description logic;ontology;табличный алгоритм;атрибут;концепт;аксиома;сущность;база данных;дескрипционная логика
Дата публикации: 2018
Библиографическое описание: Онтологический метод проверки семантической несогласованности реляционных баз данных и официальных документов / А. А. Кропотин [и др.] // Вестник Тюменского государственного университета. Физико-математическое моделирование. Нефть, газ, энергетика. - 2018. - Т. 4, № 3. - С. 120-131.
Источник: Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика. 2018. Том 4 №3
Аннотация: Целью этой работы является разработка метода формализма логики описания для автоматизации процесса определения семантических конфликтов между документами организации и структурой реляционной базы данных. В данной статье предложен онтологический метод верификации реляционного представления бизнес-процесса для решения задачи проверки соответствия информации о сущностях и связях предметной области и их реляционного представления в рамках отдельно взятой организации. Онтологическая модель концептуальных объектов предоставляет правила описания концептуальных схем сущность — связь реляционных баз данных в виде аксиом и утверждений дескрипционной логики 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
В коллекциях:Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика

Файлы ресурса:
Файл РазмерФормат 
120_131.pdf630,14 kBAdobe PDFОткрыть


Все ресурсы в архиве защищены авторским правом, все права сохранены, если не указано иное.