分布式元数据一致性与XBRL财务报告质量控制

企业架构和XBRL财务报告的元数据是两类典型的分布式元数据。这些元数据一致性问题是数据质量控制中的难点。本项目运用描述逻辑理论和本体元建模方法，针对企业架构和XBRL财务报告，研究建立形式化语义表达、有效逻辑推理和自动检测的元数据一致性方法。项目研究成果有：.（1）构建AFAR企业本体作为企业架构基础，运用SBVR方法建立企业业务、应用和数据架构的语义元模型，对企业架构实体及其关系进行形式化描述，并建立SBVR转换为OWL/SWRL的映射规则和本体推理机制。.（2）提出XBRL元数据语义形式化表达的描述逻辑DLRBR，给出其推理规则和任务，接着，针对财务数据的时态特征，提出时态描述逻辑TDLBR，构建多版本XBRL元数据的形式化表达，引入相应的推理规则、任务与推理定理，并构造了Tableau算法。.（3）针对多组织之间的元数据集成模型，提出适合多个组织之间的XBRL元数据语义形式化的分布式时态描述逻辑DTDLBR，以及相应的推理任务和分布式Tableau推理算法。.（4）提出基于分布式描述逻辑DDL和ε-connections的XBRL本体集成的解决方案，实现同一领域交互性较高的本体之间的概念的包含链接，以及互不相交本体之间的概念链接。.（5）出版了国内第一本研究XBRL元数据语义形式化的专著。.这些成果有助于进一步完善描述逻辑理论，构造有效的知识一致性逻辑检测方法，加速语义Web技术的实用化。同时，这些成果的应用将为XBRL财务报告质量控制奠定坚实的技术基础，为有效支持国家政策制定和企业财务决策提供科学依据和技术支持。