Search Mailing List Archives
[p4-feedback] problem with inferring classes of individuals
philippe.genoud at gmail.com
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
i2 is a c1 whereas is asserted c2 to be a subclass of c1.
Why ? any explanation ?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the p4-feedback