0

私は Protege beta 5 を使用しており、reasoner を使用しようとしています。ペレットは個体間の推移性をサポートしていないため、その問題の解決策がある場合はどうすればよいですか? そうでない場合は、(等価性、推移性、再帰性など) をサポートする理由付けが存在しますか?

 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)
4

1 に答える 1

0

ペレットは推移的なプロパティをサポートしています。単純なプロパティの位置で使用される非単純なプロパティに出くわしたと思います。これは Pellet の制限ではなく、DL の制限です。特性の組み合わせによっては、決定不能になるため、サポートされていません。関連情報については、この質問を参照してください

于 2016-08-02T20:43:43.707 に答える