RELAX NG 和 Schematron wrt DocBook 有什么关系？

问题描述

我很确定这个问题需要改进，但无法用一句话更好地表达我的困惑：

DocBook 5.2: The Definitive Guide,section 1.1. A Short DocBook History 声明

从 DocBook V5.0 开始，DocBook 是专门用 RELAX NG 和 Schematron 定义的 XML 词汇表。

根据Wikipedia on RELAX NG，它是“XML 的模式语言——RELAX NG 模式指定了 XML 文档的结构和内容的模式”。

Schematron on the other hand“是一种基于规则的验证语言，用于对 XML 树中模式的存在与否进行断言。它是一种以 XML 表示的结构模式语言。” >

所以两者都是模式语言，但是

• RELAX NG 用于定义词汇表（这是一种用标签（？）表示的领域特定语言；在 DocBook 的情况下是一种语义标记语言），用于创建XML 文档

• Schematron 用于根据 XML 文档相关联的 XML 架构验证 XML 文档（例如使用 jing，我猜？）

我假设基于 DocBook wikipedia 行

[DocBook v5.x] 由具有集成 Schematron 规则的 RELAX NG 模式正式定义

他们之间有关系。此外，这是否意味着 RELAX NG XML 模式不够灵活，无法包含使用它来验证文档的所有规则？

---

^{可能遗漏了一些基本的东西：找到了问题 RelaxNG vs XML schema，但我真的认为有人用 RELAX NG 创建了 XML 模式，所以这个问题对我来说没有意义，即使在阅读了答案之后。 ..}

解决方法

这是从 http://www.oasis-open.org/docbook/xml/5.0b5/rng/docbook.rnc 处的紧凑语法 RELAX NG 架构中提取的两个小节：

    element segmentedlist {
      db.segmentedlist.attlist,db.segmentedlist.info,db.segtitle+,db.seglistitem+
    }

  db.seglistitem =
    
    ## A list item in a segmented list
    [
      s:pattern [
        name = "Cardinality of segments and titles"
        "\x{a}" ~
        "          "
        s:rule [
          context = "db:seglistitem"
          "\x{a}" ~
          "            "
          s:assert [
            test = "count(db:seg) = count(../db:segtitle)"
            "The number of seg elements must be the same as the number of segtitle elements in the parent segmentedlist"
          ]
          "\x{a}" ~
          "          "
        ]
        "\x{a}" ~
        "        "
      ]
    ]
    element seglistitem { db.seglistitem.attlist,db.seg+ }

db.seglistitem RNG 模式在最外层的 [ 和 ] 之间嵌入了一些 Schematron。

db.seglistitem RNG 模式定义了 seglistitem 元素的结构。 RNG 比我所知道的任何其他 XML 模式语言更擅长定义共同约束，但它不能做所有事情。

Schematron 可以对文档中任何位置的出现模式（或模式的出现，取决于您的观点）做出断言，因为您可以将任何 XPath 放入测试中。这个 Schematron 正在查看整个文档，以检查同级 segtitle 元素的数量是否与当前 seg 的 seglistitem 元素的数量相匹配。这有点超出了 RNG 等定义文档允许结构的语言的范围，但您也会发现仅使用 Schematron 定义允许的结构既冗长又麻烦。

像这样结合使用 RNG 和 Schematron，可以发挥各自的优势。 （您也可以对 XSD 1.1 中的断言执行相同的操作。）