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 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
fact that
i2 is a c1 whereas is asserted c2 to be a subclass of c1.

Why ? any explanation ?

Thanks

Philippe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20131111/ff802c8f/attachment.html>


More information about the p4-feedback mailing list