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 stanford.edu
Wed Nov 6 17:16:59 PST 2013


Hi Pavel,

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

Cheers,

Matthew



On 25 Sep 2013, at 03:38, Pavel Klinov <pavel.klinov at uni-ulm.de> 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:
> 
> https://mailman.stanford.edu/pipermail/p4-feedback/2010-October/003321.html
> 
> 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 lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback



More information about the p4-feedback mailing list