gbt 25500.3-2010 可扩展商业报告语言（xbrl）技术规范 第3部分：公式

'ICS03．100．60A11a园中华人民共和国国家标准GB／T25500．3—2010可扩展商业报告语言(XBRL)技术规范第3部分：公式ExtensibleBusinessReportingLanguage(XBRL)specification--Part3：Formula2010—10—18发布2011—01—01实施宰瞀髅鬻瓣譬糌瞥星发布中国国家标准化管理委员会徼1” 前言⋯⋯⋯⋯⋯⋯⋯引言⋯⋯⋯⋯⋯⋯⋯l范围⋯⋯⋯⋯⋯·2规范性引用文件-3术语和定义--⋯··4命名空间及其前缀5公式部分结构说明6通用链接规范⋯·6．1通用链接⋯·6．2通用标签⋯·6．3通用参考⋯·7变量⋯⋯⋯⋯⋯7．1XPath的求值与仞始7．2办面⋯⋯⋯⋯⋯⋯·7．3变量的语法⋯⋯⋯⋯7．4变量求值⋯⋯⋯⋯⋯8过滤器⋯⋯⋯⋯⋯⋯⋯⋯8．1市尔过滤器---⋯⋯⋯8．2概念过滤器⋯⋯⋯⋯8．3维度过滤器⋯⋯⋯8．4实体过滤器⋯⋯⋯⋯8．5通用过滤器⋯⋯⋯·8．6隐式过滤器⋯⋯-⋯8．7匹配过滤器⋯⋯⋯⋯8．8期间过滤器⋯⋯⋯8．9相关过滤器⋯⋯⋯⋯8．10片段场景过滤器⋯8．11儿组过滤器⋯8．12单位过滤器⋯⋯8．13值过滤器⋯⋯⋯9公式⋯⋯⋯⋯⋯⋯⋯⋯⋯9．1语法⋯⋯⋯⋯⋯⋯⋯9．2公式处理模型⋯⋯⋯10校验规范⋯⋯⋯⋯⋯⋯10．1概述⋯⋯⋯⋯⋯⋯目次GB／T25500．3—2010ⅢⅣ●，00，，，0心"均¨趵弘曲引叭M弘∞们州侣¨幅帖弘％ GB／T25500．3—201010．2语法····⋯⋯⋯⋯⋯⋯·5710．3所有断言的处理模型”5711断言规范⋯⋯⋯⋯⋯···⋯··5811．1概述⋯··⋯⋯⋯·⋯⋯一581i．2一致性断言规范⋯⋯一5811．3存在性断言规范⋯⋯一6211．4值断言规范⋯··⋯⋯⋯64附录A(规范性附录)模式文件65参考文献⋯⋯⋯⋯⋯·⋯⋯⋯·⋯90Ⅱ 莉罱GB／T25500．3—2010GB／T25500《可扩展商业报告语言(XBRI，)技术规范》分为四个部分：——第1部分：基础；——第2部分：维度}——第3部分：公式；——第4部分：版本。本部分为GB／T25500的第3部分。本部分按照GB／T1．1—2009给出的规则起草。本部分技术内容与XBRI。国际组织制定的XJ{RI。公式规范1．0版(XBRI，FormulaSpecification1．0)基本一致。本部分由中华人民共和国财政部归口。本部分起草单位：中华人民共和国财政部。本部分主要起草人：应唯、王颖、李红霞、丁亮、黄敏、李敏敏、覃东、杨海峰、廖伟东、杨诚、臧梓伊、朱健鹏、徐泓、蒋小娜、童盼盼。Ⅲ Cillrr25500．3—2010引言可扩展商业报告语言(ExtensihieBusinessReportingI，anguage，XBRI．)是一种基于可扩展置标语言(ExtensibleMarkup1．anguage，XMI。)的丌放性业务报告技术标准。它通过给财务会计报肯等业务报告中的数据增加特定标记、定义相互关系，使计算机能够“读懂”这些报告，并进行符合业务逻辑的处理。XBRI。的构想最早由美国{_i=：册会计师查尔斯·霍夫曼在1998年提出。随后，在美国注册会计师协会(A1CPA)赞助下提fljr第一个XBRI，原型。XBRI。技术广泛适用于财务会计报告、上市公司年报、金融机构监管报告、税务报肯等领域，目前在美国、英围、口本、澳大利亚等很多国家中都已投入实际应用。在我阁，XBRI，已应用于上市公司信息披露和基金信息披露领域，取得良好效果。XBRI。技术的应用，可以避免报告数据的重复性录入、报送、传输、转换、比对等人工操作，减少差错率，提高数据生成、传递、使用效率和信息化水平。因此，推进XBRI。在我国的应用，有利于促进财务会计报告等、Ik务报告信息的深度分析利用，提高监管效能。XBRI，技术规范，是各项XBRL应用所需共同遵循的底层技术标准。制定XBRI。技术规范，是推进XBRI，在我国应用的基础性1二作。目前，国际l：均遵循XBRI，国际组织制定的技术规范。本部分是GB／T25500．I《町扩展商业报告语言(XBRl．)技术规范第1部分：基础》的一个扩展规范，它扩展r能在町发现分类标准集(DTS)甲可获得倍息的范围，提供r一套表述XBRI．数据结构相关复杂公式关系的语法，这些语法呵用于编制从XBRI。实例获得信息产生新XBRI。事实的规则。 GB／T25500．3—20103．7必备方面值requiredaspectvalue；RAV应与同一方面输出值相匹配的方面值。3．8源方面值sourceaspectvalue；SAV输入XBRI。实例中的方面值。3．9过滤器filter输入XBRI，实例中事实的选择标准。3．10输入事实inputfact过滤的输入XBRI，实例中的事实。3．11方面模型aspectmodel把事实数据相关信息细分成各个方面的方法定义。3．12方面模型标识符aspectmodelidentifier用于标识方面模型的文本串。3．13源序列sourcesequence通过对一般变量或者事实变量所蕴含的XPath表达式求值所得到的序列。3．14组过滤器groupfilter通过变量一集合一过滤器关系与事实变量相关联的过滤器。3．15最近源nearestsource表达规则或者组件元素的源。如果不存在，则指其最近的祖先元素的源。4命名空间及其前缀元素和属性的命名空间前缀使用以ns：name为例，其中as是命名空间的前缀，name是本地名称。关于命名空间前缀到实际命名空间的映射，本部分与表l保持一致。表l中的前缀列是非规范性的，命名空间URI列是规范性的。表1命名空间和命名空间前缀前缀命名空间URlformulahttp：／／xbrl．org／2008／formulaxbrlfehttp：／／xbr]．org／200S／formula／erroreghttp：／／example．corn／fnhttp：／／www．w3．org／2005／xpath—functionslinkhttpl／／wwwxbrl．。rg／2003／linkbasexbrlihttp；／／www．xbrlorg／2003／lnstancex“http：／／www．xbrlorg／2008／function／1nstance 表1命名空间和命名空间前缀(续)GB／T25500．3—2010前缀命名空间URIxbrldihttp：／／xbrl．org／2006／xbrldlxbrldthttp：／／xbrl．org／2005／xbrldtxlhttp：／／www．xbrlorg／2003／X1．inkxlinkhttp：／／www．w3．org／1999／xlinkhttp：／／www．w3．org／2001／XMI。Schemahttp：／／www．w3．org／200l／XMi。Schemainstancegenhttp：／／xbrl．org／2008／genericvariablehttp：／／xbrl．org／2008／varlablejs04217http：／／www．xbrl．org／2003／is042】7xbrlifehttp：／／xbrl．org／2008／filter／implicit／errorlabelhttp：／／xbrl．org／2008／labelxbrllehtt口：／／xbrl．org／2008／1abeI／error’bfhttp：／／xbrl．org／2008／filter／booleanxbrlbfehttp：／／xbd．org／2008／fIlter／boolean／errorcfhttp=／／xbrl．org／2008／filter／conceptxbrlcfehttpl／／xbrl．org／2008／filter／concept／errorvalidationhttp：／／xbrl．org／2008／validationxbrlvalidehttpi／／xbrl．org／2008／validation／errorhttp：／／xbrl．org／2008／asseftion／consistencyxbrlcaehttpl／／xbrl．org／2008／assertion／consistency／errordfhttp：／／xbrl．org／2008／fiher／dimensionxbrldfehttpl／／xbrl．org／2008／filter／dimension／errorefhttp：／／xbrl．org／2008／filter／entityxbrlefehttpl／／xbrl．org／2008／filter／entity／errorhttpl／／xbrl．org／2008／assertion／exlstcncexbrleaehttpl／／xbrl．org／2008／assertlon／exIstence／errorgfhnp：／／xbrl．org／2008／fiIter／generalxbrlgfehttp：／／xbrl．o‘g／2008／flIter／general／errorhttp：／／xbrl．org／2008／referencexbrlrehttp：／／xbrl．org／2008／reference／errorxbrlgenehttp：／／xbrl．org／2008／generic／errormfhttpl／／xbrl．org／2008／fiher／matchxbrlmfehttp；／／xbrl．org／2008／filter／match／errorpfhttp：／／xbrl．org／2008／filter／periodxbrlpfehttp：／／xbrl．。rg／2008／flltcr／perlod／errorrfhttp；／／xbrl．org／z008／mter／rclatlvexbrlrfehttpl／／xbrl．org／2008／fllter／reIative／errorssfhttp：／／xbrl．org／2008／fiher／segment—scenarioxbrlssfehttp：／／xbrt．org／2008／fiher／segment—scenario／errortfhttp：／／xbrl．org／2008／filter／tuple3 GB／T25500．3—2010表1命名空间和命名空间前缀(续)前缀命名窄间URlxbrhfehup：／／xbrl．t)rg／2008／fIl¨r／tuple／errorufhttp：／／xbrl．org／2008加ltcr^mltxbrlufehttp：／／xbrl．org／2008加lter／unll／errorhttp：／／xbrt．org／2008／assertlon／valuexbrlvaehtlp：／／xbrI．org／2008／asscrtion／vahlc／crrorvfhttp：／／xbAorg／2008／mter／valuexbrlvfeh¨p：／／xbrl．org／2008／f|ltcr／vahlc／error5公式部分结构说明公式部分主要由通用链接、变量、过滤器、公式、校验和断言六个模块构成，其结构如图l所示。变量模块引用通用链接模块，公式模块引用变量模块，过滤器模块引用变量模块，校验模块引用通用链接和变量模块，断言模块引用公式、校验、变量和通用链接模块。其中：——通用链接模块包括：通用链接、通用标签和通用参考t——过滤器模块包括13个过滤器；断言模块包括：一致性断言、存在性断言和值断言。一致性断言存在性断奇(existenceassertion)assertion)值断盲公式(vaIueassertion)(formula)技验(va】ldalion)布尔过滤器(booleanfilter)概念过滤器(conceptfilter)变量维度过滤器(dimensionfilter)(variable)通用链接寅体过滤器(enti廿filler)(genericlink)通用过滤器(gcncralfilter)隐式过滤器(implicitfilter)通用标签(Rcneric1abels)匹配过滤嚣(matchfilter)通用参考期间过滤嚣(periodfilter)Renericrefs)相关过滤器(relativefilter)片段场景过滤器(segsceniofilter)无组过滤器(tuplefiller)单位过滤器(unitfilter)值过滤嚣(vuluefilter)图1公式部分结构图4 www.bzfxw.com6通用链接规范6．1通用链接6．1．1概述GB／T25500．3—2010“通用链接”规范定义了一个扩展连接((gen：link>)和一个弧((gen：arc))，通过它们可以在任意XMI。元素之间建立关系。通用链接足(gen：link)元素替换组中的一个XBRI．扩展链接。(gen：link)元素的语法由A．1中的模式文件定义，所有声称与本章规定一致的处理器府执行A．1的模式文件所列示的约束。“通用链接”可以在XBRI。链接库中使用，它受到(1ink：linkbaseRef)元索中xlink：role属性规则的约束。6．1．2语法6．1．2．1通用链接的Mink：role属性“通用链接”中的xlink：role属性的属性值V应是一个绝对URI。如果V不是绝对URI，则应抛出错误代码xbrlgene：nonAbsoluteI。inkRoleURI。如果v不是标准扩展链接角色，那么“通用链接”的祖先元素(1ink：linkbese>应包含一个子元素(1ink：roleRef>，其roleURl属性的属性值为V。如果通用链接的祖先元素(1ink：linkbase>没有一个roleURl属性的值为V的子元素(1ink：roleRef)，则应抛出错误代码codexbrlgene：missingRoleRefForI。inkRole。如果指向(1ink：roleType)元素的(1ink：roleRef>元素，其roleURl属性值等于V，那么(1ink：roleType)元素应包含一个子元素子元素，该子元素的命名空间等于通用链接的命名空间，本地名称等于通用链接的本地名称，则应抛出错误代码xbrlgene：missingl。inkRoleUsedOnValue。6．1．2．2通用链接资源的xlink：role属性如果通用链接中的资源有一个Mink：role属性，则该xlink：role属性的值V应是一个绝对URI。如果v不是一个绝对URl，则应抛出错误代码xbrlgene：nonAbsoluteResourceRoleURl。该资源的祖先元素(1ink：linkbase>应有一个子元素(1ink：roleRef)，该子元素的roleURl属性值是V。如果该资源的祖先元素(1ink：linkbase)没有roleURI属性的值为v的子元素(1ink：roleRef)，则应抛出错误代码xbrlgene：missingRoleRefForResoureeRole。如果指向(1ink：roleType>元素的(1ink：roleRef)元素，其roleURI属性值等于v，那么(1ink：roleType>元素应包含一个子元素，其QName值的命名空间和本地名分别等于资源的命名空间和本地名。如果由带有roleURI属性为V的(1ink：roleRef)元素指向的(1ink：roleq、ype>元素不包含一个带有QName值的元素声明。通用参考是一个XLink资源。当通用参考包含在XBRL扩展链接中时，该通用参考为通过元素参考关系与其相关的元素确定注释。元素的语法由A．3的规范模式文件定义。6．3．2．2元素一参考关系元素参考关系是XMI。元素和通用参考之间的关系，该关系由一个XI，ink弧表示。为声明一个元素参考关系，XI．ink弧应同时满足以下条件：一一有一个弧角色值等于http：／／xbrl．org／arerole／2008／element—reference；——在弧的始端资源有一个XMI．元素；——在弧的末端资源有一个通用参考。弧角色值http：／／xbrl．org／arcr01e／2008／element—reference在通用参考的规范模式文件中声明。根据规范模式文件的弧角色声明限制，元素参考关系应由通用弧表示。7变量7．1XPath的求值与初始变量章节中，XPath表达式是通过间接关联的方式引用变量和参数的，而不是按照XPath2．0规范直接使用变量名或参数名。直接使用XPath或XQuery从XBRI．实例文档中选择数据经常会陷于复杂的关系中。变量章节提供了一个可选语法框架，用于指定从一份XBRI。实例文档中去选择需要数据的过滤器，从而使得实现变得简单。用变量章节定义的一些属性和元素中包括由XPath2．0规范表达式计算得到的值。在本章中，所有的XPath表达式都应遵从XPath2．0表达式规范。7 GB／T25500，3—20107．2方面7．2．1概述XBRL事实不仅仅是值。它们包含了更广泛的附加信息，这些附加信息为解释XBRI，事实所包含的值提供了必要的信息。方面是指与一个XBRI。事实相关的附加信息的一部分。所有的方面定义应包括方面测试的定义，该方面测试用于为已定义的方面评估两个值的等价性。方面测试是一个XPath表达式，该表达式定义了其方面值之间的等价关系。对于一个给定的方面，如果对该方面进行方面测试的求值为真，则两个事实的值是相等的。对于两个事实，方面测试既可以用于检测两个事实的报告值是否为同一个方面，也可以用于检测两个事实的报告值是否为一个等价值。当对所有的方面测试进行求值时，上下文项是输入XBRI，实例的(xbrli：xbrl>元素。一个方面的两个值相匹配是指：当对两个变量求值时，对应于此方面的方面测试返回值为“ture”，其中：一个变量为该方面的第一个值，另外一个变量为该方面的第二个值。如果两个事实拥有完全相同的方面，并且两个事实所拥有的每个方面的值都是相匹配的，则这两个事实就是方面匹配事实。在本章中，方面测试表示为含有两个XPath变量引用的XPath表达式，一个XPath变量为$aspectTest：a，对应于比较中与第一个事实相等的变量；第二个XPath变量为$aspectTest：b，对应于比较中与第二个事实相等的变量。本章对以下所有事实的方面进行了描述：——路径方面的方面测试是：“$aspectTest：a／．．is$aspectTest：b／．．”，事实数据的路径是从XBRL实例文档的根元素((xbrli：xbrl>)到此事实数据本身元素的一个有序序列；www.bzfxw.com—概念方面是用于事实数据报告值的概念。本方面的方面测试是：“(namespace—uri($aspectTest：a)eqnamespaceuri($aspectTest．b))and(10cal—name($aspectTest：a)eqlocal—name($aspectTest-b))”。本章对以下所有项的方面进行了描述，但不适用于元组：——实体标识符方面是指用于事实报告值的实体的标识符。此方面的方面测试为：(xfi：factidentifievscheme($aspectTest：a)eqxfi：factidentifier—scheme($aspectTest．b))and(xfi：fact—identifier—value($aspectTest：a)eqxfi：fact。identifiervalue($aspectTest．b))；⋯‘期间方面是指用于事实报告值的期间。此方面的方面测试为：xfi：nodes—correspond(xfi：period($aspectTest：a)，xfi：period($aspectTest．b))；——完整段方面是指段的完整内容，如果一个段包含在事实的上下文中，则不使用GB／T25500．2对其进行解释。此方面的方面测试为：xfi：nodes—correspond(xfi：segment($aspeetTest：a)，xfi：segment($aspectTest：b))；——非XDT段方面是指段的内容，如果一个段包含在事实的上下文中，则非一XDT段方面不包括由GB／T25500．2定义的内容。此方面的方面测试为：for$remainder—ainxfi：factsegmentremainder($aspectTest：a)，$remainder—binxfi：fact．segment—remainder($aspectTest：b)return((count($remaindera)eqcount($remainder—b))and(every$iin1tocount($re—mainder—a)satisfiesxfi：nodes—correspond($remainder—a[$i]，$remainder如[i])))；——完整场景方面是指场景的完整内容，如果一个场景包含在事实的上下文中，则不使用GB／T25500．2对其进行解释。此方面的方面测试为：xfi：nodes—correspond(xfi：scenario($aspectTest：a)，xfi：scenario($aspeetTest-b))；非XDT场景方面是指场景的内容，如果一个场景包含在事实的上下文中，则非XDT场景方8 www.bzfxw.comGB／T25500．3—2010面不包括由GB／T25500．2定义的内容。此方面的方面测试为；for$remainder—ainxfi：fact—scenarioremainder($aspectTest：a)，$remainder—binxfi：fact—scenario—remainder($aspectTest：b)return((count($remainder—a)eqcount($remainder-b))and(every$iinltocount($remainder-a)satisfiesxfi：n。des"corresp。nd($remainder_a[$i]，$remainder_b[i])))；一维度方面是指报告在事实的段或者场景中的XBRI。维度。本章对以下仅用于数值型数据项的方面进行了定义：单位方面是指事实的单位，此方面的方面测试为：xfi：nodes—correspond(xfi：unit($aspectTest：a)，xfi：unit($aspectTest：b))7．2．2维度方面测试·7．2．2．1概述维度方面测试取决于该维度是明确维度还是类型化维度，并且，如果该维度是一个类型化维度，则维度方面测试还取决于等值定义是否与类型化维度的类型化维度域定义相关联。7．2．2．2明确维度方面测试明确维度方面测试是：xfi：nodes—correspond(xfi：fact—explicit—dimension—value($aspectTestexplicit—dimension—value($aspectTest：b，#dimension))其中：#dimension是定义此方面的维度的Qname。7．2．2．3类型化维度方面测试7．2．2．3．1概述类型化维度值指XBRI。实例中类型化维度的值。在语法构成上，它是带有根元素的单独的XMI。段，此处的根元素是类型化维度的维度容器的子元素。类型化方面测试用于测试相同类型化维度的维度值之间的相等性。类型化维度域定义是指XMI，模式文件中的元素，此XMI。模式文件定义了一个类型化维度的内容模型，并且此XMI，模式文件通过声明一个类型化维度的XMI，模式文件元素中的xbrldt：typedDomainRef属性进行标识。25500．2允许多个类型化维度使用相同的类型化维度域定义。类型化维度方面测试依赖于定义维度方面的类型化维度是否拥有一个包含等值定义的类型化维度域定义。缺省类型化维度方面测试是指在进行类型化维度的类型化维度方面测试时，该类型化维度没有与其类型化维度域定义相关联的等值定义。自定义类型化维度方面测试是指在进行类型化维度的类型化维度方面测试时，该类型化维度有一个与其类型化维度域定义相关联的等值定义。7．2．2．3．2缺省类型化维度方面测试两个元素／属性节点A和B，如果满足下列任意一个条件，则A和B有相同的名称：它们都有QName名称，Aqn和Bqn，并且当空序列作为上下文项时，XPath2．0表达式(AqneqBqn)的值是～个有效的布尔值“true”；或者，它们都有未在任何命名空间中定义的名称：An和Bn，并且，当空序列作为上下文项时，XPath2．0表达式(AqneqBqn)的值是一个有效的布尔值“true”。当下列条件同时满足时，两个属性节点A和B为一致性属性：q GB／T25500．3—2010一．一A和B有相同的名称；——通过分解A和B以及As和Bs所得到的原子值序列的长度相同；并且当空序列作为上下文项时，对于每一个项Ai，即在As中i位置上。和每个项Bi，即在Bs中i位置上，此处XPath2．0表达式(AieqBi)的求值是一个有效的布尔值“true”。注：如果属性节点A和B都分解为空序列，则这些属性节点是一致的。当下列条件同时满足时，两个元素节点A和B为一致性元素：——A和B有相同名称；——通过分解A和B以及As和Bs所得到的原子值序列的长度相同}并且当空序列作为上下文项时，对于每一个项Ai即在As中i位置上，和每一个项Bi，即在Bs中i位置上，此处XPath2．0表达式(AieqBi)的求值是一个有效的布尔值“true”；——A和B有相同数量的属性(命名空间的定义没有包含属性的数量)；——对于元素节点A的每一个属性，元素节点B上都有相应的一致性属性；——A和B拥有相同数量的子元素；——对于元素节点A和Ac的每一个子元素，元素节点B和Bc都有相应的一致性子元素，这样使Ac和Bc有相同数量的同层兄弟元素。注：对于属性节点，如果元素节点A和B都能分解为空序列，则这些元素节点是一致的。如果两个类型化维度值是对相同类型化维度的求值，并且两个类型化维度值的根元素一致，则二者为一致性类型化维度值。缺省类型化维度方面测试是：(fn：count(xfi：fact—typed—dimension—value($aspectTest：a，#dimension)／*)eq1)and(fn：count(xfi：fact—typed—dimensionvalue($aspectTest：b，#dimension)／*)eq1)and(xfi：nodes—correspond(xfi：fact—typed—dimension-value($aspeetTest：a，#dimension)／*[1]，xfi：www.bzfxw.comfact—typed—dimension—value($aspectTest：b，#dimension)／*[1]))其中：#dimension是定义此方面的维度的QName。7．2．2．3．3自定义类型化维度方面测试自定义类型化维度方面测试为：(fn：count(xfi：fact—typed—dimension—value($aspectTest：a，#dimension)／*)eq1)and(fn：count(xfi：fact—typed—dimension-value($aspectTest：b，#dimension)／*)eq1)and(#custom)其中：#dimension是定义此方面的维度的QName，#custom是等值定义上的test属性所包含的XPath表达式，在自定义类型维度方面测试适用时，此等值定义应与类型化维度的域定义相关。a)类型化维度的等值定义等值定义是指类型化维度域定义中的任意两个值之间的相等关系。由(variable：equalityDefinition>元素表示。(variable：equalityDefinition)元素的语法由A．4的规范模式文件定义。一个等值定义上的test属性的内容是一个XPath表达式，此XPath表达式组合到使用类型化维度域定义的类型化维度的自定义类型化维度方面测试中。类型化维度域定义与等值定义关系的等值定义相关。当变量$aspectTest：a使用于一个由等值定义所包含的XPath表达式中时，则其与方面值比较中的第一个事实相等，同样地，当变量$aspectTest：b使用于一个由等值定义所包含的XPath表达式中时，则其与方面值比较中的第二个事实相等。当一个类型化维度域定义与等值定义的等值定义关系不唯一时，则应抛出错误代码xbrlve：multipleTypedDimensionEqualityDefinitions。10 www.bzfxw.com GB／T25500．3—2010方面。非XDT段方面是维度方面模型的段OCC方面。非XDT场景方面是维度方面模型的场景OCC方面。维度和非维度方面模型总结见表2。表2方面模型中包含的方面方面模型方面维度非维度位置包含包含概念包含包含实体标识符包含包含期间包含包含单位包含包含完整段不包含包含完整场景不包含包含非xD|l段包含不包含非xDT场景包含不包含维度包含不包含7．3变量的语法www.bzfxw.com7．3．1概述当语法限制在A．4的规范模式文件中未有定义时，本章仅提供该语法限制的文字声明。当元素和属性未在其他规范中解释时，本章提供这些元素和属性的解释。除另说明，对特殊元素的引用指对该元素或对该元素所在替换组中任意元素的引用。7．3．2自定义函数签名自定义函数签名是指未在XPath、XQuery函数规范及XBRl．函数注册表中定义的XPath函数。如果一个自定义函数有命名空间“http：／／www．xbrl．org／2008／function／instance”，且该命名空间预留在XBRI，函数注册表中，则应抛出错误代码xbrlve：noProhibitedNamespaceForCustomFunetion。自定义函数标识通过(variable：function>元素来声明。元素的type属性值确定了输人参数的数据类型。自定义函数输入参数的顺序与自定义函数签名中(variable：input)子元素的文档相匹配。自定义函数的实现不包括在本章中。12 www.bzfxw.com7．3．3参数GB／T25500．3—2010参数通过(variable：parameter>元素来声明，并且可以指定缺省值，该缺省值可作为声明的一部分指定，也可由处理软件提供相应值。(variable：parameter>元素的语法由A．4的规范模式文件定义。参数声明的name属性包含该参数的QName。当设定该参数的值的时候，变量处理器通过参数的QName唯一标识此参数。当使用该参数时，不能通过该参数的QName来引用该参数。此QName由使用它的资源和参数的关系来指定。如果一个DTS中的两个参数所拥有的由其name属性指定的QName相同，则应抛出错误代码xbrlve：parameterNameClash。如果一个参数声明的required属性为“true”，则该参数为必选参数，其值应由处理应用给定。否则，该参数的值可由处理应用给定。如果处理应用程序未给该参数提供值，或者该参数不是必选参数，那么该参数的值可能由给定．select属性的XPi．th表达式计算得出。参数的声明可能包含as属性，该属性指定该参数所需的数据类型。如果一个由调用函数提供或由参数的select属性决定的参数的值不能转换为特定的数据类型，则应抛出错误代码xbrlve：parameteITypeMismatch。本章中定义的参数不包括序列构造器。7．3．4一般变量一般变量通过(variable：generalVarlable>元素来声明。(variable：genera!Variable>元素的语法由A．4的规范模式文件定义。一般变量隐含的XPath表达式是一般变量的select属性的内容。XPath表达式求值的上下文节点是输入XBRI。实例的(xbrli：xbrl)元素。7．3．5XBRL事实变量7．3．5．1概述事实变量通过(variable：factVtariable>元素来声明。(variable：factVariable>元素的语法由A．4的规范模式文件定义。事实变量所蕴含的XPath表达式依赖于其过滤器。如果事实变景中的nils属性缺省，或者为false，则该事实变量蕴含的XPath表达式以xfi：non—nilfacts—in—instance()开头。如果事实变量中的nils属性为true，则该事实变量蕴含的XPath表达式以xfi：factsininstance()开头。该条件由一个XPath谓词决定，该XPath谓词用于在由xfi：factsin-4nstance()函数或xfi：non—nilfactsininstance()函数生成的一组结果中过滤事实。XPath谓词中的表达式包含了每个事实变量过滤器所蕴含的一个XPath表达式。事实变量既可以使用过滤器，也可以使用过滤器补集确定其蕴含的XPath表达式。一个过滤器的补集选取了所有没有被过滤器选取的事实。过滤器补集所蕴含的XPath表达式是应用于过滤器所蕴含的XPath表达式的fn：not()函数。如果一个事实变量使用了过滤器而不是其补集，则在被纳人事实变量所蕴含的XPath表达式之前，该过滤器所蕴含的XPath表达式由圆括号“(”和“)”包括。如果事实变量使用过滤器补集而不是过滤器，则在被纳人事实变量所蕴含的XPath表达式之前，该过滤器所蕴含的XPath表达式不能修改。】3 GB／T25500．3—2010为了在XPath谓词中获得完整的XPath表达式，可使用and标记将过滤器和过滤器补集所蕴含的XPath表达式组合成一个单独的“XPath和表达式”。＼7．3．5．2过滤器过滤器用于为输入XBR[。实例的事实定义选取标准。输人事实是指在输入XBRL实例中将要过滤的事实。过滤器表达了可用于输入事实数据的标准。此标准包含在事实变量所蕴含的XPath表达式中。过滤器被声明为XML扩展连接中的XMI．链接资源。过滤器应在(variable：filter)抽象元素的替代组里。所有的过滤器都应蕴含一个XPath表达式，该XPath表达式可以使用任何事实作为一个上下文项进行求值。每一个过滤器规范都应包括过滤器所蕴含的XPath表达式的定义。一个过滤器所蕴含的XPath表达式可以包含XPath变量引用。由过滤器所蕴含的XPath表达式中的XPath变量引用的求值不在本章范围内。此类XPath变量引用的求值，需要在本章基础之上另具规范来规定，包括如何将变量与用于XPath变量引用的Qname进行连接的规范。事实满足过滤器要求的必要条件是使用事实作为上下文项时，此过滤器所蕴含的XPath表达式的求值结果是一个有效的布尔值“true”。如果过滤器使用方面作为标准选取事实，则此过滤器可覆盖此方面。一个事实变量的未覆盖方面是指任何其他过滤器未覆盖的方面，此过滤器用于构造变量所蕴含XPath表达式。每一个过滤器规范应指明其所能覆盖的方面(如果有此方面)。覆盖过滤器是指能覆盖它所能覆盖的一个或者多个方面的过滤器。www.bzfxw.com非覆盖过滤器是指不能覆盖它所能覆盖的一个或者多个方面的过滤器。无论过滤器是覆盖过滤器还是非覆盖过滤器。过滤器都指定为过滤器以及使用该过滤器的事实变量之间关系的一部分。过滤器可以通过以下三种方式与事实变量相联系：——明确的，通过变量过滤器关系；——明确的，通过变量集过滤器关系，——隐式的。所有用于联合事实变量与过滤器的方法可以识别过滤器是否覆盖了方面，以及事实变量是否使用了过滤器或者过滤器补集。7．3．5．3变量过滤器关系变量过滤器关系是指事实变量和过滤器之间的关系，该关系由一个XI。ink弧表示。为声明一个变量一过滤器关系，一个XLink弧应满足以下条件：——有一个弧角色值等于http：／／xbrl．org／arcr。le／2008／variable—filter,——在弧的始端资源有一个事实变量；——在弧的末端资源有一个过滤器。弧角色值“http：／／xbrl．org／arcrole／2008／variable．filter”由本章中的规范模式文件定义。变量过滤器关系应由变量过滤器弧表示。根据GB／T25500．1进行的校验可以检测出是否违反了该规则。补充的变量过滤器关系指由一个值为true的、带有complement属性的弧来表示的变量过滤器关系。14 www.bzfxw.comGB／T25500．3—2010过滤器中带有一个补充的变量过滤器关系的事实变量使用其所蕴含的XPath表达式中的过滤器补集，而不是过滤器本身。覆盖变量过滤器关系指由一个值为true的、带有cover属性的弧来表示的变量过滤器关系。如果通过变量过滤器关系使一个过滤器与一个变量相关联，则此过滤器仅覆盖由变量过滤器关系覆盖的已过滤的事实的方面。7．3．5．4变量过滤器弧变量过滤器弧由(variable：variableFiherArc)元素表示。(variable：variableFiherArc>元素的语法由A．4的规范模式文件定义。7．3．6变量集7．3．6．1概述变量所蕴含的XPath表达式可以包括XPath变量引用，这些引用需要转化为其他事实变量或一般变量。当蕴含XPath表达式的变量和引用的变量在同一个变量集中时，此引用才可以进行转化。变量集是指一组可以通过xPath变量引用进行互相引用的事实变量和／或一般变量。变量集是由具有(variable：variableSet)抽象元素的替换组中的本地XLink资源定义的。这样的资源称作变量集资源。所有与变量集资源有变量集关系的变量，都在由此资源所定义的变量集当中。变量集使用其aspeetModel属性来标识其方面模型。变量集合资源中的aspectModel属性的值是方面模型标识符，该方面模型用于在变量集资源定义的变量集中对变量进行求值。变量集的方面模型指由变量集资源上的aspectModel属性来标识的方面模型，该变量集由变量集资源来定义。如果处理软件不能识别被aspectModel属性的值所标识的方面模型，则应抛出错误代码xbrlve：unknownAspeetModel。如果同一个变量集中的两个或更多的变量或参数的名称相同，则应抛出错误代码xbrlve：duplicat—eVariableNames。如果处理软件遇到一个变量集，在该变量集中有一个或两个事实变量有可以覆盖一个方面的过滤器，但该过滤器没有在变量集的方面模型中进行定义，则应抛出错误代码xbrlve：fiherAspectModelM—ismatch。7．3．6．2变量集关系变量集关系是变量集资源与事实变量、一般变量或参数之间的关系，该关系由一个XI。ink弧表示。为声明变量集关系，XI，ink弧应满足以下条件：——有一个弧角色值等于“http：／／xbrl．org／arcrole／2008／variable—set”；——在弧的始端资源有一个变量集资源；——在弧的末端资源有一个参数或一个事实变量或一个一般变量。弧角色值“http：／／xbrl．org／arcrole／2008／variable—set”由A．4的规范模式文件声明。变量一集合关系应使用变量弧表示。根据GB／T25500．1进行的校验可以检测出是否违反了此项规定。变量或参数的QName通过与一个变量集有关系的变量弧中的name属性指定。如果QName没有命名空间前缀，则无论包含元素的缺省命名空间为何值，该QName都没有命名空间。否则，QName会遵循NAMEsPACES规范，使用包含name属性的变量弧范围的命名空间声明。当对一个变量集进行变量求值时，此QName的XPath变量引用是对变量或参数的引用。对于参15 GB／T25500．3—2010数，此QName可以与参数声明中给出的QName不I司。7．3．6．3变量弧变量弧由元素表示。元素的语法由A．4的规范模式文件定义。7．3．6．6隐式过滤器变量集中的事实变量可以与本节中定义的隐式过滤相关联，也可以通过变量过滤器关系和变量集过滤器关系与过滤器明确地相关联。如果一个变量集的事实变量有隐式过滤器，则此变量集应具有一个值为“true”的implieitFiltering属性。如果implicitFihering属性为“false”，则在此变量集里的事实变量与隐式过滤器没有关系。如果变量集的implicitFiltering属性为“true”，则变量集使用隐式过滤器。如果变量集的implicitFiltering属性为“false”，则变量集不使用隐式过滤器。与变量集中的事实变量相关联的隐式过滤器(如果有)依赖于变量集的方面模型。如果变量集含有维度方面模型，则变量集中的事实变量与维度隐式过滤器相关联。如果变量集含有非维度方面模型，则变量集中的事实变量与非维度隐式过滤器相关联。】6 www.bzfxw.comGB／T25500．3—2010过滤器中带有一个补充的变量过滤器关系的事实变量使用其所蕴含的XPath表达式中的过滤器补集，而不是过滤器本身。覆盖变量过滤器关系指由一个值为true的、带有cover属性的弧来表示的变量过滤器关系。如果通过变量过滤器关系使一个过滤器与一个变量相关联，则此过滤器仅覆盖由变量过滤器关系覆盖的已过滤的事实的方面。7．3．5．4变量过滤器弧变量过滤器弧由元素的语法由A．4的规范模式文件定义。7．3．6变量集7．3．6．1概述变量所蕴含的XPath表达式可以包括XPath变量引用，这些引用需要转化为其他事实变量或一般变量。当蕴含XPath表达式的变量和引用的变量在同一个变量集中时，此引用才可以进行转化。变量集是指一组可以通过xhth变量引用进行互相引用的事实变量和／或一般变量。变量集是由具有(variable：variableSeO抽象元素的替换组中的本地XI．ink资源定义的。这样的资源称作变量集资源。所有与变量集资源有变量集关系的变量，都在由此资源所定义的变量集当中。变量集使用其aspectModel属性来标识其方面模型。变量集合资源中的aspectModel属性的值是方面模型标识符，该方面模型用于在变量集资源定义的变量集中对变量进行求值。变量集的方面模型指由变量集资源上的aspeetModel属性来标识的方面模型，该变量集由变量集资源来定义。如果处理软件不能识别被aspeetModel属性的值所标识的方面模型，则应抛出错误代码xbrlve：unknownAspeetModel。如果同一个变量集中的两个或更多的变量或参数的名称相同，则应抛出错误代码xbrlve：duplicat—eVariableNames。如果处理软件遇到一个变量集，在该变量集中有一个或两个事实变量有可以覆盖一个方面的过滤器，但该过滤器没有在变量集的方面模型中进行定义，则应抛出错误代码xbrlve：fiherAspectModelM—ismatch。7．3．6．2变量集关系变量集关系是变量集资源与事实变量、一般变量或参数之间的关系，该关系由一个XI。ink弧表示。为声明变量集关系，XI。ink弧应满足以下条件：——有一个弧角色值等于“http：／／xbrl．org／arcrole／2008／variable—set”；——在弧的始端资源有一个变量集资源；——在弧的末端资源有一个参数或一个事实变量或一个一般变量。弧角色值“http；／／xbrl．org／arcrole／2008／variable—set”由A．4的规范模式文件声明。变量一集合关系应使用变量弧表示。根据GB／T25500．1进行的校验可以检测出是否违反了此项规定。变量或参数的QName通过与一个变量集有关系的变量弧中的name属性指定。如果QName没有命名空间前缀，则无论包含元素的缺省命名空间为何值，该QName都没有命名空间。否则，QName会遵循NAMEsPAcEs规范，使用包含name属性的变量弧范围的命名空间声明。当对一个变量集进行变量求值时，此QName的XPath变量引用是对变量或参数的引用。对于参15 GB／T25500．3—2010数，此QName可以与参数声明中给出的QName不同。7．3．6．3变量弧变量弧由(variable：variableAre>元素表示。(variable：variableArc>元素的语法由A．4的规范模式文件定义。7．3．6．4变量集过滤器关系变量集过滤器关系是变量集资源和过滤器之间的关系，该关系由xI。ink弧表示。为声明一个变量集过滤器关系，xI．ink弧应满足以下关系：一一有一个弧角色值等于http：／／xbrl．org／arcrole／2008／va“ableset—filter；——在弧的始端资源定义一个变量集的XLink资源；——在弧的末端资源有一个过滤器。弧角色值“http：／／xbrl．org／arcr01e／2008／variableset—filter”由A．4的规范模式文件声明。变量集过滤器关系应通过变量集过滤器弧表示。根据GB／T26500．1进行的校验可以检测出是否违反了此项规定。根据定义，参与变量集过滤器关系的过滤器与变量集当中的每～个事实变量相关联，该变量集由其相关资源定义。组过滤器是指一个过滤器通过变量集过滤器关系与事实变量相关联。变量集过滤器补集关系指由一个值为true、带有complement属性的弧所表示的变量集过滤器关系。在一个由资源定义的变量集中，与一个过滤器拥有变量集过滤器关系的事实变量，使用其所蕴含的www.bzfxw.comXPath表达式中的过滤器补集，而不是过滤器本身。根据定义，通过变量集过滤器关系与事实变量相关联的所有过滤器都不能覆盖任何方面。通过变量集过滤器关系与事实变量相关联的过滤器所蕴含的XPath表达式不应包括对一般变量或事实变量的XPath变量的引用。如果通过变量集过滤器关系与事实变量相关联的过滤器所蕴含的XPath表达式中包含对一般变量或事实变量的XPath变量引用，则应抛出错误代码xbrlve：factVariableReferenceNotAliowed。7．3．6．5变量集过滤器弧变量集过滤器弧由(variable：variableSetFiherAre)元素表示。(variable：variableSetFiherArc)元素的语法由A．4的规范模式文件定义。7．3．6．6隐式过滤器变量集中的事实变量可以与本节中定义的隐式过滤相关联，也可以通过变量过滤器关系和变量集过滤器关系与过滤器明确地相关联。如果一个变量集的事实变量有隐式过滤器，则此变量集应具有一个值为“true”的impllcitFiltertng属性。如果implicitFihering属性为“false”．则在此变量集里的事实变量与隐式过滤器没有关系。如果变量集的implicitFihering属性为“true”，则变量集使用隐式过滤器。如果变量集的implicitFiltering属性为“false”，则变量集不使用隐式过滤器。与变量集中的事实变量相关联的隐式过滤器(如果有)依赖于变量集的方面模型。如果变量集含有维度方面模型，则变量集中的事实变量与维度隐式过滤器相关联。如果变量集含有非维度方面模型，则变量集中的事实变量与非维度隐式过滤器相关联。6 www.bzfxw.com GB／T25500．3—2010如果两个求值是相同长度的序列，对于一个序列中的每一项在其他序列中均有对应的相同项，则一个事实变量的两个求值是同一事实变量求值。所有变量求值都从变量所蕴含的XPath表达式的求值开始。如果XPath表达式包含XPath变量引用，则此XPath表达式拥有一个变量依赖。应用程序负责确定一个变量集中变量的求值顺序，以此来确保变量集中每一个变量和已经求值的变量的变量依赖。如果一个已求值的XPath表达式无法与变量或参数建立变量依赖。则应抛出错误代码xbrlve：un—res。lvedDependency。如果变量集中的变量问的引用存在循环依赖，则应抛出错误代码xbrlve：cyclicDependencies。示例：循环变量引用事实变量$a蕴含一个XPath表达式．该XPath表达式包含对一般变量$b的XPath变量引用。一般变量$b蕴含一个XPath表达式，该XPath表达式包含对一般变量$c的一个XPath变量引用。一般变量$c蕴含一个XPath表达式，该XPath表达式包含对一般变量$a的一个XPath变量引用。XPath的变量应用的循环集可包括事实变量和一般变量。源序列指通过对一般变量或者事实变量所蕴含的XPath表达式求值所得到的序列。7．4．2绑定成一个序列如果变量有bindAssequence属性，且为true，则此变量可绑定成一个序列。变量求值的结果依赖于变量是否绑定成了一个序列。对于未绑定成序列的一般变量，其求值结果是其源序列中任意一项。对于绑定成序列的一般变量，其求值结果是源序列。www.bzfxw.com对于一个事实变量，如果源序列非空并且未绑定成一个序列，则其求值结果是该序列的候选值，或者是其源序列中的任意一个事实。对于一个事实变量，如果源序列非空并且绑定成一个序列，则其求值结果是它的候选值，或者是其源序列中的任意～个满足下列条件的事实一——求值结果中的所有事实数据同时在事实变量的源序列中；——在求值结果中，事实仅发生一次；——求值结果序列中每个事实数据的每一个未覆盖方面应拥有一个在求值结果中与所有其他事实等效的方面值；——求值结果中的所有事实应拥有相同的方面集；——如果事实变量的matches属性缺省或者为false，则求值结果不应包含任何方面匹配事实；——求值结果应包含来源于符合前提条件的源序列的所有可能的事实。事实变量的求值结果中的事实顺序依赖于应用程序。仅在其所包含的事实的顺序方面存在不同的求值结果视为相同的求值结果。7．4．3绑定成一个空序列如果一个源序列为空，则事实变量的求值结果同样依赖于此事实变量的fallbackValue属性。如果一个事实变量拥有fallbaekValue属性，则其可以绑定成一个空序列。否则，当源序列为空时，一个事实变量不能绑定成一个空序列，则对该事实变量进行求值。如果一个事实变量可以绑定成一个空序列，并且源序列为空，则变量求值的结果取决于fallbackValue属性。具体来说，事实变量求值的结果通过输入XBRL实例的(xbrl；xbrli>元素作为上下文节点，由fallbackValue属性所包含的XPath表达式的求值给定。变量集中的参数在上下文中用于18 www.bzfxw.comGB／T25500．3—2010fallbackValue属性中的XPath表达式的求值，但变量集中的事实变量和一般变量则不能在上下文中用于fallbackValue属性中的XPath表达式的求值，因此不能在XPath表达式内被引用。候补值是指在fallbackValue属性的内容基础上所确定的事实变量的值。非候补值是指在源序列的基础上而非fallbaekValue属性内容的基础上所确定的事实变量的值。8过滤器8．1布尔过滤器8．1．1概述本章对AND过滤器和OR过滤器进行了XMI。语法定义，其中AND过滤器要求数据应满足的所有子过滤器的条件，OR过滤器则要求数据仅需满足其中任一子过滤器的条件。子过滤器是指因布尔过滤器关系而与布尔过滤器相关联的过滤器。在本章中所定义的所有过滤器均称为布尔过滤器。8．1．2语法8．1．2．1AND过滤器AND过滤器是由(bf：andFihernil)元素来声明的，本章的模式文件定义了(bftandfilter)元素的语法。AND过滤器以所有子过滤器所表达的条件来匹配事实。由AND过滤器表示的XPath表达式，均包含关于每一个子过滤器或是子过滤器补充物的一个条件。关于子过滤器或子过滤器补充物的条件，即为由该子过滤器或子过滤器补足物表示的XPath公式。这些条件合起来组成单一的XPathand—expression表达式，并用“和”将其分隔。AND过滤器可以涵盖其子过滤器涵盖的所有方面。AND过滤器见示例。示例：AND过滤器子过滤器暗含的约束条件·用于匹配含有被命名为(egtassets)的概念的事实的概念名称过滤器通过AND过滤器所匹配到的事实应以《eg：assets)来命·用于匹配含有模式文件httpl／／www．example．com／名。且其上下文中有一个http；／／www．example．corn／entity／identification中的一个实体标识符的事实的entity／identification模式文件中的实体识别符特定实体模式文件过滤器·用于匹配具有(xbrli：xbrl)父项的事实的父项过滤器用于匹配上下文期间为“永久”的事实的永久过滤器事实不应包含在元组中．而且应在“永久”期间内报告8．1．2．2OR过滤器OR过滤器是由(bf：orFiher)元素来声明的。A．5的模式文件定义了(bf：orFilter)元素的语法。OR过滤器是以任一子过滤器所表达的条件来匹配事实。由OR过滤器表示的XPath公式，均包含关于每个子过滤器或是子过滤器补充物的一个条件。关于子过滤器或是子过滤器补充物的条件，即是由该子过滤器或是子过滤器补充物表示的XPath公式。19 GB／T25500．3—2010这些条件合起来组成单一的XPathor—expression，并用“或”将其分隔。一个OR过滤器可以涵盖其子过滤器涵盖的所有方面。OR过滤器见示例。示例：OR过滤器子过滤器晴含的约束条件用于匹配含有被命名为(eg：assets)的概念的事实的概念名称过滤器所匹配到的事实应以均含有一个项，这些项通过XPath的OR运算符相结合。概念名称过滤器所蕴含的XPath表达式中的每个条件为以下两种形式中的任一种：——如果元素包含一个元素，则条件为：(fn：node—name(．)eq#qnameExpression)其中：#qnameExpression是cf：qnameExpression元素所包含的XPath表达式。——如果元素，则条件为：(fn：node—name(．)eqfn：QName(#namespace，#name))其中：#namespace是作为(cf：qname)元素内容的QName的命名空间，#name是作为(cf：qname>元素内容的QName的本地名称。概念名称过滤器见示例。示例：概念名称过滤器过滤器选择标准(ef；concept>(cf：qname>eg：asset8概念名称应为eg：assets<／ef：qname>(／ef；concept>(／cflconceptName>‘c{：eoneeptName)(cf：concept>(cf：qname>eg：assets(／cf：qname>(／eflconcept>概念名称应为eg：assets或者eg：liabilities(cf：qnameExpression>fn￡QName(7http：／／example．tom／’，’eg：liabilities’)‘／d：qnameExpression>(／of；concept>(／el：conceptName>(ef：conceptName>概念名称应与由XPath变量引用$a存取的节点的概念名(cflconcept>称相同注：XI．ink属性被省略8．2．2．2概念期间类型过滤器概念期间类型过滤器由(cf：conceptPeriodType)元素声明。(cf：conceptPeriodType)元素的语法由A．6的规范模式文件定义。概念期间类型过滤器可以根据报告值是时间段类型还是时点类型来匹配事实，事实报告值的类型由xbrli：periodType属性决定。21 GB／T25500．3—2010概念期间类型过滤器所蕴含的XPath表达式为：xfi：concept—period—type(fn：node-name(．))eq7#periodType’其中；#periodType是概念期间类型过滤器中periodType属性的值。概念期间类型过滤器见示例。示例：概念期间类型过滤器过滤器选择标准l《cf,conceptPeFi。dTyp。peri。dType=”instant"／>报告事实中应含有时点期间『(cf：conceptPeri。dTyp8peri。dType一“duration"／)报告事实中应含有时间段期间注：XI。ink属性被省略。8．2．2．3概念余额过滤器概念余额过滤器由(cf：conceptBalance>元素声明。(cf：conceptBalance)元素的语法由A．6的规范模式文件定义。概念余额过滤器可以匹配含有xbrlitbalance属性，且当该属性是否有借方或贷方值的事实。概念余额过滤器所蕴含的XPath表达式为：if(’#balance’eq’none’)then(xfilcOncept—balance(fn：node-name(．))eq”)else(xfi：concept—balance(fn：node—name(．))eq’#balance7)其中：#balance是概念余额过滤器中balance属性的值。概念余额过滤器见示例。示倒：www.bzfxw.com概念余额过滤器过滤器选择标准(cf：conceptBalancebalance=“credit“／>事实的概念应被分类为贷方余额概念事实的概念不应被分类为借方或贷方余额概念注：XLink属性被省略。8．2．2．4概念自定义属性过滤器概念自定义属性过滤器由(cf：conceptCustomAttribute>元素声明。元素内容的QName的命名空间，#name是(cf：qname)元素内22 www.bzfxw.com GB／T25500．3—2010属性值为true，则概念数据类型过滤器所蕴含的XPath表达式为：xfi：conceptdata—type(fn：node—name(．))eq#qnameExpression其中：#qnameExpression是(ef：qnameExpression)元素所包含的XPath表达式。如果(cf：type)元素包含一个(cf：qnameExpression>元素，且(cf：conceptDataType)元素的@strict属性值为false，则概念数据类型过滤器所蕴含的XPath表达式为：xfi：concept—data—type—derived—from(fn：node—name(．)，#qnameExpression)其中：#qnameExpression是元素的@strict属性值为true，则概念数据类型过滤器所蕴含的XPath表达式为：xfi：concept—data—type(fn：node—name(．))eqfn：QName(#namespace，#name))其中：#nflmespace是(cf：qname)元素内容的QName的命名空间，#name是(cf：qname)元素内容的QName的本地名称。如果(ef：type)元素包含一个(cf；qname)元素，且(cf：c。nceptDataType)元素的@strict属性值为false，则概念数据类型过滤器所蕴含的XPath表达式为：xfi：concept—data—type—derived—from(fn：node—name(．)，fn：QName(#namespace，#name))其中：#namespace是作为(efltype)(cflqname)事实的概念的数据类型应是@xbrli：monetary—xbrli：monetaryltemTypehemType(／el：qname)(／cf：type)(／cf：conceptDataType>(cf!conceptDataTypestrict=”false”)(cf：type)(cf：qname)事实的概念的数据类型应被限定为@xbrli：pu—xbrlilpurehemTyperehemType(／el：qname)<／cf：type)<／ofIconceptDataType>(cficoneeptDataTypestrict=”false”)假设自定义函数注：XLink属性被省略24 www.bzfxw.com GB／T25500．3—2010表(续)过滤器选择标准元素声明，(ef：regexpScheme>元素的语法由A．8的规范模式文件定义。正则表达式实体模式文件过滤器可以根据实体模式文件中文本的常见模式匹配事实。正则表达式实体模式文件过滤器所蕴含的XPath表达式如下所示：fn：matches(xfi：fact．identifier—scheme(．)，’#pattern’)，其中：#pattern是正则表达式实体模式文件过滤器的pattern属性的值。正则表达公式实体模式文件过滤器见示例。示例；正则表达式模式文件方案过滤器过滤pattern属性选择标准‘http．+www.bzfxw.com实体识别模式文件应以http开头，并且其后至少有一位字符8．4．2．4特定实体标识符过滤器特定实体标识符过滤器由(ef：specificIdentifier)元素声明。(ef：specificIdentifier>元素的语法由A．8的规范模式文件定义。特定实体标识符过滤器可以匹配是否使用由过滤器给定的实体标识符的值来报告值的事实。特定实体标识符过滤器所蕴含的XPath表达式如下所示：(xfi：fact—identifiervalue(．)eq#valueandxfi：fact—identifierscheme(．)eq#scheme)，其中：#valuei是特定的实体标识符过滤器的value属性的值，#scheme是特定实体标识符过滤器的scheme属性的值。特定实体标识符过滤器见示例。。示例：特定实体标识符过滤器过滤scheme属性过滤value属性选择标准实体标识符模式文件应为http：／／my．eom／entity／idenhttp：／／my,corn／entity／identification／scheme1234ASDFtification／seheme．并且实体识别值应为1234ASDF8．4．2．5正则表达式的实体标识符过滤器正则表达式实体标识符过滤器由元素的语法由A．10的模式文件定义。实体标识符匹配过滤器可用于选取拥有相同实体标识符的事实。34 www.bzfxw.com GB／T25500．3—20108．8期间过滤器8．8．1概述本章定义了以度量的事实所处期间的特征为条件的过滤器的语法。本章定义的所有的过滤器均可覆盖期间方面。8．8．2语法8．8．2．1期间过滤器说明一个期间过滤器由元素的语法由A．11的规范模式文件定义。时点时间段过滤器用于匹配报告的时点与另一个报告的事实所属时间段的起点或终点相匹配的事实。当boundary属性等于start时，时点一时间段过滤器默认的XPath表达式为：if(fn：QName(”http：／／www．xbrl．org／2003／instance”，”tuple”)intersectxfi：conceptsubstitutions(fn：node-name(．)))then(false())else(xfi：period(．)[if(xfi：is—instant—period(．)andxfi：isstart—end—period(xfi；period($#variable)))then(xfi：periodinstant(．)eqxfi；period—start(xfi：period($#variable)))elsefn：false()])其中：#variable为时点一时间段过滤器中variable属性所包含的QName。当boundary属性等于end时，时点时间段过滤器默认的XPath表达式为：if(fn：QName(”http：／／www．xbrl．org／2003／instance”，”tuple”)intersectxfi：concept—substitutions(fn：node—name(．)))then(false())else(xfi：period(．)[jf(xfi：is—instantperiod(．)andxfi：is—start—endperiod(xfi：period($#variable)))then38 www.bzfxw.com GB／T25500．3—2010Variables111thevariableset变量集的变量VariableFilters变量过滤器eg：flow覆盖的概念名称过滤器要求报告与eg：flow概念匹配的事实的值——覆盖的概念名称过滤器要求报告与eg：stock概念匹配的事实的值覆盖的时间点时间段过滤器要求报告满足匹配条件的事实的值，事实的报告值满足条件：时间点等于根据eg：flow变量匹配的事实的时间段的起点eg：startingSlock——覆盖的类型化维度过滤器要求匹配事实，事实的报告值满足条件：重编日期等于根据eg：flow变量匹配的事实的结束日期覆盖的相关过滤器匹配根据变量eg：flow求值的其他未覆盖方面的事实根据给定eg：restatementDate类型化维度的过滤器的需求。不适用于此变量集不能使用非维度方面模型的使用对此变量集。示例2列示了小部分需要定义变量用于根据资产总额和负债总额计算所有者权益的过滤器。相关对过滤器将为两个变量匹配除了概念以外的所有方面。与相比定义在隐式过滤器规范中所定义的隐式过滤器相比，相关对过滤器可以从更多方面对进行值进行匹配。示例2：用于计算会计恒等式的变量www.bzfxw.comVariableslnthevariableset变量集的变量VariableFIllers变量过滤器eg：assets覆盖的概念名称过滤器要求报告与eg：assets概念匹配的事实的值覆盖的概念名称过滤器要求报告与eg：liabilities概念匹配的事实的值eg：liabilities——覆盖的相关过滤器匹配事实的其他未覆盖的方面。该事实为eg：assets变量的求值由于段过滤器和场景过滤器的匹配未考虑XBRI。维度值的比较差异，因此，在XBRI．实例中使用XBRI．维度时，变量集在非维度方面模型中小适用。8．10片段·场景过滤器8．10．1概述本章定义了以段和场景的内容作为条件的过滤器的XML语法。本章中定义的、可根据段和场景的内容选取事实的过滤器并不以GB／T25500．2中定义的明确维度和类型化维度为基础。非XDT内容并不受GB／T25500．1的严格限制。本章所定义的过滤器不宜与维度方面模型中的变量求值相联系。8．10．2语法8．10．2，1片段过滤器片段过滤器由(ssf：segment>元素定义。(ssf：segment>元素的语法由A．13的模式文件定义。40 www.bzfxw.com GB／T25500．3—2010定义。父亲过滤器可根据指定的父亲元素选取事实。当(tf：parent)元素包含一个(cf：qnameExpression>元素时，父亲过滤器所蕴含的XI’ath表达式为：(fn：node—name(．．)eq#qnameExpression)，其中：#qnameExpression是包含在tf：qnameExpression元索中的XPath表达式。当元素包含一个(tf：qname>元素时，父亲过滤器所蕴含的XPath表达式为：(fn：node—name(．．)eqfn：QName(#namespace，#name))，其中：#namespaee是作为(uf：qname>元素内容的QName的命名空间，#name是作为(uf：qname>元素内容的QName的本地名称。父亲过滤器见示例。示例：父亲过滤器父亲QName隐含的限制xbr；i：xbrI元组中不应包含事实eg：mytuple选取的事实应是一个带有QName的元组的子元素8．”．2．2祖先过滤器祖先过滤器由(tf：aneestorFiher>元素声明，祖先过滤器可根据指定的祖先元素选取事实。(tf：an—cestorFiher>元素的语法由A．14的规范模式文件定义，当(tf：ancestor)元素包含一个(cf：qnameExpression>元素时，祖先过滤器所蕴含的XPath表达式为；fn：not(fn：empty(ancestor：："X-[fn：node—name(．)eq#qnameExpression]))，其中：#www.bzfxw.comqnameExpreasion是包含在tf：qnameExpression元素中的XPath表达式。当(tf：ancestor)元素包含一个(tf：qname)元素时，祖先过滤器所蕴含的XPath表达式为：fn：not(fn：empty(ancestor：：*Un：node—name(．)eqfn：QName(#namespace，#name)]))，其中：#namespaee是作为(uf：qname)元素内容的QName的命名空间，#name是作为(uI：qname)元素内容的QName的本地名称。祖先过滤器见示例。示例：祖先过滤器l祖先QName臆含的限制xbrli：xbrl一个XBRI．实例中应包台事实。(注：由于XBRI。实例中应包含实例．因此这是一个多余限制。)eg：myluple选取的事实应由带有QName(egtmytuple)的元组所包含，但该事实不必是该元素的子项目8．11．2．3兄弟过滤器兄弟过滤器由(tf：siblingFiher>元素声明，兄弟过滤器可根据与另一个事实的同级兄弟关系选取事实。(tf：siblingFiher>元素由A．14的规范模式文件定义。兄弟过滤器所蕴含的XPath表达式为：．．is$#variable[I]／．．其中：#variable是兄弟过滤器中variable属性的值。兄弟过滤器见示例。示例：兄弟过滤器42 www.bzfxw.com GBJT25500．3—2010示例：单度量单位过滤器过滤器选择标准(Ilf：singleMcasure>(1lf!measul-e>(／UfsingleM(一asllre>8．12．2．2通用单位过滤器通用单位过滤器}“(uf：generalMeasures)元索定义，实：既含有分f也含有分母的事实(uf：generalMeasurestest--“count(xbrli：divide／xbrli：numerator／xbrli：nleasurt")eel1andxbrli：divide／xbrli：rl／irn(，rator／xbrtl：m*2asureeq过滤器将选取符台以F度量单位的事fn：QName(‘http：／／xbrl．org／formula／conformance／example，，’eg：kilometers‘)实：分f的QNanu、为eg：kilometers，分andcount(xbrli：divide／xbrli：denuminator／xbrli：nll+ftsfir(、)eq1and母的QName为eg：hoursxbr[i：divide／xbrli：denominator／xbrli：iTle；lsuree‘lfn：QName(7http：／／xbrt．org／formula／confi)rnlance／exanlple‘，’eg：huurs+)”／)8．13值过滤器8．13．1概述本章定义了在拱取XBRI。实例中的事实时，用于过滤相艾事实值的标准所用的语法。8．13．2语法8．13．2．1零值过滤零值过滤是由《vf：nil)元素来定义，A，16的模式文件定义了元素(vf：nil)的语法。零值过滤用于匹配报告值为零(nil)的事实，其过滤的XPath公式为：fn：nilled(．)。44 www.bzfxw.com GB／T25500．3—2010输出值是输出事实的值；输出方面是输出事实的方面的值；输出概念是输出事实所报告的值的概念；输出上下文是输出事实的I=_下文；输出单位是输出事实度量的单位。9．1．2值规则9．1．2．1值表达式公式表达式是(formula：formula)元素中value属性的内容。公式表达式是XPath表达式。当其求值正确，将产生单个的XBRI。项的值。如果值表达式的求值产牛一个空序列，则输出事实应报告成一个空事实(nilfact)，置XMI。模式实例属性xsi：nil为true值。如果一个值表达式的求值产生一个包含多于一项的序列，则应需抛出错误代码xbrlfe：nonSingleton()utputValue。公式表达式用作为上下文项的输入XBRl．实例的(xbrli：xbrl)元素进行求值。值表达式的见示例。示倒：值表达式值表达式输出事实值备注1．21．2’Hclioworld’Helloworld在值表达式中单引号所引的文本应识别为·个XPath串$eg：variableAgt$eg：variableB此结果假定变量eg：variableA的值大丁变量eg：variableB的值()xsi：nil等于truewww.bzfxw.com因为值表达式产生恒为空的序列，因此输出事实为李$eg：factVariableAintersect假设变量eg：factVariableA和变罱eg：factVariablcB都没包含xsi；nil等于true$eg：factVariableB事实．输出事实为空(nil)$eg：factVariableAintersect假设变量eg：faetVariableA和变量eg：factVariabieB都包含了13$eg：factVariableB同一个事实．则输出事实为13$eg：factVariableAintersect变量eg：factVariableA和变量eg：faclVariableB共同包含的事抛出一个错误$eg：factVariableB实不止一个，则抛出·个错误此结果假设变量eg：factVariableA求得了一个值为12．3的单$eg：factVariableA12．3个事变此结果假设变量eg：variableA求值的加和结粜为10000的事fn：sum($eg：variableA)10000实序列9．1．2．2精度规则在XBRI。中，非分数数值事实以precision或者decimals属性形式的精度信息来报告。公式町包含决定输出事实精度的规则。精度规则是决定数值输出事实的精度(表示为精确度或者小数部分位数)规则。所有的公式都有一条缺省的精度规则。公式可以有指定的精度规则，其中可以由子元素或者由子元素，则非分数数值输出项应当用decimals属性报告它们的属性。此属性的值应通过应用作为背景项的“输入XBRI。实例”的(xbrli：xbrl)元素对46 www.bzfxw.com GB／T25500．3—20109．1．3．2必备方面值和源所有方面规则都为输出方面指定一个与之相匹配的方面值。“必备方面值(RAV)”是一个应与相同方面的输出值相匹配的方面值。方面规则可以直接，或按一个或多个输入XBRI，实例中的方面值指定它们的“必备方面值”。源方面值(SAV)是输入XBRI，实例中的值。如果一个方面规则为一个或多个SAV指定了RAV，则应提供确认使用哪个SAV的方法。公式的source属性及其子元素支持方面规则的一个SAV识别系统。“源”是公式或其任意一个子元素的source属性。方面规则可依赖由源标识的SAV。“公式源”指(formula：formula)元素里的“源”。QName值“formula：uncovered”，指的是未覆盖的OName。“源”包含的QName应当是未覆盖的QName，或是公式事实变量的QName。“蕴含的SAV”是与未覆盖的QName相等的源所蕴含的SAV。给定一个方面规则，与未覆盖QName相等的源所蕴含的SAV可由如下三条决定：a)选掸任意一个公式的事实变量，这些变量不含覆盖以下方面的过滤器：1)覆盖了由方面规则所描述的方面；2)覆盖了通过求值得到非空序列的方面。l，)选择仟意一个事实，该事实在对选定事实变量求值的事实序列中。c)如果定义厂蕴含的SAV，则它是方面规则所褒述的选定事实的方面值。如果一个源不能蕴含SAV所依赖的方面规则，则应抛出错误代码：xbrlfe：undefinedSAV。如果一个源蕴含未覆盖的QName但是其公式没有用隐式的过滤器，则应抛出错误代码：xbrlfe：：illegalUseOfUncoveredQName。www.bzfxw.com通过隐式过滤的未覆盖方面的匹配来确保蕴含SAV与实际事实选择无关。给定一条方面规则，与公式事实变_鳝之一的QName相等的源所蕴含的SAV决定于：a)选择QName与源所包含的QName相等的事实变量。b)选择由选定事实变量求值的事实序列中的任何～个事实。c)如果定义了蕴含SAV，则它是方面规则所表述的选定事实的方面值。一个公式可以有不止一个源，但是一条方面规则或者其中一部分只涉及其最近源。方面规则或者其组件的最近源，指表达规则或者组件元素的源，如果不存在此元素，则源是指其最近的父亲元素的源。最近源见示例。示例：最近源(formula：formulaxlink：type一”resource”xlink：label一“formula”implichFiltering一’。true“aspectModel一“dimensional”solArcc一”eg：variableA“)(formula；aspects>(formula：enlityIdemifierv“Jc一’’‘ABCD-1234’’。／)(／formula：a5pects)(formula：aspectssoMrcem”eg：variableB”)(formula：period／)(formula：unitsource一”eg：variableC”)(formula：muhiplyBysource一”eg：variableD”／)(／formula：unit)(／formula：aspects)<／formula：formula>48 www.bzfxw.com GB／T25500．3—2010动态概念规则见示例。示例：动态概念规则(f。rmula：qnameExpression)输出概念fn：node-name($eg：factVariabk)已求值的eg：factVariable变量的事实需要和输出概念是同一概念9．1．3．5实体标识规则实体标识符规则指一条描述实体标识符方面的方面规则，用(formula：entityIdentifier)元素表达。实体标识符规则指定相应于SAV上变量的RAV。如果实体标识符规则包含scheme属性，则RAV应有一个实体标识符模式．此实体标识符模式与通过计算scheme属性所包含的XPath表达式而得到的实体标识符模式结构相等，否则，RAV应有一个与其SAV中实体标识模式结构相等的实体标识符模式。如果实体标识符规则包含value属性，则RAV应有～个实体标识符值．此实体标识符值与通过计算value属性所包含的XPath表达式而得到的实体标识符值结构相等。否则．RAV应有一个与其SAV中实体标识值结构相等的实体标识符值。如果一个实体标识符规则没有一个就近的源和没有scheme或是value属性，则应抛出错误代码：xbrlfe：incompleteEntityldentifierRu[e。实体标识符规则见示例。示例：实体标识符规则www.bzfxw.comSAV实体标识符实体标识符规则输出实体标识符模式值value模式值备注输出实体标识符由http；／／my．com1324AB【：Dhttp：／／my．tom1324ABCDSAV决定输出实体标识符模http：／／my．conl1324一AⅨ：D’http：／／your．comhttp／／your．‘∞m1324ABCD式有实体标识符规则决定输出实体标识符值http：／／my．tom1324ABCD’http：／／your．COIll’’S678一EFGH’hup：／／7your．colrt5678EFUH亦fii实体标识符规则决定9．1．3．6期间规则期间规则是描述期间方面的方面规则，并通过(formula：period)来表达。期间规则为构建输出上下文中的时期提供了具体规则。如果期间规则没有子元素，则其RAV就是其SAV。如果期间规则有一个(formula：forever)子元素，则RAV是永久时期。如果期间规则有一个(formula：instant>子元素，则其RAV有一个瞬时值，该瞬时值与通过对(formula：instant>元素的value属性包含的XPath表达式求值『ffi得到的值相等。如果期间规则有一个(formula：duration>子元素，则其RAV有一个有限时间段值，该有限时间段50 www.bzfxw.comGB／T25500．3—2010值的初始值与(formula：duration)元素的start属性包含的XPath表达式的求值结果相等，同时该有限时间段值结束值与元素包含了一个子元素，则由明确维度规则标识的维度应不能有一个输出事实的值。明确维度规则见示例。5l GB／T25500．3—2010示例明确维度规则明确维度规则解释(formu|a：explicitDimensiondimension--”eg：ProdoctDim“)(formula：member>(formula：qname)eg：Cars把eg；Cars值加到明确维度eg：ProductDim卜(／formula：qname>(／formula：member)(／formula：explicitDimension)(formula：explicitDimensiondimension=”eg：ProductDim”／)由SAV提供维度的值加到维度eg：ProductDim上(formula：explieitDimensiondimension=”eg；dCustomer”)(brmula!omit／>不要对输出事实的eg：dCustomer维度的值报告(／formula：explicitDimension)9．1．3．7．3类型化维度值类型化维度规则是用于类型化维度方面的方面规则，用(formula：typedDimension>元素来表达。类型化维度规则指定了类型化维度方面的RAV。类型化维度规则指定了一个明确的RAV或者是引用SAV的RAV。www.bzfxw.com类型化维度规则作用的维度是由此维度规则上的dimension属性中的QName指定。如果dimension属性在维度规则包含QName而不识别类型化的维度，则应抛出错误代码：xbrlfe：badUsageOfTypedDimensionRule。如果一条类型化维度规则没有子元素，则类型化维度规则指定的是输出事实应包含由类型化维度规则标识的维度的一个维度方面值。同时也指定维度方面值应是对应于此维度方面的SAV。如果类型化的维度规则没有任何一个子元素和没有一个维度被dimension属性识别的SAV，则应抛出错误代码：xbrlfe：missingSAVForTypedDimensionRule。如果一条类型化的维度规则有一个子元素，则它将是(formula：xpath>，(formula：value)或者(formula：omit)三种不同子元素之一。如果一个类型化维度规则包含一个(formula：xpath)元素，则此元素包含一个XPath表达式，当此表达式求值时，应产生一个包含单个元素节点的序列。此元素节点(以及其子所有元素)是输出事实数据的类型化维度值的根元索内容。XPath表达式求值的r下文项是由类型化维度规则中获得，其类型化维度规则是输入XBRI。实例的(xbrli：xbrl>元素。如果求值结果在类型化的维度规则不是一个序列包含一个元素节点时，则应抛出错误代码：xbrlfe：wrongXpathResultForTypedDimensionRule。如果一条类型化维度规则包含一个(formula：value>元素，则此元素有一个单独的子元素。此(formula：value>元素的单独的子元素和输H{事实中类型化维度值的子元素应是一致性元素。如果一条类型化维度规则包含一个(formula：omit>元素，则由类型化维度规则标识的维度应不会输出事实的值。类型化维度规则见示例。52 www.bzfxw.com示例类型化维度规则GB／T25500．3—2010类型化维度规则解释(formula：typcdDlnlcnsi。ndimension=”eg：statusDIm”)(eg：budget／>(eg：confidential，／)(eg：confidential／)(eg：audited／)存在于替换组中。10．2．3断言关系由于断言在替换组中作为元素(validation：variableSetAssertion>存在，所以断言也是元素(variable：variableSet>。因此，此类断言可以为那些要求使用变量集作为初始资源的关系启动资源。以下关系符合此类要求：——变量集关系；——变量集过滤关系；一变量集先决条件关系。断言规范可以使用其他资源定义新的关系。10．2．4断言集断言集的资源表达为元素(validation：assertionSet)。断言集可用于定义断言的集合。如果一个断青属于由一个断言集定义的断言集合，那么该断言应与该断言集拥有“断言一集”关系。“断言集”关系是指由XLink孤表达的断言和断言集之间的关系。表示一个断言集关系时，XLink弧应：——拥有一个等于http：／／xbrl．org／arcrole／2008／assertion—set的孤角色值；——在弧的开始资源处有一个断言集；——在弧的结束资源处有一个断言弧角色值，http：／／xbrl．org／arcrole／2008／assertionset，在本章的模式文件中陈述。根据A．18中规范模式文件部分孤角色说明中的限制．断言集关系应表达为通用弧。XBRI。基础规范将会对此项要求的违反情况进行检查。10．3所有断言的处理模型本节定义了所有断言的处理模型的主要特征。断寿规范可以扩展处理模型的主要特征。所有断言将根据断言输入进行测试。断言输入是指输入XBRI，实例，以及输入的XBRI，实例中的参数值。断言数据集是指针对一个断言可进行测试的断言输入的信息或来源于断言输人的信息的一个子集。57 GB／T25500．3—2010断占求值是指针对一个断言数据集测试一个断言时产生的结果。给定一个断言，断言输入可以包含多个断言数据集。给定一个断言输入，断言可以针对断占输入巾的每个断言数据集求值一次。断占测试是断言求值生成的有效布尔值。当断古测试结果为真时，断j求值满足。当断言测试结果为假时，断言求值不满足。断言规范应为指定的断言定义断言数据集。断言规范还应指明如何使用断言数据集对已定义的断言进行求值。11断言规范11．1概述断言是对XBRI，实例内容和该实例中的参数值的可测试声明，是XML扩展链接中的XMI，链接资源。断言元素应在断吉元素替代组或变量集断言元素替代组中。11．2一致性断言规范11．2．1概述本章定义了一个通过公式来对XBRI。商业报告测试进行定义的断言。此类断言可以测试根据公式求值产生的事实和XBRI。商、lk报告中方面匹配的事实的一致性。这种设计可以使一个公式资源用于生成新的事实，也可以检查已存在的事实和其所包含的XBRI．商业报告中的其他事实的一致性。监管机构可以使用此断言来测试接收数据的质量，而商业报告的制www.bzfxw.com作者可以使用一般公式来选取符合监控机构报送要求的事实。此类断占使示例中所示的用于执行检查的商业规则的定义更为便利。示例：一致性断言考虑到报告的收益总额和基于市场部门报告的累计收益总额的准确性．一家公司的报告的收益总额等于每个市场部门报告的收益累计之和。根据收益总额减去经营费用而计算得出的净收益与报告的净收益之间的差额应小于计算得出的净收益的百分之十。根据期间发生额和期初余额而计算得出的期末余额与报告的期末余额之间的差额应小于由外部参数定义的金额。本章节中许多的语法限制在附录A中列示。为避免潜在的冲突，本章节仅阐述在规范模式文件中未表述的语法特征。11．2．2语法11．2．2．1概述一致性断言是一个关于与输入XBRI．实例中的事实的一致性相关的期望的声明，输入XBRL实例中的事实的值可以通过公式处理从相同的XBRI．实例中得到。一致性断言由A．19的规范模式文件中的(ca：consistencyAssertion)元素表达。一致性断言与公式的关系由XI。ink弧定义。衍生事实是在给定断占输入的情况下，对一致性断言公式集合中的一个公式求值所得到的事实中的任一事实。衍生事实的方面匹配输人事实是指在断言输入中用于生成衍生事实的事实，该事实与衍生事实方面匹配。58 www.bzfxw.comGB／T25500．3—2010相关方面模型由公式的aspectModel属性识别，该公式用于生成衍生事实。在一致性断言输入中，一致性断苦的测试是通过比较衍牛事实的值和方面匹配事实的值的一致1叶：来实现的。一致性断言的strict属性将影响哪些衍生事实可以用于测试一致性断占。当strict属性值为true时，一致性断言要求精确一致；否则，一致性断古不要求精确一致。如果一致性断言不要求精确一致，则其不应对没有方面匹配输入事实的衍生事实进行求值。如果一致性断言要求精确一致，则，即使衍生事实没有方面匹配的输人事实，其仍可以对衍生事实进行求值。此类断言既可用于测试方面匹配事实的存在，也可用于测试方面匹配事实的值的一致性。strict属性用法见示例1。示例1：strict属性用法@strk：t属性输入实例中的事实断言公式能否被求值?FaIsea，b．c是，Iruea．b．ca—b’c是FalseI)．Ca=b’c否Trtleb．ca等b”c是(但是从未满足)一致性断言的接受半径是一个数值，此数值是被认为一致的两个事实的数值的最大差异。接受半径可以被定义成一个绝对值。在这种情况下，一致性断言包含一个absoluteAcceptanceI妇dius属性。接受半径也可以被定义为衍生事实值的一部分。在这种情况下，一致性断言包含一个proportionalAcceptanceRadius属性。如果接受半径是一个绝对值，则接受半径是对XPath表达式中abs。luteAcceptanceItadius属性求值的结果。如果接受半径是衍生事实值的一部分，则接受半径是对以下XPath表达式求值的结果：*(#proportionalAcceptanceRadius)其中：#proportionalAcceptanceRadius是proportionalAeeeptanceR．adius属性中的XPath表达式。对以上两个XPath表达式求值时，上下文应同时满足以下两个条件：⋯有一个作为上下文项的原子值，该原子值等于衍生事实的数值；包括一致性断言参数和变量集中的变量，该变量由用于在范围内变量中进行求值的公式来定义。如果一致性断言同时包含absoluteAcceptanceRadius属性和proportionalAcceptanceRadius属性，则应报错xbrlcae：acceptanceRadiusConflict。接受半径用法见示例2。示例2：接受半径属性／值衍生事实值接受半径设有定义属性任何未定义@absoluteAeceptanceRadius=100任何】00@absoluteAcceptatieeRadius=$margin任何参数margin的值@proportionalAcceptaneeRadius#0．5500250@proportionalAcceptanceRadius一0．5，任何错误：接受半径定义冲突@absoluteAcceptanceRadius=500 GB／T25500．3—201011．2．2．2一致性断官关系11．2．2．2．1一致性一断盲-公式关系一致性断言公式关系是一致性断言和公式之间的关系，由Xl。ink弧表示。为声明一致性一断言一公式关系，XI。ink弧应『司时满足以下条件：——有一个弧角色值等于!!1211盔!!!：!!g!!坚竺11丝!!!』塑!!堕!塑!!二!!!!!!i!!二!!!里!!!在弧的始端资源有一个一致性断言；在弧的末端资源有一个公式。弧角色值http：／／xbrl．org／arcrole／2008／eonsistency-assertion-formula在‘敛性断言的规范模式文件中声明。根据规范模式文件中弧角色声明中的限制，一致性一断志一公式关系应由通用弧表示。根据GB／T25500．1进行的校验会检测出是否违反了此项要求。通过一致性断言公式关系与一致性断言相关联的公式集合被称为一致性一断?i公式组。一个一致性断言公式是一致性断言公式组中的任何一个公式。一致性断言在独立的基础|_-gz测所报告的事实与该一致性断言的每个一致性断占公式所生成的事实的一致性。因此，关于与两个公式相关联的一个一致性断言所可能进行的测试，与以下两个一致性断言所蕴含的测试是相同的：一个一敛性断葺与一个公式相关，另一个一致性断言与另一个公式相关。11．2．2．2．2一致性断言参数关系一致性断言参数关系是一致性断言和参数之间的关系，由XI。ink弧表示。为声明一致性一断言一参数关系，XI。ink弧应同时满足以下条什：www.bzfxw.com——有一个弧角色值等于http：／／xbrl．org／arcrok／2008／consistency—assertionparameter；——在弧的始端资源有一个一致性断言；——在弧的末端资源有一个参数。弧角色值http：／／xbrl．。rg／arcr01e／2008／consistency—assertion—parameter在一致性断育的规范模式文件中声明。根据规范模式文件中弧角色声明中的限制，一致性断言参数关系应由变量弧表示。根据GB／T25500．1所进行的校验会检测出是否违反了此项要求。与变量集关系相同，一个变量弧的name属性的值是由弧表示的一致性一断占一参数关系中的参数的QName。当计算一个一致性断言的接受半径时，带有该OName的XPath变黾引用就是对该参数的引用。注意此参数名称可以与参数声明中的名称不同。所有的一致性断言参数的求值应在一致性断言的接受半径求值之前进行。一致性断言可以通过一致性断占参数父系与参数相关联。如果一致性断言与一个事实变量或普通变量有一致件断青参数关系，则一定会出现错误代码xbrlcae：variablesNotAllowed。一致性断言参数是与该一致性断言参数有一致性一断言参数关系的仃何参数，该一致性断言参数关系来源于一致性断青。这些参数是对接受半径表达式求值后的范围内变量的一部分，但是这些参数不应被看作是一致性断寄公式组的变量集的一部分。11．2．3一致性断言的处理模式除了本章下文中提到的两个例外情况以外，每一个不同的一致性断言公式求值都定义了一个不同的断占数据集，该断言数据集可用于一致性断言的测试。一致性断吉的断。i数据集由两部分组成：一部60 www.bzfxw.comGB／T25500．3—2010分是对一个一致性断言公式进行求值而生成的衍生事实；另一部分是输入XBRI。实例中不含有nil值的所有的方面匹配输入事实。输入XBRI。实例中可能没有满足可包含在由衍生事实定义的数据集内的条件的方面匹配输人事实。此规则的第一个例外情况是：如果同时满足以下条件，则衍生事实不能定义一个断言数据集：——一致性断言不要求精确一致；——衍生事实没有方面匹配输入事实。此规则的第二个例外情况是：如果同时满足以下条件，则衍生事实不能定义一个断言数据集：——衍生事实为数值型；——衍生事实不为nil；——衍生事实既没有xbrli：fractionltemType数据类型，也没有从该数据类型中衍生出的数据类型；——一致性断言没有定义接受半径；——衍生事实或该衍生事实的任何方面匹配输入事实的隐含精度为0。根据GB／T25500．1，如果衍生事实不是有效的，则不管断言数据集的方面匹配输入事实如何．断言都将被视为无法满足。如果断言数据集包含方面匹配输入事实，则衍生事实应与方面匹配输入事实一致，以满足该断言数据集中的一致性断言。否则，该断言数据集中的一致性断言将不被满足。如果两个事实拥有一致的值，则这两个事实是一致的。两个事实是否拥有一致的值取决于这两个事实的数据类型。如果两个事实的数据类型不是数值型的，则这两个事实只有在其值为s—equal2时才一致。如果两个事实的数据类型是数值型的，并且这两个事实的数据类型既不是xbrli：fractionltemType，也不是从xbrli：fraetionltemType衍生出的数据类型，并且没有定义接受半径，则这两个事实只有在以下情况下是一致的：即数值A和B是x—equal，其中A是通过对第一个事实的值保留N个有效数字得到的，B是对第二个事实的值保留N个有效数字得到的；注意N取以下两个精确度的较低者：第一个事实指定或推定的精确度和第二个事实指定或推定的精确度。如果两个事实拥有数值型的数据类型．并且这两个事实的数据类型既不是xbrli：fractionltemType，也不是从xbrli：fractionhemType衍生出的数据类型，并且没有定义接受半径，则只有当以下XPath表达式求值为一个有效的布尔值true时，这两个事实才是一致的：fn：abs(#A一#B)lefn：abs(#acceptance)其中：#A是第一个事实的数值，#B是第二个事实的数值，#acceptance是接受半径的值。正如公式章节所定义的，公式组不能生成既不拥有xbrli：fractionltemType数据类型，也不拥有由xbrli：fractionltemType衍生出的数据类型的事实。因此，一致性断言不能对此类事实进行断言，故而，本章未定义此类事实的值一致性。如果这些一致性中的任何一个条件未得到满足，则衍生事实和用于比较的方面匹配输人事实是不一致的。一致值见示例1。示例1：致值衍生事实方面匹配输入事实接受半径断言求值推断的精度值推断的精度值foo任何满足foobar任何不满足 GB／T25500．3—2010表(续)衍生事实方面匹配输入事实接受半径断言求值推断的精度值推断的精度值INF315．5INF315．5未定义满足lNF315．51NF315．50001未定义不满足3155INF1000000未定义不满足210210．4未定义满足2103104未定义满足2103105未定义不满足Anv10．0000001Any10．0000001O满足Any10Any10．00000010不满足Any25A由305满足Any25Alay30．0000015不满足如果一个断占数据集不包含任何方面匹配输入事实，则为满足此断占数据集的一致性断育，衍生事实应有一个n“值。否则，陵断言数据集中的一致性断言将不被满足。包含n“值的一致性断言的示例，参见示例2。示例2：包含n·I值的一致性断言www.bzfxw.com@strict属性衍生事实方面匹配输人事实断言求值falseNil无未求值falseNotnil无未求值falseNil仅为非nil未求值NiI无满足Notnil无未求值Nll仅为非nil未求值11．3存在性断言规范11．3．1概述本章节详细说明了便于测试符合特定标准的事实的存在性的断言的语法。断言可以通过对给定输入XBRI，实例可能的给定变量集的不同求值进行测试而得到，这使得存在性断言相较一致性断言，在其所能测试的数据类型方面更具灵活性。商业报告(例如子公司将其财务报表报送至其控股公司)最基本的要求之一就是商业报告使用者能在商业报告生成器上使用规则。商业报告中的关于数据的存在性断言与值断言拥有相似的语法结构。二者主要的区别在于：存在性断青的test属性中的XPath表达式的上下文项是数值型值，该数值型值表示对变量集进行不同求值后的数字，该变量集由一个可能的断言输入定义。断言结果是有效的布尔值，是属性测试中对XPath表达式的求值。62 www.bzfxw.com这种断言使得在制定下例所示的用于检验商业规则的定义上更为便捷。示例：数据存在性断言a)报表中仅包古～个总资产值；b)报表中包含至少10个“最大股东”元组}c)报表中不包含任何国际财务报告准则所要求报告的事实。报表中不包含任何国际财务报告准则所不要求报告的事实。本章节所使用的许多语法限制列示在A．20规范模式文件中。11．3．2语法11．3．2．1概述GB／T25500．3—2010当语法限制在A．20中的规范模式文件部分未有定义时，本章节仅提供该语法限制的文字声明。元素和属性的解释仅在该解释未在其他部分中定义时适用。除另说明，一个特定元素的引用应理解为对该元素或者该元素所在替换组中的其他元素的引用。11．3．2．2存在性断言存在性断言是断言的变量集针对输入XBRI。实例求值的次数的声明。存在性断言由本章节提供的规范模式文件中的(ea：existenceAssertion)元素表达。如果存在性断言包含test属性，则存在性断言表达式是该属性所包含的XPath表达式。如果存在性断言不包含test属性，则存在性断言表达式等于上下文项表达式。断言表达式可以与变量集中的参数拥有变量依赖，但是不可以与一般变量或事实变量有变量依赖。如果存在性断言表达式与一般变景或事实变量存在变量依赖，则会报错xbrIeae：variahIeReferen—ceNotAllowed。11．3．2．3包括存在性断言的关系对(validation：variablesetAssertion)元素而言，存在性断言在替换组中，因此，可以为那些需要变量集作为启动资源的关系启动资源。11．3．3存在性断言的处理模式存在性断言测试是通过对存在性断言求值而产生的有效布尔值。当上下文项的单元值与断言变量集的所有可能的不同求值结果集合的基数相等时，存在性断言求值含有对存在性断言表达式的求值，该求值使用了上下文求值。范围内的变量应包括所有与断言相关的变量参数，但不应包括任何事实变量或一般变量。存在性断言表达式，参见下例。示例：存在性断言表达式tesl属性值被验证的断言的变量集的求值次数Omitted至少一次求值至少．一次求值．gt5至少六次求值．eq0无求值．ge$numberOfhems等f或大于参数中由名为$numberOfltems的变量所指定的数值 GB／T25500．3—2010存在性断言对给定的断言输入至少进行一次求值。这是因为存在性断言测试与作为一个整体的断言变量集的求值次数相关联。因此，存在性断言的数据集是整体的断言输入。一个存在性断言根据任何有效的断言输入进行求值。测试存在性断言要求获取断言的变量集所有可能的不同求值结果，以确定存在性断言的上下文项。11．4值断言规范11．4．1概述本章定义了断言的XMI。语法。断言指测试根据给定变量集进行求值获取的变量值。断言的构想与公式资源的构想相类似，但其输出结果不是～项完整的XBRI。事实，而是一个布尔值。布尔值是对断言中的XPath表达式求值而获得的。这种类型的断言可以对下例中所示的业务规则进行检查。示例：值断言a)资产应等于负债加所有者权益。b)公司的总收入应等于或小于其子公司的总收入的增加值。c)公司资产负债表每个科目的余额应等于按市场部门划分的资产负债表的每个科目的余额之和。d)本期和上期流动资产的差额应低于某一特定界限。e)期初余额和期末余额的差额应与该期间的发生额相等。本章规定的语法限制在A．2l的模式文件中列示。为防止潜在的冲突，本章仅叙述了未在部分模式文件中描述过的语法。11．4．2语法www.bzfxw.com值断言是指由输入断言提供的，或来源于输入断言的语句。定义值断言由A．21的规范模式文件中的(va：valueAssertion)属性来表达。值断言的表达式是包含在值断青的@test属性中的XPath表达式。11．4．3值断言处理模型值断言的断言数据集是对值断言定义的变量集的求值。不同的值断言变数集的求值组成了不同的值断言数据集。值断言的表达式可能依赖于由值断言定义的变量集中的任一变量和参数。因此，只有在组成数据集的变量集可以求值时，值断言才能进行求值。值断言的表达式是通过使用输入XBRI。实例的元素作为上下文项而进行求值的。数据集中的变量和参数在值断言表达式的求值范围内。值断言测试是在给定适当的数据集时，根据值断言表达式求值而获得的有效的布尔值。 www.bzfxw.comorg／200B／generic”xmlns：xl=”http；／／㈣xbrln目mespace=”http：／／ww越org／z003／xutnk”sche∞蛔ti∞=”http：／／www心rlschemaJ—ocation=”http：／／㈣xbrl．org／2003／xbrl-linkbase-2003·12—31．xsd”／)id=”xal—gen-arc”啪e=’’are”stl】sstitutionGroup=”xl：arc”type=”gen：genericArcType”／)id=”姗l-g曲一lir】】c”咖e=”link”substitutio螨roupt”xl：extended”type=”gen：lin啪WithopenAttrs”／) GB／T25500．3—2010<／schema>A．2通用标签(schemaxmlns：label=”http：／／xbrlorg／2008／label”xmlns：link=”http：／／wwwabrlorg／2003／linkbase”xmlns=”http：／／ww．w3．org／2001／XMLSchema”xmlns：xl=”http：／／ww．xbrlorg／2003／XLink”xmlns：gen=”http：／／xbrlorg／2008／generic”targetNamespace=”http：／／xbrlorg／2008／label”elementFormDefault；”qualified”)(annotation>(1ink：roleTyperoleURI2”httpI／／wwxbrlorg／2008／role／label”id=”standard-label”<1ink：usedOn)label：label(／1ink：usedOn)(／1ink：roleType)(1ink：roleTyperoleURl=”http±／／wwwxbrlorg／200B／role／verboseLabel”id=”verbose-label”)(1ink：usedOn)label：label(／1ink：usedOn)<／1ink：roleType)<1ink：roleTyperoleURl=”http：／／www．abrl，org／200B／role／terseLabel”id=”terse-label”(1ink：usedOn>label：label<／1ink：usedon><／1ink：roleType)<1ink：roleTyperoleURl2xbrl”http：／／wwworg／200B／role／documentation”id=”documentation”)(1ink；usedOn>www.bzfxw.comlabel；label(／1ink：usedon>(／iink：roleType)<／appinfo)(／annotation>xbrl<／mportIla螗space=”http：／／wwMor∥2003／札h赴”sck帕kcatl∞=”Wctp：／／删xbrlorg／2003／xl-2003-12—31xsd”／)(annotation)(1ink：usedOn>gem：arc(／1ink：usedOn>(／1ink：arcroleType>(／appinfo>(／annotation)(elementid=”xml—generic-label”name=”label”substitutionGroup2”xl：resource”)(complexContentmixed=”true”)(extensionbase=”xl：resourceType”)(sequence>66 www.bzfxw.com GB／T25500．3—2010SChemaLocation=”http．／／www．xbrlorg／2003／xlinj[-2003—12-31xsd”／)(importrlamespace=”http：／／abrlorg／2008／generic”schemaLocation=”generic一1inkxsd”／)flink．arcroleTypeid=”equality-definition”cyclesAllowed=’’undirected’’arcroleURI=”http：／／xbrlorg／arcrole／2008／equality-definition”>(iink：definition>typed-dimensiondomaindefinitionhasequalitydefinition<／1ink：definition)(1ink：usedOn>gen：arc(／1ink：usedOn>(／link：arcroleType)f]ink-arcroleTypeid=”variable-set”cyclesAllowed=”undirected”arcroleURI=”http：／／xbrlorg／arcrole／2008／variable-set”)<1ink：definition)variablesethasvariable(／1ink：definition>(1inklusedon>variable：variableArc{／iinkfusedOn>(／link：arcroleType>(ilnk：arcroleTypeid=”variable-filter”cyclesAllowed=”undirected”arcroleURI=”httpl／／xbrlorg／arcrole／2008／variable-filter”)(1ink：definitiun>variablehasfilter(／1ink：definition>www.bzfxw.comvatiable：variableFilterArc(／1ink：usedOn)<／1ink：arcroleType)flink-arcroleTypeidt”variable-set-filter”cyclesAllowed=’’undirected”arcroleURI=”http：／／xbrlorg／arcrole／2008／variable-set-filter’’)(1ink!definltlon)factvariablesinvariablesethavefilter(／iink：definition)(1ink：usedOn)variable：variableSetFilterArc(／1ink：usedOn>(／link：arcroleType)(1ink·arcroleTypeid=”variable-set-precondition”cyclesAllowed=”undirected”arcroleURl；”http，．I／xbrlorg／arcrole／2008／variable-set—precondition”)(1ink：deflnltion)variablesethasprecondition<／1ink：definition)(1ink：usedOn>gen；arc<／1ink：usedOn><／iinkjarcroleType>《／appinfo)(／annotatlon)(simpleTypename5”expression”)(restrictionbase2”string”)(patternvalue=”[＼s]*[＼s]+[＼s＼s]*”／)(／restriction)f／slmpleType>68 www.bzfxw.comGB／T25500．3—2010(simpleTypename=”QName”)frestrictionbase=”Name’’、(patternvalue=”([‘：]+；)?[‘：]+”／)(／restriction)(／simpleType)(sequencemlnOccurs2’。0”maxOccurs=。’uabounded”、《elementr1∞e2”input”>(／sequence>(attributeI】ame=“name”type·’’gName“use=”required’’／、(attributeⅨme=”OUtput”type=”string”use=”required’’／、(／complexContent><／complex啪e>(／element)(／complexType>(／element)<／complexContent>(／complexType)(／element><／complexType>(／complexType5<／element)(complexType)<／complexType>(／element)(extensionbase=”gen：genericArcType”5(complexContent)70 www.bzfxw.comGB／T25500．3—2010(extensionbase2’’gen：genericArcType’’、(8lementid2”xal—Precondition”name=”precondition”substitutionGro“p2”variable：re8。urce·’)(／complexContent5(／complexType)<／element：>(／schema)A．5布尔过滤器(8。h”8“l“s：bf2”http：／／xbrlorg／2008／filter／boolean“xmlns：variable=”http：／／xbrl．org／2008／varlable”】Ⅱnl“82”h‘‘P：／／硼ww3tol。g／2001／XMLSchema”xmlns：link=”httpI／／www．abrlorg／2003／11nkbase”ta‘getN锄espace2”httpj／／xbrlorg／200B／filter／boolean”elementFormDefauitc”qualified-·)(坤呲啪space2”httpl／／删曲d．嘲，2003／Ⅱ触”schsmLocaticm=1httpl／／咖xhrl。rg_／2003／心2003-12-31】【搴d-·／>(1ink,arcroleTFpeid-”boolean-filter”cyclesAllowed-”undirected”arcroleURl2”http：／／xbrlorg／arcrole／2008／boolean-filter’’)(1inkldefinition)boolean-filterhassub-filter(／1ink：definition)variable：variableFilterArc(／HnkfusedOn><／linklarcroleType5(／appinfo)‘／annotatlon5(eL邬哪tid2”mL甜filt口”name2”anc噼ilter”s11bstltutj脚‰驴=”vatLable；f=Llt盯”type=”Mariablel弛雠e．type”／24LSchema”targetNamespace=”http：／／abrlorq／200S／filter／conceDt-一elementFormDefault=”qualified”、(1盯p。rt嘲唣孵。”http：／／w嘲xbrlorg／2003／XLinlc”scl蛐日【oa址i∞=’’h∞：／／wwwxbrlo吲2003／小20略1斗3l，xgd|·／)(1“portnamespace。”http：／／xhrlorg／2008／variable”schemaLocation=”variable．xsd”／)(elementnaJe；’’qname”type=”OName”／5(elementD￡tme2”gnameExpression”type=”variable：expre船ion”／)(／choice>(／complexType>71 GB／T25500．3—-2010(complexTypemixed=”true”’(／sequence>(／extension>(／complexContent><／complexType)(／element)(restrictionbase=”token”)(enumerationvalue=”instant“／、(enumerationvalue=”duration”／、‘／restriction>(／simpleType)(／attribute><／extension>《／complexContent>(／complexType>(／element)(elementid2”xml-concept—balance-filter”naIne=’’conceptBalance”sabstitutionGroupwww.bzfxw.com2”varlable：filter’’)(／extension)(／complexContent>(／complexType>(／element)(／sequence>(／complexContent>(／complexType>72 www.bzfxw.comGB／T25500．3—2010(／element>(elementid2”xml—concept-data-type-filter”nalne=。。conceptDataType”substitutionGroup=”variable!lilter¨)(／complexContent><／complexType)<／element>(elementid2”册l。concept-substitution-group-fiiter”name=’’conceptSub8tltutlonGr。up”gubstitutionGr。up=”variable：filter”)(complexTypemixed=’’true”、fcomplexContentmixed=”truel。、(extensionbase2”variable：resourcetype”)(sequence>(elementname=”substltutionGroup”type。”cf：qnamemodel”／)(／sequence>(／complexType>(／element)(／schema>A．7维度过滤器(schemaxmlns：df2”http：／／xbrlorg／2008／filter／dimension”xmlns：variable=”http：／／xbrlorg／2008／varlable”xmlns2”http：／／wWw帕．org／2001／EMLSchema”targetNamespace=”http：llxbrlorg／2008／filter／dlmensl。n”element—FormDefault=1’qualifled’’、(=】portnamespace2”http：／／㈣xbrlorg／2003／ru缺”schemalocation=”http：／／wwwxhrlorg／2003／x1-2003-i7．31划。／)(importnamespace=”http：／／xbrlo。g／2008／variable”schemaLocation=”variablexsd”／)(complexTypeid=”xml—dimension-model”name=”dimensionmodel¨)(choice)felementniime=”quame”type2’’QName”／、(complexTypen鲫e=”membermodel”)(sequence>(choice>(elementname=”variable”type=”variable．QName”／)oelementDa／ne=”qname”type=’’QName”／、(elementnalne2”qnameExpression”type=”variable：expression’’／)(／choice>fsequenceminOccurs=”0”ma】【Occurs=”1”、。elementname=”linkrole”type=”anyURl’’／、(elementnalne=”arcrole”type=”anyURI”／)(elementname=’’axis’’、(simpleType)frestrictionbase=”token”、(enumerationvalue2”child-or-self”／、73 GB／T25500．3—2010(／simpleType)(／element>(／sequence>(／sequence><／complexType)‘sequence>《elementname=”dimension”type=”df：dimensionmodel’’／)(elementik3me=”meflmer”type2”df：membermodel”minOccurs=”0”mcurs2”unbounded”／)(／sequence)(／extension>(／complexContent>(／complexType)(／element>(／sequence>www.bzfxw.com(attributenaIne=”test”type=”variable：expression”use；”optional’’／)(／extension)(／complexContent>(／complexType>(／element)《／schema>A．8实体过滤器(／complexType)<／element>(elementid=”ml∞pecifi。．∞titpsc船fllter”Ⅻ=”speclficScheme”substitutionGroup=”var／able：filter”)(complexTypemixed=’。true’’、(complexContentmixed=”true”)74 www.bzfxw.comGB／T25500．3—2010(／complexContent)(／complexType>(／element)(extensionbase2”variable：resourcetype”>‘attributename=’’pattern”type=”string”use=’’required’’／、(／extension><／complexcontent><／complexType)(／element>(el脚哪tid=”蕊l-gp∞if珏entltpld朗tlfj艇一filt盯”name=’’specificldertifier”gub搴titutl衄Gr口中=”variable：filtef’’)(／complexContent>(／complexType>(／element>(／complexType><／element><／schema>A．9通用过滤器(schemaxmlns：gf=”http：／／xbrlorg／2008／filter／general”xmlns：variable=”http：／／xbrlorg／200B／variable”xmlns2”http：／／www们org／2001／XMLSchema”targetNamespace=”http：／／abrlo。g／2008／filter／general¨elementFormDefault=”qualified”、(h驴ort∞m明p配e=”httpz／／wwwxbrlorg／2003／XLink”sch锄a蛔ti∞=”http：／／wⅦwxbrlorg／2003／xi-2003-12-31xsd”／(importnamespace=”bttp：／／xbrlorg／200B／variable”schemaLocation=”variablexsd”／>(／element)(／schemat GB／T25500．3—2010A．10匹配过滤器(schemaxmlns：mf=”http：I／xbrlorg／200B／filter／match”xmlns：variable=”http：／／xbrlorg／2008／variable”xmlns=”http：／／wWw3org／2001／XMLSchema”targetNamespace=”http：／／xbrlorg／2008／filter／match”elementFormDefault=”qualifled”、<却ort田艇印a。e=”http：／，7w洲xbrlo嘞720∞／皿由出”schesaiocation=”http：／／／W协Wxbrlorg／2003／xl-2003-12,-31x划”／7(importnamespace=”http：／／xbrlorg／2008／variable”sehemaLocation=”variablexsd”／)(complexTypename。”matchmodel”mixed=”true”、fcomplexContentmixed=’’true”、(extensionbase=”variable：resourcetype”)fattributename。”variable”type=”variable．QName”use=”required’’／、(／extension)(／complexContent)(／complexType>(elementid=”xml—match-period-filter”name=”matchPeriod”type=”mf：match．model”substitutionGr。up=”variable：filter”／)(elementid=“xml—match-complete-segment—filter”name=”matchSegment”type=”mf．matchmodel”sabstitutionGroup=”variable：filter”／)(elementid=”xml-match-complete-scenaric-filter”name=”matchScenario”type2”mf．matchmodel”substitutionGroup=”variable：filter”／>(／schema)A，II期间过滤器(schemaxmlns：pf=”http；／／xbrlorg／2008／filter／period”xmlns：variable=”http：／／xbrlorg／2008／variable”mnins=”http：／／wwww3org／2001／)Ⅱ4LSchema”targetNamespace=”http：／／xbrlorg／2008／filter／period’’elementFormDefault=”qualifiod’’、(importna鹏space=”http：／／w州xbrlorg／2003／XL曲k”schemaLocaticm=”ht七p：／／wwwxbrlorg／2003／xl-2003-12-31xsd”／)(importnamespace；”http：／／abrlorg／2008／variable”schemaLocation=”variablexsd”／>(elementid=”xml—period-filter”name=”period”substitutionGroup=”variable!filter”)(complexTypemixed=”true”)(complexContentmixed=”true”)(extensjonbase=”variable：resourcetype”)76 www.bzfxw.comGB／T25500．3—2010(attributen∞e=”test”type。”variable．expression”use=”required”／)(／extension}<／co“plexContent>(／complexType)(／element>(extensionbase=”variable：resourcetype”>(／complexType>(elementid=”xml-period-start-filter”name=”periedStart”type=”pf：date_timemodel”substitutionGroup=”variable：filter”／)(el肌印tid=”瑚l-perl硅er蚌fllter”name=”perio血md”type=”pf：由te．til【Iemodel”substitutionGroup=”variablefilter”／)(elementid=”xml—instant-duration-filter”Dame=”instantDuration”substltutlonGroup=”variable：filter”><／simpleType}(／attribute)(／extension>(／complexContent>(／complexType)(／element}(／SChema)A．12相关过滤器(schemaxmlns：rf=”http{／／xbrlorq／2008／fllter／relatlve”xmlns：variablet”http：／／xbrlorg／2008／variable”xmlns=”http：／／www．w3．org／2001／XMLSche。ma”targetNamespace=”http：／／xbrlo‘g／2008／filter／relative”elementFormDefault=’’qualified”、(importnmnespace=”址tp：／／w洲xbrlor9／2003／)江山止”schesaLocaticln=”h七tp；／／帆xbrlorg／2003／xi-2003-12-31xsd”／(importnamespace=”http：／／xbrlorg／2008／variable”schemaLocation=”variablexsd”／>A．13片段场景过滤器(／complexContent>(／complexType)(／schema>A．14元组过滤器<／choice)(／complexType>(／sequence)<／extension)(／complexContent>(／complexType)‘／element>(elementid=”xml-ancestor-filter”name2”ancestorFilter”substitutlonGroup=”variable：filter”>(／extension>(／complexContent>78 www.bzfxw.comGB／T25500．3—2010<／complexType>(／element)(attributename2”variable”type=”variable：QName”use21。required”／)<／extension>(／complexContent>‘／complexType)<／element)(／element)(／schema>A．15单位过滤器(complexTypemixed；”true’’、fcomplexContentmixed=”true”、(extensionbase=”variable：resourcetype”)(sequence>(elementnaive=”measure”type=”uflqnamemodel”／)<／sequence)<／extension>(／complexContent><／complexType>(／element)(／complexContent)《／complexType>79 GB／T25500．3—2010(／element)<／schema)A．16值过滤器(sche哺xmlns：vf。”http：／／xbrlorg／2008／filter／value”xmlns：variable；”http：／／xbrlorg／2008／variable-，xmlns2”http：／／www．w3org／2001／XMLSchema”targetNamespace=”http：／／xbrl。。g／2008／filter／value”elementFormDefault=。’qualified”、(枷埘艏舱8pace2”http：／／w嘲xbrlorg／2003／轧i血”sch日咖ti∞=”h七tp；／／删曲rlorlg／2003／x／-2003-12-31xsd·-／)(importnamespace5”http：／／xbrlorg／200B／variable”schemaLocation=”variablex“··／)<8l劬entid2”xml-nil-filter”∞驰2”nil”sabstitutionGroup=”Varl曲le：filter”type=”varlable：resourcetype”／(eiementid2”xml。precision-filter”nalne。”precision”substitutionGroup=”varlable：filter’’)(colllpl“船mixed=”true”)(complexContentmixed=”true“、(attributename2”minimum”type=”variable：expression”use=”required”／)<／extension)(／complexContent>(／complexType>(／element)(／schema)公式<／complexType>(choiceminOccurs=1。0”、(elementname。”precision”type2”variable：expression”／>(elementnBme=”decimals”type2”variable：expressi。n’’／)<／choice)(attributename=”value”type=”variable：expression”use=”r。quiredl。／)(attributen醐e2”source”type2”variable：QName”use=”optional’’／)(／extension>(／complexContent><／complexType><／element)(elementid2”xml-aspects”name2”aspects”)(complexType>‘sequence)(elementref2”formula：abstractaspect”minOccurs=⋯1’maxoccurs=1‘咄unded”／)80 www.bzfxw.comGB／T25500．3—2010(／sequence)(attributename2”source”type=”variable：QName”use=”optional”／)(／complexType)(／element>name=”abstractaspecttype”)(attributename=”source”type=”variable：OName”use=”optional”／>aspect”abstract=”true”type=”formula：abstractaspecttype”／>(element1d=”xml—concept”nalne=”concept”substitutionGroup=”formula．abstractaspect”)(complexType)(complexContent)(extensionbase=”formula：abstractaspecttype”>，choiceminOccurs=’’0’’、。elementname4’1qname’’type=’’QName”／、(elementname=”qnameExpression”type=”variable!expression”／)(／choice><／extension)(／complexContent>(／element>(elementid=”姗l_entit卜id鲫tifler”n鲫e=”entityldentifier”substitutionGroup=”formula：abstractaspect”)(complexContent><／complexcontent)<／complexType)(／element>(elementid=”xml—period”name=”period”substitutionGroup=”formula!abstractaspect”)(complexType)(comDlexContent>base=”formula：abstractaspecttype”)(choiceminOccurs=”0”)，elementid=”xml．forever”name2’’forever”、(complexType／)(／element>felementid=”xml—instant”name=”instant”、(attributen醐e=”value”type=”variable!expression”use=”optional”／)(／element>(／complexContent><／complexType><／element>(elementid=”xml—unit”nalne2”unit”substitutionGroup=”formula：abstractaspect”>(extensionbase=”formula：abstractaspecttype”)(sequence>(attributen醐e=”measure”type2”variable!expression’’use2”optional”／)(attributen锄e=”source”type=”variable：QN鲫e”use2”optional”／>(／complexType>(／element>felementid=”xml—divideBy”Dame=”divideBy”minOccurs=”0’’maxOccurs=”unbounded’’、(／element)(／sequence>(／complexContent><／complexType>(／element>(complexTypename5”abstractocc．aspect．type”)(complexContent>(extensionbase2”formulalabstraetaspecttype”)(attributen锄e。”occ”use=”required’’、(simpleType>www.bzfxw.com(restrlctionbase=”token”)(enumerationvalue=”segment”／)oenumerationvalue=。’scenario’’／、(／restriction>(／slmpleType><／attribute><／extension)(／complexContent>(／complexType>(elementid=”xml—abstract-occ-aspect”name=”abstractoccaspect”abstract=”true¨substitbtionGrouD=”formula：abstractaspect”type2”formula：abstract．occaspecttype”／)(elementid2”xml—occ·empty”name2”occEmpty”type=”formulajabstractOCC．aspecttype”substJtutlonGroup=”formula：abstract．OCCaspect”／>(complexContent>(extensionbase2”formula：abstractoccaspecttype’’>‘sequence>fanyminOccurs=”0”maxOccurs2”unbounded’’／、(／sequence><／extension)(／complexContent><／complexngpe)(／element>(elementid=”xml-occ—xpath”na巾e=”occXpath”substitutlonGroup4”formula：abstractoccaspect”)(complexType)(co”PlexContent>(extensionbase=”formula：abstractoccaspecttype’’)82 www.bzfxw.com GB／T25500．3—2010xmins；variable2”http：／／xbrlorg／2008／variable”targetNamespace=”http：／／xbrlorg／2008／formula”elementFormDefault=”qualified。’、<／complexType)Celementid。”xml—formula”n∞e。”formula”substitutlonGroup。”variable：variableSet’’)(choiceminOccur8=”0”、(elementn鲫e=”precision”type=”variable：expression”／>(elementn∞e=”decimals”type=”variable：expression”／)(／choice)(elementref=”formula：aspects”minoccurs=⋯0’maxOccurs=”unbounded”／)(／sequence>{attributenaae2”value’’type=”variable：expression”u5e。”required”／)(／complexType><／element>(elementref=”formulaIabstractaspect”minoccurs=⋯1’maxOccurs=”unbounded”／)(／sequence)<／element)(complexTypename=”abstractaspecttype”)(complexContent)‘elementname=”qname”type2”OName”／、(／complexContent><／complexType><／element)(elementid2”Ⅻl-entity_identifier”name=”entityldentifier”substitutionGroup=”formula：abstractaspect’’)(complexType>(complexContent>(extensionbase=”formula：abstract，aspecttype”>(attributename2”scheme”type2”variable：expression”use=”optional”／)84 www.bzfxw.comGB／T25500．3—2010(attributename=”value”type=”variable：expression”use。”optional”／>(／extension)<／co“plexcontent)(／complexType>(／element>(elementid=”】Ⅱnl—period”ns／se=”period”substitutionGroup=”formula：abstract．aspectl。)(complexType>(／element>(elementid=”跏l—duration”name=”duration”)(complexType)(attributename=”start”type=”variable：expression”use=”optional”／)(attributena；fle=”end”type=”variable：expression”use=”optional”／)(／complexType)<／element>(／choice>(／extension>(／complexContent>(／complexType)<／element>(／element)(elementid=”xml—divideBy”name=”divideBy”minOccurs=”0”maxOccurs=”unbounded”、‘complexType)(attributename=”measure”type=”variable．expression”use=”optional”／(attributen鲫e=”source”type=”variable：QName”use=’’optional’’／)(／complexType>(／element)<／sequence)(／complexContent)(／complexType)(／element>(complexContent)(／simpleType>(／attribute)(／extension)<／complexContent>(／complexType>(elementid=”xml—abstract-occ-aspect”name=”abstractoccaspect”abstract=”true’’substitutionGroup=”formula：abstractaspect”type=”formula：abstractOCC．aspect．type’’／>(elementid=”Ⅻl—OCC—empty”name2”occEmpty”type=”formula．abstractOCCaspecttype’’substitutionGroup=”formulalabstractOCCaspect”／>(elementid2”xml—OCC—fragments”name2”occFragments”substitutionGroup=”formula-abstractOCC．aspect’’)(complexContent)《extensionbase=”formula：abstract．occaspecttype”)(／extension)(／complexContent>(／complexType)(／element>(elementid=”xml-oco．xpath”name2”occXpath”substitutionGroup2”formula．abstractOCCaspect”)(complexType>www.bzfxw.com(complexContent>(extensionbase2”formulaIabstractOCCaspecttype”)(attributeDame=”select”type=”variable}expression”use=”optional”／)(／extension>(／complexContent)(／complexType>(／element>(elementid=”xml—abstract-dimension-aspect”name2”abstractdimensionaspect”substitutionGroup=”formula：abstractaspect”type=”formula：abstractdlInensl∞aspecttype”abstract=”true’．／)(complexTypename2”abstractdimensionaspecttype”)(complexContent>(attributen醐e=”dimension”type=”OName”use2”required”／)‘／extension)(／complexContent)(／complexType>，elementid=”xml—explicit—dimension”name=”explicitDimension”substitutionGroup=”formula：abstractdimensionaspect”>(complexType>(complexContent)(extensionbase=”formula：abstractdimensionaspecttype”)(choice>(elementDame=”member”type=”formula：qnamemodel”minOccurs=”O”／)，elementDame=”omit”minOccurs=’’0’’、(complexType／><／element)(／choice>f／extension>86 www.bzfxw.com GB／T25500．3—2010(extensionbase=”variable：resourcetype”／>《，／complexContent>(／complexType)(elementid=”xml．abstract-variable_set-assertion”name2”vatiableSetA98ertion”abstract=”true”type2”validation：assertionvatiableSettype”substitutionGroup=”variable：variableSet”／)(complexTypenalne=”assertionvariableSettype”)fcomplexContentmixed=’。true’’、(extensionbase=”variable：variab]eSettype”／)‘／eomplexContent>．(／complexType>《compiexTypename=”assettionSettype”>fcomplexContentmixed=”true”、(extensionbase2”variable!resourcetype”／)(／complexContent)(／complexType>(／schema)A．19一致性断言www.bzfxw.com(importnamespace=”http：／／wwwxbrlorg／2003／XLink”schemalDcation=”http：／／wwwxbrl．org／2003／xl一2003—12—31xsd”／)(importnamespace=”http．／／xbrlorg／2008／variable”schemaLocation=”variablexsd”／)(appinfo>《linkjarcroleTypeid；”consistency-assertion-formula”cyclesAllowed=”undirected”areroleURI=”http：／／xbrlorg／arcrole／2008／consistency-assertiorhformula“)<1ink：definition>assertionbasedonformula(／1ink：definition>(1ink：usedOn>gen：arc<／iink：usedOn><／link：arcroleType)(1ink：arcroleTypeid=”c。nsister记y-asserti。mparameter’’cyclesAllo"ed=”undirected”arcroleURI=”bttp：，Ilxbrlorq，／arcrole／200S／consistency-assertion-parameter”)(】ink：definition>acceptanceradiusdependsonparameter(／1ink：definition><1ink：usedOn>vatiable：variableArc(／1ink：usedOn>(／1ink：arcroleType)(／appinfo)f／annotation)(elementname=”conslstencFAssertion”substitutionGroup=”validation．assertion”id=”Ⅺnl—consistency-assertion”>mixed=”true”)(complexType8R www.bzfxw.comGB／T25500．3～2010(complexContentmixed=”true”)(extensionbase。“validation：assertiontype”)(attributename=”strict”type=”boolean”use5’’required”／、(／element)(／schema>A．20存在性断言(／schema>A．21值断言<／complexContent>(／complexType)(／element>(／schema> GB／T25500．3～2010参考文献[1]http：／／www．w3．org／TR／REC—xml—names／[2]http：／／www．iet{．org／rfc／rfc3986．txt[3]http：／／www．w3．org／TR／xmlschemao／[4]http：／／www．w3．org／TR／xmlschema一1／[5]http：／／www．w3．org／TR／xmlschema一2／[6]http；／／www．w3．org／TR／xpath[7]http：／／www．xbrl．org／speci“cation／impIicitFiIters／REc一2009．06—22／implicitFihers-REC2009—06—22．htmlwww.bzfxw.com'