Search Mailing List Archives
[p4-feedback] problem with inferring classes of individuals
matthew.horridge at stanford.edu
Mon Nov 11 11:29:41 PST 2013
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 gmail.com> 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 ?
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
More information about the p4-feedback