Pellet推論器がサブクラス関係を推論しないのはなぜですか？

Question

私はProtégéとOWLから始めています。私はそれがAとBのすべてのサブクラスが起こらない事、のサブクラスでもあることを推論するために、私は期待ペレット推論を開始すると

:A rdf:type owl:Class ; 
    rdfs:subClassOf owl:Thing ; 
    owl:disjointWith :B . 

:B rdf:type owl:Class ; 
    rdfs:subClassOf owl:Thing . 

:C rdf:type owl:Class ; 
    rdfs:subClassOf :A ; 
    owl:disjointWith :D . 

:D rdf:type owl:Class ; 
    rdfs:subClassOf :A . 

:E rdf:type owl:Class ; 
    rdfs:subClassOf :B . 

：私はちょうど同じよう門徒でクラスhiearchyを作成しました。また、私はSPARQLクエリSELECT ?subject WHERE { ?subject rdfs:subClassOf owl:Thing}がすべてのクラスAからBになることを期待しました。しかし、クエリはAとBを返します。

私は何か間違っていると思いますか？

Answer 1

Protegeには複数のSPARQLプラグインがあります。推論を使用する場合は、スナップSPARQLクエリプラグインを使用する方法です。これはであり、ではなく、Protegeディストリビューションに付属するデフォルトのSPARQLプラグインですが、明示的にインストールする必要があることに注意してください（これはプラグインマネージャー経由で非常に簡単です）。