Why isn't Pellet reasoner inferring subclass relationships?

Question

I am just starting with Protégé and OWL. I just created a class hiearchy in Protege like:

: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 .

When I start the pellet reasoner I expected for it to infer that all subclasses of A and B are also subclasses of Thing, which does not happen. Also I expected a SPARQL query SELECT ?subject WHERE { ?subject rdfs:subClassOf owl:Thing} would result in all classes A through B. However the query only returns A and B.

Am I doing something wrong or am I just not correct on what I expected?

Did you both select and start the reasoner? Those are two different menu options in Protégé. — Ignazio, Sep 06 '16 at 09:52
It's possible the SPARQL query is not using the reasoner. I can't recall if there is any option that needs to be checked. — Ignazio, Sep 06 '16 at 09:53
@Ignazio , already searched for any options and didn't find anything... — josecm, Sep 06 '16 at 10:34

score 1 · Accepted Answer · answered Sep 07 '16 at 00:29

There are multiple SPARQL plugins in Protege. If you want to use reasoning, the Snap SPARQL Query plugin is the way to use. Note, that this is not the default SPARQL plugin that comes with the Protege distribution, but has to be installed explicitly (via the plugin manager this is pretty simple).

Why isn't Pellet reasoner inferring subclass relationships?

1 Answers1