ごくごく簡単なXHTML 1.1のDTDの説明

〔参考〕名前空間接頭辞の扱いの変更：XHTML 1.1 plus MathML 2.0の例

＊この節の説明はXHTML 1.1の範囲を超えるので、お急ぎの方、概略だけ読みたい方は先に進んでください。

パラメータ実体を変更して名前空間の接頭辞をコントロールする方法を、MathMLを例に見てみましょう。MathMLをXHTML 1.1とともに使用するためのDTDが、MathML 2.0の仕様書で示されています。その中で、名前空間をコントロールする部分を少し抜粋します。

<!ENTITY % NS.prefixed     "IGNORE" >
<!ENTITY % MATHML.prefixed "%NS.prefixed;" >
<!ENTITY % MATHML.prefix   "m" >
<![%MATHML.prefixed;[
<!ENTITY % MATHML.pfx  "%MATHML.prefix;:" >
]]>
<!ENTITY % MATHML.pfx  "" >

<!ENTITY % mrow.qname      "%MATHML.pfx;mrow" >

このDTD（モジュール）では、MathMLの要素タイプ名は最後の行にあるように%MATHML.pfx;mrowという形で、%MATHML.pfx;部分が名前空間接頭辞に対応するパラメータ実体になっています（XHTMLの場合の%XHTML.pfx;に相当）。通常の状態では%MATHML.prefixed;がIGNOREなので、MathMLの要素もXHTMLの要素と同様、接頭辞なしで使用するようになってます。

<p>次の数式を見てください：</p>

<math>
 <mrow>
  <mi>a</mi>
  <mo>+</mo>
  <mi>b</mi>
 </mrow>
</math>

ここで、MathMLの要素だけは、XHTMLの要素と区別するために名前空間を明示したいとしましょう。ドライバもしくは文書インスタンスで次のような実体宣言を行います。

<!ENTITY % MATHML.prefixed "INCLUDE" >

これによってモジュール内の宣言（2行目）が上書きされ、MATHML.pfxは、5行目で示されるようにデフォルトの接頭辞である%MATHML.prefix;と ':'の組み合わせ、すなわちm:となります。その結果、%mrow.qname;はm:mrowに、つまりMathMLの要素はm:という接頭辞付きで記述するようになります。

<p>次の数式を見てください：</p>

<m:math>
 <m:mrow>
  <m:mi>a</m:mi>
  <m:mo>+</m:mo>
  <m:mi>b</m:mi>
 </m:mrow>
</m:math>

この場合、ルート要素でxmlns:m="..."としてMathMLの名前空間を接頭辞m:に結びつけておく必要があります。

〔以上参考〕

ドライバによるモジュールの組み込み

たとえば、Listモジュールを組み込むために、XHTML 1.1のドライバは次のような指定を行っています。

<!ENTITY % xhtml-list.module "INCLUDE" >
<![%xhtml-list.module;[
<!ENTITY % xhtml-list.mod
     PUBLIC "-//W3C//ELEMENTS XHTML Lists 1.0//EN"
     "http://www.w3.org/TR/xhtml-modularization/DTD/xhtml-list-1.mod" >
%xhtml-list.mod;]]>

このページ冒頭のモジュール化DTDのパラメータ実体名のルールで紹介したように、.moduleという接尾辞をもつ実体は、モジュールを組み込むかどうかをコントロールするキーワードになります。回りくどいようですが、こうやっていったんモジュール組み込みのためのパラメータ実体を（INCLUDEとして）定義した上で、具体的なモジュール定義のあるファイル（URI）を.modという接尾辞をもつパラメータ実体として表し、その直後にその実体を参照する（ファイルの内容を取り込む）ことで、このモジュールをDTDに組み込んでいます。

モジュール内での要素タイプの宣言

ドライバを見ただけでは、どのモジュールを使うかということまでしか分かりません。具体的な要素タイプの宣言などは、組み込まれるモジュールそのものを調べる必要があります。このListモジュールでは、たとえばdt要素タイプが

<!ENTITY % dt.element  "INCLUDE" >
<![%dt.element;[
<!ENTITY % dt.content
     "( #PCDATA | %Inline.mix; )*"
>
<!ELEMENT %dt.qname;  %dt.content; >
]]>

と定義されます。.elementという接尾辞は上記の7つの分類には出てきませんでしたが、すぐ見てわかるように、その要素タイプを含めるかどうかを指定するキーワードとしてのパラメータ実体です。

6行目の要素タイプ宣言は、%dt.qname;というパラメータ実体が使われています。上で見たとおり、これはdtそのものですね。そしてdt要素タイプの内容モデルを示す%dt.content;は、3〜5行目で宣言されているパラメータ実体です。つまり、ここでの要素タイプ宣言は、実質的には

<!ELEMENT dt  "( #PCDATA | %Inline.mix; )*" >

ということになります。ここで登場する%Inline.mix;はListモジュール内では定義されておらず、内容モデル・モジュールを参照する必要があります。

内容モデル・モジュールの定義

モジュール化されたDTDでは、具体的なマークアップ言語（XHTML 1.1など）にどのモジュールが組み込まれるかは事前には分からないので、文書全体の内容モデルは「内容モデル・モジュール」として言語ごとに定義しなければなりません。XHTML 1.1の場合、このモジュールは仕様書の付録C.3に示されていますが、ドライバからは%xhtml-framework.mod;を通して%xhtml-model-1.mod;が呼び出されます。この中では、

<!ENTITY % InlStruct.class "%br.qname; | %span.qname;" >
<!ENTITY % InlPhras.class
     "| %em.qname; | %strong.qname; | %dfn.qname; | %code.qname;
      | %samp.qname; | %kbd.qname; | %var.qname; | %cite.qname;
      | %abbr.qname; | %acronym.qname; | %q.qname;" >
<!ENTITY % InlPres.class
     "| %tt.qname; | %i.qname; | %b.qname; | %big.qname;
      | %small.qname; | %sub.qname; | %sup.qname;" >
<!ENTITY % I18n.class "| %bdo.qname;" >

（中略）

<!ENTITY % Inline.class
     "%InlStruct.class;
      %InlPhras.class;
      %InlPres.class;
      %I18n.class;
      %Anchor.class;
      %InlSpecial.class;
      %InlForm.class;
      %Ruby.class;
      %Inline.extra;"
>
<!ENTITY % Inline.mix
     "%Inline.class;
      %Misc.class;"
>

というようなパラメータ実体の連鎖が定義され、「インライン要素」とは何であるかが示されるわけです（%em.qname;などの実体はemなど従来の要素タイプ名そのものであることを思い出してください）。