2

Reasoner (ペレット 1.5 またはファクト ++) を実行すると、保護者の「同じ個人のプロパティ」に問題があります。

オントロジーの例を見てみましょう

モノにはクラスの息子 A と B があり、A には息子 C と D があります。

B、C、D には同じクラスの個体がいます。

個体 C は個体 B と「同一の個体」であると言い、さらに個体 D は個体 B と「同一の個体」であると付け加えることはできませんか? 確かに名前は違いますが、同一人物です。

個人 B にタイプ C または D の「同じ個人」を設定した場合にのみ機能するのはなぜですか?

保護者のエラーは「InconsistentOntologyException:Fact++.Kernel: inconsistent Ontology」であり、ペレットはオントロジーが矛盾していると述べています。

編集:より根深い問題のようです。この例は機能し、チェックを続けます。

EDIT2：さらに実験した後、DataTypeプロパティと競合しているようです。それらはすべて同じ名前の DataType プロパティを共有します。プロパティのドメインの例では、A と範囲文字列になります。解決方法はありますか？

4

1 に答える 1

0

ええ、あなたはそれを解決しました-あなたはラベル（あなたが物事と呼ぶもの）をアイデンティティと混同していました：クラスのインスタンスは一意です（それに異なるラベルを付けることができます-つまり、異なるものと呼ぶことができます）が、インスタンス自体は一度しか存在できません-そしてあなたの例では、「同じインスタンスの3つのインスタンス」があると効果的に主張しました...もちろん、意味がありません。

于 2010-12-30T16:12:40.593 に答える