Consistency Checking of XBRL Based on a Description Logic DLRBR

来源 :2012年全国理论计算机科学学术年会(NCTCS2012) | 被引量 : 0次 | 上传用户:weiyuan2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
This paper proposes an approach by description logic DLRBR to solve the problem which XBRL be lacking of formalism semantic,formalizes the XBRL meta-model and metadata by DLRBR respectively,and proves that all the inference problems of DLRBR can be transformed into consistency research.
其他文献
山东省1988~1993年放射源丢失事故总结与分析王金鹏,孙积涛,丁崇海(山东省卫生防疫站,济南)随着国民经济的发展和科学技术的进步,山东省放射性同位素和射线技术在工农业、科研、医学、煤田和
从2004年宏观调控的意图来说,政府是要挤掉泡沫而不是让房市崩盘,并且随着经济的发展,房价应该还有一个很大的上升空间。但毕竟没有人能准确地预测未来,很多不确定因素会突然
随着渤海油田油气资源的开发,其修井作业量逐年增加,但个别井次投产后,产液含水量显著上升,产能恢复率急剧下降,说明作业过程中发生了严重的储层伤害.修井液大量漏失是造成储
In this paper,we investigate the classification of higher order algebraic ordinary differential equations (AODEs) with respect to (w.r.t.) their rational solvab
会议
The artificial fish can obtain the ability of self-perception,understanding and behavior choices by setting up full-order perception and behavior planning syste
会议
As Cyber-Physical Systems become more prevalent,the trustworthiness of Cyber-Physical Systems is attracting more and more attention.There are many kinds of soft
会议
For the problem that many different classification of questions and answers and users changing from one interest to another,we propose a personalized user model
会议
Decentralized information flow control models try to provide flexible mechanisms to protect private data.In those models,if it does not satisfy the labels polic
会议
Recent research has shown the effectiveness of using spatial pyramid matching (SPM) to solve many computer vision problems.However,they are weak on rotation tra
会议
Resolution-based automated reasoning is one of important research branches in artificial intelligence.The present paper is to provide a more efficient approach
会议