シングル文とトリプル文

RDFトリプルを (S, P, O) と書く。トリプルを宣言文とみた場合にトリプル文と呼ぶ。単一のリソース S だけを書いた文はシングル文

トリプル文の意味はRDFのとおりとして、シングル文は、その固有リソース〈エンティティ〉が存在することを主張する。

  • トリプル文を指標の0-宣言文と解釈すれば、圏の対象の宣言
  • トリプル文を指標の1-宣言文で域が単位対象と解釈すれば、圏のモノイド・ポイントの宣言
  • トリプル文を指標の1-宣言文で域が単位対象かつシャープと解釈すれば、圏のシャープ・モノイド・ポイントの宣言
  • トリプル文を指標の1-宣言文で余域が真偽対象と解釈すれば、圏の述語の宣言

次の概念をハッキリさせる。

  1. 個体
  2. 関係〈関連〉
  3. 属性
  4. パッケージ/コンテナ