Re: [protege-user] DL query bug ?
Jean-Louis Janin <[email protected]> Sat, 22 Nov 2025 09:32:00 +0100
| Newsgroups | gmane.comp.misc.ontology.protege.owl |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format. --===============2193521922317118093== Content-Type: multipart/alternative; boundary="------------crqDa56ZEuKGbIvTL9dZpU0l" Content-Language: fr This is a multi-part message in MIME format. --------------crqDa56ZEuKGbIvTL9dZpU0l Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Hello, I use the reasoner HermiT 1.4.3.456, Best regards, Jean-Louis Janin Le 22/11/2025 à 00:51, Samson Tu a écrit : > Also, which reasoner did you run before making the query? Some > reasoners (e.g., Elk) do not handle disjunctions. That could be the > source of your problem. > > /Best regards,/ > > /Samson/ > > >> On Nov 21, 2025, at 3:42 PM, Samson Tu <[email protected]> wrote: >> >> Hi, >> >> Can you send me your ontology privately so that I can take a look? >> It’s impossible to diagnose the problem with the information provided >> in the message. >> >> The DL Query tab has been working well for years. >> >> /Best regards,/ >> /Samson/ >> >>> On Nov 20, 2025, at 7:52 AM, Jean-Louis Janin >>> <[email protected]> wrote: >>> >>> Hello, >>> >>> 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). >>> >>> Why ? Is it a question of "live" memory ? >>> >>> I attach the beginning of the report (see DL_3) >>> >>> Yours, >>> >>> Jean-Louis Janin >>> <DL_query_1.png><DL_query_2.png><DL_query_3.png><DL_query_4.png>_______________________________________________ >>> protege-user mailing list >>> [email protected] >>> https://mailman.stanford.edu/mailman/listinfo/protege-user >> > --------------crqDa56ZEuKGbIvTL9dZpU0l Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit <!DOCTYPE html> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body> <p>Hello,</p> <p>I use the reasoner HermiT 1.4.3.456,</p> <p>Best regards,</p> <p>Jean-Louis Janin</p> <div class="moz-cite-prefix">Le 22/11/2025 à 00:51, Samson Tu a écrit :<br> </div> <blockquote type="cite" cite="mid:[email protected]"> Also, which reasoner did you run before making the query? Some reasoners (e.g., Elk) do not handle disjunctions. That could be the source of your problem. <div><br> </div> <div> <p> <i>Best regards,</i></p> <p> <i>Samson</i></p> <div><br> <blockquote type="cite"> <div>On Nov 21, 2025, at 3:42 PM, Samson Tu <a class="moz-txt-link-rfc2396E" href="mailto:[email protected]"><[email protected]></a> wrote:</div> <br class="Apple-interchange-newline"> <div> <div> Hi, <div><br> </div> <div>Can you send me your ontology privately so that I can take a look? It’s impossible to diagnose the problem with the information provided in the message.</div> <div><br> </div> <div>The DL Query tab has been working well for years. </div> <div><br> </div> <div> <div> <i>Best regards,</i></div> <div> <i>Samson</i></div> <div><br> <blockquote type="cite"> <div>On Nov 20, 2025, at 7:52 AM, Jean-Louis Janin <a class="moz-txt-link-rfc2396E" href="mailto:[email protected]"><[email protected]></a> wrote:</div> <br class="Apple-interchange-newline"> <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:2968E04B-0A00-4C19-9B7C-5B758A745BFA"><DL_query_1.png></span><span id="cid:8234AFBC-3AA0-46D2-AB7B-E0226671D82F"><DL_query_2.png></span><span id="cid:55AEDAFD-6795-4321-9A82-FF7D1A440131"><DL_query_3.png></span><span id="cid:AB75ECC9-11B6-401D-9497-05D3CC5ACD23"><DL_query_4.png></span>_______________________________________________<br> protege-user mailing list<br> <a class="moz-txt-link-abbreviated" href="mailto:[email protected]">[email protected]</a><br> <a class="moz-txt-link-freetext" href="https://mailman.stanford.edu/mailman/listinfo/protege-user">https://mailman.stanford.edu/mailman/listinfo/protege-user</a><br> </div> </div> </blockquote> </div> <br> </div> </div> </div> </blockquote> </div> <br> </div> </blockquote> </body> </html> --------------crqDa56ZEuKGbIvTL9dZpU0l-- --===============2193521922317118093== 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 --===============2193521922317118093==--