仕様書

外部部分集合

[9] 外部部分集合external subsetは、 文書型宣言部分集合のうち、外部宣言実体中に存在する部分です WebSGML K.2.1.2。

[10] 規格参照具象構文で表現した時に、 <!DOCTYPE doctype PUBLIC "foo" [<!>]> の PUBLIC "foo" で指定した外部解析実体のことを、 外部 DTD サブセットと呼ぶのです。

これに対して、 <!> の部分を、内部部分集合と呼びます。 文書型宣言はこの両者から構成されます。 (一方又は両者が空であることもあります。)

[11] Web SGML は >>9 のようにきてしていますけど、ここはあえて、連結型宣言にも外部部分集合はあるのだ! と主張したい。

[12] SGML宣言も文書型宣言や連結型宣言と似た構文のマーク宣言が使われますが、外部参照の SGML 宣言を「外部部分集合」とは言いません。 SGML 宣言には宣言部分集合 (内部部分集合) が存在しないからです。

[13] 誤り訂正日記 - d:id:quaa (2007-11-11 11:17:03 +09:00 版) http://d.hatena.ne.jp/quaa/20071108#p1

外部部分集合実体

[1]

外部部分集合実体 (external subset entity)

文書型宣言の外部識別子パラメタによって宣言され、 内部部分集合の末尾で (暗黙的に) 参照される実体。 (Web SGML K.2.1.1)

[2] つまりは、外部部分集合となる実体のことです。

文書型宣言の外部識別子引数は、 たとえば規格参照具象構文では、次のように表されます。

  <!DOCTYPE doctype PUBLIC "-//example//DOCTYPE doctype//en"
                    "http://www.example.com/doctype" [
    <!-- 内部部分集合 -->
  ]>

(PUBLIC 以下の部分です。)

この外部識別子引数で参照される実体が外部部分集合実体です。

[3] 素のSGML では 文書型宣言に指定する外部識別子が表す実体と呼ばれています。

[4] JIS X 4151‐1992 10.1 で、この実体は その文書型宣言部分集合の最後に参照してその一部 (又は全部) とする とされています。

[8] >>4 より、 >>2 の例は次の例と実質的に等価です。

  <!DOCTYPE doctype [
    <!-- 内部部分集合 -->
    
    <!ENTITY % 外部部分集合
                    PUBLIC "-//example//DOCTYPE doctype//en"
                    "http://www.example.com/doctype">
    %外部部分集合;
  ]>

[5] >>4 の規定により、 内部部分集合が外部部分集合に先立って解釈されます。ですから、 実体宣言や属性並び宣言が両者にあれば内部部分集合の側のものが優先されます。 また、外部部分集合で定義した引数実体を内部部分集合で参照することは出来ません。 (内部部分集合を解釈する時点でまだ読まれていませんから。)

[6] Web SGML の外部部分集合の定義は文書型宣言だけで連結型宣言は無視されていますが、 本当は連結型宣言の外部識別子引数で参照される実体も外部部分集合実体と呼んでも良いですよね。

[7] 外部部分集合実体は定義上引数実体の一種です。

MIME 型

[17] XML の外部部分集合実体の MIME型は、 application/xml-dtd を使うべきです >>24, >>19。