RDFトリプルを (S, P, O) と書く。トリプルを宣言文とみた場合にトリプル文と呼ぶ。単一のリソース S だけを書いた文はシングル文。
トリプル文の意味はRDFのとおりとして、シングル文は、その固有リソース〈エンティティ〉が存在することを主張する。
- トリプル文を指標の0-宣言文と解釈すれば、圏の対象の宣言
- トリプル文を指標の1-宣言文で域が単位対象と解釈すれば、圏のモノイド・ポイントの宣言
- トリプル文を指標の1-宣言文で域が単位対象かつシャープと解釈すれば、圏のシャープ・モノイド・ポイントの宣言
- トリプル文を指標の1-宣言文で余域が真偽対象と解釈すれば、圏の述語の宣言
次の概念をハッキリさせる。
- 型
- 個体
- 関係〈関連〉
- 属性
- パッケージ/コンテナ