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

Philippe Genoud philippe.genoud at
Mon Nov 11 02:25:37 PST 2013

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 ?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the p4-feedback mailing list