论文部分内容阅读
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.