JENAを用いた基本的なフクロウ推論

Question

オントロジーには新しく、フクロウの推論に関する基本的な質問があります。質問は長く巻かれているように思われるかもしれません、それについてすみません..

次の公理を持つオントロジーを考えてみましょう （OWL：クラスC1）と（OWL：クラスP）、オブジェクトプロパティ（RDFS：ドメインがC1）（RDFS：RANGE OBSEVES Pを監視する）（RDF：RDF：TYPE P P）

その後、クラスC2（RDFS：SUBCLASSOF C2 C1）を制限してクラスC1を制限します（C2 C1）

今すぐ新しい個人を作成したら（RDF：Type X OWL：TIVE）（X Pを監視します）、その後、それを扱います（rdf：type x c1）。しかしながら、個々のXの定義はC2に近いように思われるので、推論者はXがC2型であると推論しない場合は？

助けてください！

JENAフレームワークを使用して実験しています。

Answer 1

これが起こらない理由は、サブクラスを使用して制限を作成したことがあります。つまり、必要な（しかし十分ではない）条件を作成したことを意味します。言い換えれば、あなたはこれを推論者に言った：

"個体がC2型の場合、それはプロパティ 'hosheves'"

を持っている必要があります。

しかし、あなたはを持っていないはそれを周回しています：

「個人にプロパティがある場合は、それはC2 "

の型でなければなりません

あなたの個人がC2のタイプC2のものであると推論できるようにするためには、そこにも2番目の規則（十分な状態）が必要です。これを行うには、（owl:equivalentClass Relationの代わりに）制限のrdfs:subClassOfの関係を使用することで、これを行うことができます。