Search Mailing List Archives
[p4-feedback] Requesting indirect instances from the reasoner
matthew.horridge at stanford.edu
Wed Nov 6 17:16:59 PST 2013
I’ve filed an issue for this. It should probably be changed.
On 25 Sep 2013, at 03:38, Pavel Klinov <pavel.klinov at uni-ulm.de> wrote:
> 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.
> PS. Protege 4.3.0 build 304
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
More information about the p4-feedback