シグマナレッジエンジニアリング環境

コンピュータサイエンスの知識工学とオントロジーの分野において、Sigma 知識工学環境(SigmaKEE) は、正式なオントロジーの開発のためのオープンソースのコンピュータプログラムです。これは、Suggested Upper Merged Ontologyで使用するために設計されています。当初は、コアの演繹推論エンジンとしてVampire 定理証明器のみが含まれていましたが^[1]、現在では、 CASC / CADEコンテストに参加した他の多くの証明器も使用できます。^[2]

SigmaKEEはオントロジーの統合開発環境として考えられています。ユーザーの典型的なワークフローは、テキストエディタで理論の内容を記述し、SigmaKEEのツールを使用してデバッグすることです。 ^[2]

これはJavaで書かれており、WebベースのユーザーインターフェースにはJSPを使用しています。インターフェースでは、 SUO-KIF形式でクエリやステートメントを作成でき、証明結果をハイパーリンクで表示します。証明の各ステップで、SigmaKEEはそれが知識ベース内のアサーションであることを指摘するか、推論ルールを使用してステップが前のステップからどのように続くかを示します。インターフェースでは、ハイパーリンクを使用して理論コンテンツを参照でき、ツリー構造の階層が表示されます。また、WordNetとOpen Multilingual WordNetを参照することもできます。^[2]

SigmaKEEは、THF、TPTP、SUO-KIF、OWL、Prolog形式をサポートし、これらの形式間で理論を変換できます。入力と出力にTPTP標準をサポートする定理証明器Ee_ltb_runnerがSigmaKEEに統合されています。これは、対話モードで実行される制御プログラムを提供します。このプログラムはクエリを受け取り、関連性フィルターを適用します。次に、クエリに対する回答を検索するEの複数のインスタンスを実行します。インスタンスの1つが証明を見つけた場合、他のすべてのインスタンスは停止し、 SigmaKEEのバックエンドe_ltb_runnerに回答を返します。^[2]

• シグマのウェブサイト
• TPTP/CADE