Re: [protege-user] DL query bug ?
Igor Toujilov via protege-user <[email protected]> Sat, 22 Nov 2025 21:07:15 +0100
| Newsgroups | gmane.comp.misc.ontology.protege.owl |
|---|---|
| Message-ID | <trinity-8ff75d7a-c243-4532-8748-ab9e1266b124-1763842034964@3c-app-mailcom-lxa03> |
--===============1546521770442182010== Content-Type: text/html; charset=UTF-8 <html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hi Samson,</div> <div>Have you tried Pellet?</div> <div> </div> <div>Cheers,</div> <div>Igor</div> <div> <div> <div name="quote" style="margin:10px 5px 5px 10px; padding: 10px 0 10px 10px; border-left:2px solid #C3D9E5; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"> <div style="margin:0 0 10px 0;"><b>Sent:</b> Saturday, November 22, 2025 at 6:49 PM<br/> <b>From:</b> "Samson Tu via protege-user" <[email protected]><br/> <b>To:</b> "[email protected]" <[email protected]>, "User support for WebProtege and Protege Desktop" <[email protected]><br/> <b>Cc:</b> "Samson Tu" <[email protected]><br/> <b>Subject:</b> Re: [protege-user] DL query bug ?</div> <div name="quoted-content"> <div> <div>Hi Jean-Louis,</div> <div> </div> <div>Your problem is not a Protege bug but a reasoner issue. The ontology has a large number of axioms (702 classes, but 18,865 axioms). The HermiT reasoner tied itself in knots trying to resolve the query. Interestingly, using a less expressive reasoner (Elk) designed for a profile that doesn’t include disjunction returns the query results quickly. I am not an expert on reasoners or the internals of Protege. My (wild) guess is that, in the absence of inference results built by the reasoner, Protege uses some kind of lookup to resolve the simple disjunctive query. </div> <div> </div> <div>(Initially, I thought the problem might be due to limited Java memory allocation. However, after allocating 8 GB of memory to the process, I observed that the Protege process did not use more than 3 GB of memory when it attempted to resolve the HermiT-based query. It simply hung.)</div> <div> </div> <div>I am not sure anyone is maintaining the reasoners anymore. They would be the right people to look into this, not Protege developers.</div> <div> </div> <div> <p style="margin: 0.0px;font-style: normal;line-height: normal;font-size-adjust: none;"><i>Best regards,</i></p> <p style="margin: 0.0px;font-style: normal;line-height: normal;font-size-adjust: none;"><i>Samson</i></p> </div> <div> </div> <div> </div> <img alt="PastedGraphic-1.tiff" src="cid:AB3F5AE8-06C8-48CC-883C-9B313E79BCF2" width="890"/> <div> <blockquote> <div>On Nov 20, 2025, at 7:52 AM, Jean-Louis Janin <[email protected]> wrote:</div> <div> <div>Hello,<br/> <br/> I tried to execute this query (see DL_query_1) for the instances of two tables of my ontology (see DL_query_4) but it did not work. After some time, I was told that Protégé "does not respond" (see DL_query_2).<br/> <br/> Why ? Is it a question of "live" memory ?<br/> <br/> I attach the beginning of the report (see DL_3)<br/> <br/> Yours,<br/> <br/> Jean-Louis Janin<br/> <span id="cid:53054045-E6A7-46EB-82E8-7A4734A5F0F8"><DL_query_1.png></span><span id="cid:F055C90E-205B-40EB-86F8-0DE80BA58EAD"><DL_query_2.png></span><span id="cid:644520F1-72CC-4BAE-80EF-5A2B432B6635"><DL_query_3.png></span><span id="cid:65CA6681-B910-4438-A62F-17FCFDD4B54C"><DL_query_4.png></span>_______________________________________________<br/> protege-user mailing list<br/> [email protected]<br/> <a href="https://mailman.stanford.edu/mailman/listinfo/protege-user" target="_blank">https://mailman.stanford.edu/mailman/listinfo/protege-user</a></div> </div> </blockquote> </div> <br/> _______________________________________________ protege-user mailing list [email protected] <a href="https://mailman.stanford.edu/mailman/listinfo/protege-user" target="_blank">https://mailman.stanford.edu/mailman/listinfo/protege-user</a></div> </div> </div> </div> </div></div></body></html> --===============1546521770442182010== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ protege-user mailing list [email protected] https://mailman.stanford.edu/mailman/listinfo/protege-user --===============1546521770442182010==--