XBRL（eXtensible Business Reporting Language，可扩展商业报告语言）是基于XML的企业报告标记语言，目前主要用于企业对外财务报告的信息处理。经过20多年的推广与应用，XBRL财务报告已经成为有效的网络财务报告形式。本书从XBRL财务元数据一致性控制的角度出发，分析了XBRL财务报告的时态与分布式特征。同时运用描述逻辑、本体建模、逻辑推理等方法和工具，研究了XBRL财务报告分类标准和实例文档元数据的形式化表示方法；探索XBRL分类标准时态版本迁移的结构化管理机制以及多个组织之间XBRL财务报告的数据映射规则；剖析了XBRL财务元数据逻辑推理的不一致检测需求，进而研究同一组织和多个组织之间XBRL财务元数据不一致性的冲突和消解方法，并开发相应的原型系统加以验证。
