中文摘要：

分布式元数据用于描述网络环境中异构数据的含义及其属性和关系。因认知歧义而导致的分布式元数据不一致性是信息管理领域中一个亟待解决的重要问题，也是分布式数据质量管理中的难点。本项目运用描述逻辑理论和本体元建模方法，研究建立精确语义表达、有效逻辑推理、自动检测和辅助冲突消解的元数据一致性控制体系，进而探索构建XBRL财务报告质量控制的技术支撑方法。主要研究内容包括情境元数据和分布式元数据的形式化语义表达与推理、分布式元数据的本体管理对不一致知识的处理机制、分布式元数据的一致性检测和消解方法，以及XBRL财务报告质量控制中元数据一致性控制方法的应用。这些问题的研究解决，有助于进一步完善描述逻辑理论，构造有效的知识一致性逻辑检测方法，加速语义Web技术的实用化。同时，这些成果的应用将为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财务报告质量控制奠定坚实的技术基础，为有效支持国家政策制定和企业财务决策提供科学依据和技术支持。