Abox

コンピュータサイエンスにおいて、 TBoxとABoxという用語は、知識ベース内の2種類の異なるステートメントを表すために使用されます。TBoxステートメントは「用語コンポーネント」であり、クラスとプロパティをドメイン語彙として定義することで、関心領域を記述します。ABoxステートメントは「アサーションコンポーネント」であり、TBoxの概念モデルまたはオントロジーに関連付けられた事実です。^{[ 1 ]} ABoxステートメントとTBoxステートメントは一緒に知識ベースまたは知識グラフを構成します。

ABox ステートメントは TBox に準拠している必要があります。つまり、TBox によって定義された語彙を使用するアサーションです。

TBox ステートメントはオブジェクト指向クラスに関連付けられる場合があり、ABox ステートメントはそれらのクラスのインスタンスに関連付けられることがあります。

ABox および TBox ステートメントの例

ABox ステートメントは通常、具体的なエンティティを扱います。エンティティがどのカテゴリに属する​​か、またはあるエンティティが別のエンティティとどのような関係にあるかを指定します。

• アイテムAはカテゴリCのインスタンスである
• アイテムAはアイテムBとこの関係がある

例：

• ニジェールは国です。
• チャドは国です。
• ニジェールはチャドの隣にあります
• アガデスは都市です。
• アガデスはニジェールにあります。

TBoxのステートメント（またはドメインカテゴリと暗黙の関係の定義）は通常、次のようなものです

• エンティティXは国または都市である可能性がある
  • つまり、ダガマネトは、現実の世界では事実ではあるものの、近隣地域を特定できる事実ではないのです。
• BがAの隣にある場合、AはBの隣にある
  • つまり、ニジェールがチャドの隣であるということは、チャドがニジェールの隣であることを意味します。
• X が都市または国である場合、X は場所です。
  • つまり、「ニジェールは国である」ということは、 「ニジェールは場所である」ということを意味します。
• 場所 B が A 内にある場合、場所 A は場所 B を含みます。
  • したがって、アガデスがニジェールにあるということは、ニジェールにアガデスが含まれることを意味します。

TBoxステートメントは知識ベース内でより永続的であり、スキーマまたはデータモデルとして使用および保存される傾向があります。対照的に、ABoxステートメントは本質的により動的であり、データベース内のトランザクションシステム内のインスタンスデータとして保存される傾向があります。新しいNoSQLデータベース、特にRDFデータベース（Triplestoreを参照）では、ストレージの区別はもはや当てはまらない場合があります。データとモデルは同じアプローチで保存できます。ただし、モデルはより永続的であり、異なるライフサイクルを持ち、通常はそのようなデータベース内で別々のグラフとして保存されます。

参照

• 記述ロジック § モデリング
• メタデータ
• Webオントロジー言語
• 外延的定義と内包的定義

参考文献

1. Gruber, Thomas R. (1993年6月). 「ポータブルオントロジー仕様への翻訳アプローチ」(PDF) . Knowledge Acquisition . 5 (2): 199–220 . CiteSeerX  10.1.1.101.7493 . doi : 10.1006/ knac.1993.1008