The Ontology Based Method for Checking Semantic Inconsistency of Relational Databases and Official Documents

摘要

The purpose of this work is to develop a method for applying the description logic formalism to automate the process of identifying semantic conflicts between organization documents and the relational database structure. The ontological method for verifying the consistency of entities and relations data of the subject domain and their relational representation were proposed. It provides rules for describing the structured data of organization's official documents in the form of axioms and statements of the SROIQ (D) description logic. This method allows revealing inconsistencies caused by the difference of data types, permitted values and acceptable values of the same attribute in ontology representations of database and entity and relations data of subject domain. The efficiency of proposed method were evaluated by means of special experimental data, which included a set of conceptual entity-relationship schemas and a set of service tables from documents.