XBRL(eXtensible Business Reporting Language,可擴展商業報告語言)是基於XML的企業報告標記語言,目前主要用於企業對外財務報告的信息處理。經過20多年的推廣與應用,XBRL財務報告已經成為最有效的網路財務報告形式。本書從XBRL財務元數據一致性控制的角度出發,分析了XBRL財務報告的時態與分散式特徵。同時運用描述邏輯、本體建模、邏輯推理等方法和工具,研究了XBRL財務報告分類標準和實例文檔元數據的形式化表示方法;探索XBRL分類標準時態版本遷移的結構化管理機制以及多個組織之間XBRL財務報告的數據映射規則;剖析了XBRL財務元數據邏輯推理的不一致檢測需求,進而研究同一組織和多個組織之間XBRL財務元數據不一致性的衝突和消解方法,並開發相應的原型系統加以驗證。