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