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

**章绪论 一、研究背景 二、研究意义 三、国内外相关研究现状 (一)XBRL本体化 (二)XBRL元数据语义及其形式化 (三)XBRL智能化应用 (四)XBRL一致性及其集成处理 (五)描述逻辑的时态与分布式扩展 四、研究内容与方法 五、主要创新点 第二章 理论基础 一、会计信息系统论 (一)会计信息系统概述 (二)基于价值法的会计信息系统 (三)基于事项法的会计信息系统 二、语义Web (一)语义 Web概述 (二)语义 Web的层次模型 (三)语义 Web与知识表示和智能推理 三、本体方法 (一)本体的定义 (二)本体的功能 (三)本体的管理 四、描述逻辑 (一)描述逻辑系统的构成 (二)基本描述逻辑语言AL及其扩展 (三)描述逻辑系统的推理任务 第三章 XBRL财务元数据的一致性控制框架. 一、XBRL体系框架分析 (一)XBRL分类标准 (二)XBRL实例文档 二、XBRL报告的应用流程 (一)XBRL的应用主体 (二)XBRL的应用流程 三、XBRL财务元数据的一致性控制需求 (一)同一组织的XBRL一致性控制需求 (二)多个组织之间的XBRL一致性控制需求 四、基于语义的 XBRL财务元数据一致性控制框架 (一)分类标准元数据一致性控制模块 (二)实例文档元数据一致性控制模块 (三)多个组织之间的XBRL数据一致性控制模块 五、关键技术 (一)元数据语义的形式化表达与检验 (二)数据转换 (三)数据存储 …… 第四章时态描述逻辑TKLBR及其推理算法 第五章基于TKLBR的XBRL元数据形式化与连接库优化 第六章XBRL财务报告的版本管理 第七章XBRL财务报告的共享与集成 第八章XBRL财务元数据的一致性检测实证分析 结论 参考文献 附录1 附录2 附录3