The Ontology Based Method for Checking Semantic Inconsistency of Relational Databases and Official Documents
Alexander A. Kropotin, Yuliya V. Bidulya, Alexander G. Ivashko, Mikhail Yu. Samoylov · Tyumen State University Herald Physical and Mathematical Modeling Oil Gas Energy · 2018
Целью этой работы является разработка метода формализма логики описания для автоматизации процесса определения семантических конфликтов между документами организации и структурой реляционной базы данных. В данной статье предложен онтологический метод верификации реляционного представления бизнес-процесса для решения задачи проверки соответствия информации о сущностях и связях предметной области и их реляционного представления в рамках отдельно взятой организации. Онтологическая модель концептуальных объектов предоставляет правила описания концептуальных схем сущность — связь реляционных баз данных в виде аксиом и утверждений дескрипционной логики SROIQ(D). Этот метод позволяет выявить несоответствия, вызванные различием типов данных, допустимыми значениями и недопустимыми значениями одного и того же атрибута в онтологических представлениях данных соответствующей базы данных предметной области. Для выявления несоответствий информации о сущностях и связях предметной области и их реляционного представления предлагается применять реализацию табличного алгоритма, которая позволила бы выявить несоответствия терминологических аксиом и утверждений общей онтологии друг относительно друга.