第一章緒論

一、研究背景

二、研究意義

三、國內外相關研究現狀

(一)XBRL本體化

(二)X數據語義及其形式化

(三)XBRL智能化應用

(四)XBRL一致性及其集成處理

(五)描述邏輯的時態與分布式擴展

四、研究內容與方法

五、主要創新點

第二章
理論基礎

一、會計信息繫統論

(一)會計信息繫統概述

(二)基於價值法的會計信息繫統

(三)基於事項法的會計信息繫統

二、語義Web

(一)語義 Web概述

(二)語義 Web的層次模型

(三)語義 Web與知識表示和智能推理

三、本體方法

(一)本體的定義

(二)本體的功能

(三)本體的管理

四、描述邏輯

(一)描述邏輯繫統的構成

(二)基本描述邏輯語言AL及其擴展

(三)描述邏輯繫統的推理任務

第三章 XBR數據的一致性控制框架.

一、XBRL體繫框架分析

(一)XBRL分類標準

(二)XBRL實例文檔

二、XBRL報告的應用流程

(一)XBRL的應用主體

(二)XBRL的應用流程

三、XBR數據的一致性控制需求

(一)同一組織的XBRL一致性控制需求

(二)多個組織之間的XBRL一致性控制需求

四、基於語義的 XBR數據一致性控制框架

(一)分數據一致性控制模塊

(二)實數據一致性控制模塊

(三)多個組織之間的XBRL數據一致性控制模塊

五、關鍵技術

數據語義的形式化表達與檢驗

(二)數據轉換

(三)數據存儲

……

第四章時態描述邏輯TKLBR及其推理算法

第五章基於TKLBR的X數據形式化與連接庫優化

第六章XBRL財務報告的版本管理

第七章XBRL財務報告的共享與集成

第八章XBR數據的一致性檢測實證分析

結論

參考文獻

附錄1

附錄2

附錄3