Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[p4-feedback] problem with inferring classes of individuals

Matthew Horridge matthew.horridge at
Mon Nov 11 11:29:41 PST 2013

Hi Philippe,

You might need to turn on inferences for individuals.  In the preferences select the “Reasoner” tab.  Look at the section “Displayed Individual Inferences” and check the various boxes an necessary.  

You can also use the DL query tab.  Type “c1” into the query editor and make sure “Instances” is selected on the right hand side.



On 11 Nov 2013, at 02:25, Philippe Genoud <philippe.genoud at> wrote:

> I'm using Protege 4.3 and do the following :
> - create a newe empty ontology
> - create a class c1
> - create c2 a subclass of c1
> - create an individual i2 member of c2.
> - start the  reasoner (Hermit)
> and when I look for inferred members of c1 I expected to see i2 but this list is emtpy.
> It's the same if I look at the types of i1, Protégé does not displays the fact that 
> i2 is a c1 whereas is asserted c2 to be a subclass of c1.
> Why ? any explanation ?
> Thanks
> Philippe
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at

More information about the p4-feedback mailing list