reasoning

1熱

1答えて

私はProtétéを初めて使用しているので、私は非常に基本的な質問があります。私はクラスChildとParentを持っています。 ChildのサブクラスはGirlです。 child1はchild2はChildとannaとpeterが持っているタイプの両方のタイプParentがあり、タイプGirlを持っています。さらに、anna isParentOf child1とpeter isParentOf

0熱

1答えて

推論器を使用してInverseObjectPropertyを取得

推論器を使用してオブジェクトプロパティの反転をクエリするにはどうすればよいですか？例えば、人が銃を持つことができますし、その逆：簡単な公理があるので <Declaration> <ObjectProperty IRI="#hasOwner"/> </Declaration> <Declaration> <ObjectProperty IRI="#hasGun"/> </

0熱

1答えて

ルールベースシステムの初期事実処理

ルールベースシステム上で私の仲間と話し合った後に混乱します。私はルールを設定したAndroidで開発しました。私が言うことは、初期の事実はエンジンを始動させるためにどのルールにも合致しなければならないということで、初期の事実を作業メモリーに送らずに直接照合することができます。仲間によれば、最初の事実は作業記憶に入る必要があり、それからマッチングが始まるはずですが、私はここまで同意しますが、最初の

0熱

1答えて

OWLの推論クラス階層の最小例

オントロジエディタProtegéには、クラス階層（推測）というタブがあります。私はそのような推論されたクラスを作成するための最小限の例を探しています。それは主にその:RedCar rdfs:subClassOf :Car、それはすべてですか？ :RedCar a owl:Class ; owl:equivalentClass [ a owl:Class ;

0熱

1答えて

Protegeの確率論的および/または致命的な推論？

私はいくつかの有望な（古い）記事を見つけましたが、トレイルは寒いです。理想的には私はプラグイン/コードを探していますが、単純に利用できない場合は、Protegeへの統合のための確率論的および/または決定不可能な推論をどのように構築するかについての具体的な指針が依然として有効です。 Rapert Defeasible Reasoning plugin for Protege。休止/放棄されたようで

0熱

1答えて

データプロパティを使用してOwl理由をProtegeできますか？

私は、Protege 4の推論者をデータプロパティのスコアに従って個人を階級化しようとしています。健全な人には、データプロパティ 'ambulation Score'が8です。私は、このような個人を「健康」と呼ばれるクラスに入れる推論者を得ようとしています。データプロパティ 'ambulation Score'は1から10までの整数です。個々の 'Alice'には歩行があります。スコアは8で、「

1熱

1答えて

OWL APIを使用したオントロジーの推論

OWL API 4.1.3を使用して、大きくない私のオントロジーをロードしました。推測された情報を使う必要があるので、私はHermit 1.3.8.413ライブラリを使って推論を行った。次のコードは私がどのようにしたかを示しています。 public class ReasonRDF { public static void main(String[] args) throws OWLOntolo

1熱

1答えて

門徒で視覚化推論エクスポート推論公理異なる理由

Iは、2つの主要なクラス（コード及び被写体）とオントロジと一つのオブジェクトプロパティ（サブジェクトコードを取得）を有する：コード（クラス）が含まをすべての利用可能なコード（インスタンス）コードの（クラス）サブクラスは、これらのコード（インスタンス）を分類します。手動で指定件名（クラス）は、すべての利用可能な対象（インスタンス）各被験者（インスタンス）サブジェクトの（クラス）のサブクラス

0熱

1答えて

このオントロジーの成果はどうあるべきですか？

私はWebオントロジーと記述ロジックを学んでいます。私はこれに出くわして、答えになるべきものについてかなり混乱しました。これはナレッジベースです。これは宿題ではありません X∈(∃Parent.(Manager⊓∃Parent.¬Manager)) P.S：親（X、Y）はXがYの Parent(X,Y). Parent(Y,Z). Parent(X,Z). Parent(Z,M).

0熱

1答えて

owl api 3.4.10とjfact 1.2.1を使用してすべてのタイプを取得

私は、Protegeを使ってオントロジを作成しました。 2つの基本クラスで構成されています。それぞれに3つのサブスケードがあります。サブクラスは、特定のオブジェクトとデータのプロパティを持つクラスです。私がインスタンスを作るとき、私はそれをクラスの個人として作成しますが、そのようなデータプロパティでインスタンスをいくつかのサブクラスに属するようにします。 ProtegeでHermitを実行すると、