基于语义形式化的XBRL链接库优化

XBRL链接库用于表示XBRL财务元素之间的关系,具有可选性。本文探讨添加不同链接库形式化表示后的系统推理的效率问题,并通过对个别利润表实例证明该优化方法是有效的,能降低形式化表达的规则数,提高逻辑推理的效率。