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] Requesting indirect instances from the reasoner

Matthew Horridge matthew.horridge at
Wed Nov 6 17:16:59 PST 2013

Hi Pavel,

I’ve filed an issue for this.  It should probably be changed.



On 25 Sep 2013, at 03:38, Pavel Klinov <pavel.klinov at> wrote:

> Hello,
> I've noticed that when a user clicks on a class (on the Classes tab)
> and if the option "Class members" is set in the "Displayed Inferences"
> configuration, Protege 4.3 issues a call
> OWLReasoner.getInstances(class_expression, *false*) to the reasoner.
> This means that all inferred instances, direct and indirect, are
> requested. I wonder if that is really necessary when browsing the
> class hierarchy since it can quickly get very slow on
> ontologies with large ABox (or even large TBox, if the reasoner first
> goes through all subclasses).
> I searched the archive and found this:
> so it seems like the problem of retrieving indirect instances has been
> recognized. So perhaps it's better to always request only direct ones?
> Or at least converge to some consistent behavior.
> Thanks,
> Pavel
> PS. Protege 4.3.0 build 304
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at

More information about the p4-feedback mailing list