KLワン

KL-ONE（「ケイエルウォン」と発音）は、意味ネットワークとフレームの伝統を受け継ぐ知識表現システムであり、つまりフレーム言語です。このシステムは、意味ネットワーク表現における意味の曖昧さを克服し、概念情報を構造化された継承ネットワークとして明示的に表現しようとする試みです。^{[ 1 ] [ 2 ] [ 3 ]}

KL-ONEに類似したシステムは数多く存在する。KL-ONEが先駆けた革新の一つは、演繹的分類器の使用である。これは、ドメインエキスパートから提供された初期情報に基づいて、フレームオントロジーを検証し、オントロジーに関する新たな情報を推論できる自動推論エンジンである。

KL-ONEにおけるフレームは「概念」と呼ばれます。これらは包含関係を用いて階層構造を形成します。KL-ONEの用語では、スーパークラスはサブクラスを包含すると言われます。 多重継承も可能です。実際、概念が整形式であるとは、他の複数の概念から継承している場合にのみ言えます。最上位の概念（通常はTHING）を除くすべての概念は、少なくとも1つのスーパークラスを持つ必要があります。

KL-ONEでは、記述は基本概念と定義概念の2つのクラスに分類されます。基本概念とは、完全に定義されていないドメイン概念です。つまり、概念のすべての特性が与えられても、それを分類するには不十分です。これらは不完全な定義とみなすこともできます。同様に、定義概念とは完全な定義です。概念の特性が与えられれば、それらは概念を分類するための必要十分条件となります。

スロットの概念はロールと呼ばれ、ロールの値はロールフィラーと呼ばれます。さまざまな状況で使用されるロールには、いくつかの異なるタイプがあります。最も一般的で重要なロールタイプは、ロールが複数のフィラーで埋められる可能性があるという事実を表す汎用的なロールセットです。

• オントロジー言語