KL-ワン

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

概要

KL-ONE のようなシステムは数多く存在します。KL-ONE が始めたイノベーションの 1 つは、演繹分類器の使用です。演繹分類器は、ドメインエキスパートによって提供された初期情報に基づいて、フレームオントロジーを検証し、オントロジーに関する新しい情報を推論できる自動推論エンジンです。

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

KL-ONE では、説明はプリミティブと定義済みの 2 つの基本的な概念クラスに分けられます。プリミティブは、完全に定義されていないドメイン概念です。つまり、概念のすべてのプロパティが与えられても、それを分類するには不十分です。プリミティブは不完全な定義とみなされることもあります。同じ見方をすると、定義済みの概念は完全な定義です。概念のプロパティが与えられれば、それらは概念を分類するための必要かつ十分な条件となります。

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

参照

オントロジー言語

参考文献

^ Woods, WA ; Schmolze, JG (1992). 「KL-ONEファミリー」(PDF) . Computers & Mathematics with Applications . 23 (2–5): 133. doi : 10.1016/0898-1221(92)90139-9 .
^ Brachman, RJ ; Schmolze, JG (1985). 「KL-ONE知識表現システムの概要」.認知科学. 9 (2): 171. doi : 10.1207/s15516709cog0902_1 . S2CID 11270484.
^ DA Duce、GA Ringland (1988)。知識表現へのアプローチ、入門。Research Studies Press、Ltd. ISBN 978-0-86380-064-1。

[1] Woods, WA ; Schmolze, JG (1992). 「KL-ONEファミリー」(PDF) . Computers & Mathematics with Applications . 23 (2–5): 133. doi : 10.1016/0898-1221(92)90139-9 .

[2] Brachman, RJ ; Schmolze, JG (1985). 「KL-ONE知識表現システムの概要」.認知科学. 9 (2): 171. doi : 10.1207/s15516709cog0902_1 . S2CID 11270484.

[3] DA Duce、GA Ringland (1988)。知識表現へのアプローチ、入門。Research Studies Press、Ltd. ISBN 978-0-86380-064-1。