论文部分内容阅读
本文针对XBRL元数据的分布式特点,提出XBRL的分布式交互模型。通过对时态描述逻辑TDLBR进行扩展,提出用一种分布式时态扩展的描述逻辑DTDLBR来形式化表示XBRL中的分布式时态数据。并给出相应的语法解释,根据XBRL的分布式时态知识冲突的特点,构建适合分布式特点的推理算法,证明推理的可判定性。最后通过Jena的推理检验验证了方法的正确性和有效性。