アボックス

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

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

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

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

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

例:

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

TBox ステートメント (またはドメイン カテゴリと暗黙の関係の定義) は通常、次のようになります。

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

TBox ステートメントは、ナレッジ ベース内でより永続的になる傾向があり、スキーマまたはデータ モデルとして使用され、保存されます。対照的に、ABox ステートメントは本質的にはるかに動的であり、データベース内のトランザクション システム内のインスタンス データとして保存される傾向があります。新しいNoSQLデータベース、特に RDF データベース ( Triplestore を参照) では、ストレージの区別は適用されなくなる可能性があります。データとモデルは同じアプローチを使用して保存できます。ただし、モデルはより永続的であり、ライフサイクルが異なり、通常はそのようなデータベース内で別のグラフとして保存されます。

• 記述ロジック § モデリング
• メタデータ
• ウェブオントロジー言語