2

簡単な答えがないと思われる簡単な質問があります。基本的に、ある OWL 式 (#B) が別の OWL 式 (#A) から論理的に続くことが正しいかどうかを確認したいのですが、言い換えると、#A -> #B は本当ですか?

この理由は、知識ベース (#KnowledgeStructure クラスで表される) の構造を、現在のアプリケーション状態 (#StateRequirement) のニーズを記述する構造に一致させるアプリケーションのマッチング アルゴリズムを作成しているためです。どちらの構造にも、第 3 の種類の構造 (#Model) の状態に対する OWL 式を表す文字列値を持つプロパティがあります。これらは次のとおりです。 #Model に適用される知識構造がどのように #Model を変換するかを表す #KnowledgeStructure.PostCondition。#StateRequirement.GoalCondition は、アプリケーションが達成しようとする #Model 状態を表します。したがって、#KnowledgeStructure.PostCondition が目的の #StateRequiremment.GoalCondition を生成することを確認することによって、#KnowledgeStructure が #StateRequirement を満たすかどうかを確認したいと思います。これを次のように抽象的に表現できます: (#KnowledgeStructure.Postcondition => #StateRequirement.GoalCondition) => Match(#KnowledgeStructure, #StateRequirement). これを ((#A -> #B) -> Match(#A, #B)) のように表現することもできますが、#A と #B はどちらも有効な OWL 式です。

一般的なケースでは、次のルールを表現できるようにしたいと考えています。

本質的に、私の質問は次のとおりです。OWLでそのようなルールを設定または実現するにはどうすればよいですか? ある式が別の式の後に続くかどうかをテストするにはどうすればよいですか? また、既存の推論は、この関係が明示的に述べられていない場合、2 つの式の間の関係 #A -> #B を決定するのに十分強力ですか?

4

1 に答える 1

1

質問を完全に理解したかどうかは 100% 確信が持てませんが、把握した限りでは、このような状況に直面するでしょう。

私が知っているすべてのライブラリはこの言語を対象としているため、最初に Java について言及します。第二に、ルールと公理を表すことができることを考えると、OWL だけで目的を達成できるとは思いませんが、推論は提供されません。つまり、推論が必要なので、プログラムを作成する必要があります。それを使用し、さらに以下にスケッチする追加の処理を行います。

1）あなたはそれについて言及しませんでしたが、結果関係（記号「->」で示すもの）を証明する必要があるという基本的なオントロジーがあると思います。オントロジーが明示的でない場合は、質問で言及したテキスト表現から抽出/構成できる可能性があります。

2) オントロジー操作にはライブラリを使用する必要があります。マンチェスター大学のOWL APIをお勧めします。これは非常に強力でシンプルです。セクション「ドキュメント」のチュートリアルでは、推論の使用を含む主な機能の概要を説明しています (例は隠者を示していますが、原則は他の推論にも当てはまります)。

3) この時点で、オントロジーが一貫しているかどうかを確認する必要があります (そうでない場合は、誤った前提でよく発生するため、何かを導き出すことができます)。

4) 次の公理をオントロジーに追加し (Java で直接構築します。シリアル化する必要はありません。メモリ内表現で推論機能を働かせることができます)、一貫性をチェックします: A \sqsubseteq B、つまり、関連する解釈: A^I \subseteq B^I を使用するため、A => B と同等です (真理値表は同じです)。

5) この時点で、Axiom Match(A,B) を追加できます。ここで、A と B はクラス式であり、Match は、2 番目が最初の結果であるすべてのクラス式を関連付ける Role/Relation です。

6) これらのステップを何度も繰り返した後、結果をシリアライズして保管したい場合があります。これは、インメモリー表現から OWL API を使用して非常に簡単に実現できます。

記述ロジック ( OWL オントロジーを支えるロジック) に関するいくつかの基本については、A description logic Primer (2012)、Horrocks et al. および記述ロジックの基礎 (2011)、ルドルフ。

私は論理学者でも DL の専門家でもないので、提供したすべての情報を確認し、自由に修正してください :)

于 2012-12-30T11:10:26.233 に答える