ペレット移行性プロテクター5分類器

私はProtege beta 5を使用しています。私は推論を使用しようとしています。ペレットは個人間の推移性をサポートしていないので、その問題の解決策は何かありますか？されていない場合がある（等価、transitivty、再帰性...）が矛盾オントロジーを取得し、について説明があるthatsのサポート任意の推論：ペレット移行性プロテクター5分類器

A(b) -> ((isComposedOf min 2 ({C})) and (isComposed max 15 ({C})))(b) 
    b Type A 
    ((isComposed exactly 4 AA) or (isComposed exactly 5 AA)) (?x),L(?x),((hasLength exactly 4 xsd:integer) or (hasLength exactly 5 xsd:integer))(?x)-?SameAs(?x,R)

出典

2016-08-02 Muna ar

どのようにサポートされていませんか？どのDL表現が個人のためにこれらの構成を含むか？ – Ignazio

OWLを使用して、より意味論的には、一貫性のためにreasonerを使用しようとしていますが、ペレットでは推移的なプロパティのエラー原因が出てきます。キーワードキーワードTYPE ans SAME AS問題、ANdは、 Ignazio –

ペレットは完全なOWL 2 DLをサポートしています！エラー、つまり完全なスタックトレースを投稿してください。推移的なプロパティの唯一の例外は、OWL 2 DL制限の違反を避けるために、プロパティの推移性が無視されるという警告です。 – AKSW

ペレットが推移プロパティをサポートしています。私はあなたが簡単なプロパティの位置で使用されていない単純なプロパティを見つけたと信じています。これはペレットの制限ではなく、DLの制限です。いくつかの特性の組み合わせは、決定不能につながるため、サポートされていません。関連情報については、this questionを参照してください。

出典

2016-08-02 20:43:43 Ignazio

ありがとうございましたImをチェックしよう –

TypeとSameAsキーワードをサポートしていますか？ –

はい、そうです - これらはいずれのOWL 2推論者によってもサポートされています。 – Ignazio

ペレット移行性プロテクター5分類器

答えて

関連する問題