<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">Le 12/11/2013 17:46, Matthew Horridge a
      écrit :<br>
    </div>
    <blockquote
      cite="mid:A150795A-0FC1-4615-BA82-C4D5B6E6FFD6@stanford.edu"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html;
        charset=ISO-8859-1">
      Hi Philippe,
      <div><br>
      </div>
      <div>Ah, sorry, I thought that you were on the classes tab.  <br>
      </div>
    </blockquote>
     I was effectively on the classes tab and it did'nt show the
    inferred members, and it did not work until I use the DL query tab.<br>
    <br>
    <blockquote
      cite="mid:A150795A-0FC1-4615-BA82-C4D5B6E6FFD6@stanford.edu"
      type="cite">
      <div>On the individuals tab I think that only the *direct*
        inferred types are shown.  Thus, if you have C1 SubClassOf C2
        and x Type C1, only C1 will be shown and not C2.  We could
        consider providing a switch to show all inferred named types.
         I’ll add an item to our issue tracker.</div>
      <div><br>
      </div>
      <div>Cheers,</div>
      <div><br>
      </div>
      <div>Matthew</div>
      <div><br>
      </div>
      <div><br>
        <div>
          <div>On 12 Nov 2013, at 08:36, Philippe Genoud <<a
              moz-do-not-send="true"
              href="mailto:Philippe.Genoud@imag.fr">Philippe.Genoud@imag.fr</a>>
            wrote:</div>
          <br class="Apple-interchange-newline">
          <blockquote type="cite">
            <meta http-equiv="content-type" content="text/html;
              charset=ISO-8859-1">
            <div text="#000000" bgcolor="#FFFFFF"> <br>
              <div class="moz-forward-container"><br>
                <br>
                -------- Message original --------
                <table class="moz-email-headers-table" cellpadding="0"
                  cellspacing="0" border="0">
                  <tbody>
                    <tr>
                      <th valign="BASELINE" align="RIGHT"
                        nowrap="nowrap">Sujet: </th>
                      <td>Re: Fwd: [p4-feedback] problem with inferring
                        classes of individuals</td>
                    </tr>
                    <tr>
                      <th valign="BASELINE" align="RIGHT"
                        nowrap="nowrap">Date : </th>
                      <td>Tue, 12 Nov 2013 17:11:09 +0100</td>
                    </tr>
                    <tr>
                      <th valign="BASELINE" align="RIGHT"
                        nowrap="nowrap">De : </th>
                      <td>Philippe Genoud <a moz-do-not-send="true"
                          class="moz-txt-link-rfc2396E"
                          href="mailto:Philippe.Genoud@imag.fr"><Philippe.Genoud@imag.fr></a></td>
                    </tr>
                    <tr>
                      <th valign="BASELINE" align="RIGHT"
                        nowrap="nowrap">Pour : </th>
                      <td><a moz-do-not-send="true"
                          class="moz-txt-link-abbreviated"
                          href="mailto:p4-feedback@lists.stanford.edu">p4-feedback@lists.stanford.edu</a></td>
                    </tr>
                  </tbody>
                </table>
                <br>
                <br>
                <meta content="text/html; charset=ISO-8859-1"
                  http-equiv="Content-Type">
                <div class="moz-cite-prefix">Le 12/11/2013 16:59,
                  Philippe Genoud a écrit :<br>
                </div>
                <blockquote
cite="mid:CAM1UiwenROK5JXa_+w8SuXox3Q_pXpX3gaLCrSzpHrT+2PiDsA@mail.gmail.com"
                  type="cite">
                  <div dir="ltr"><br>
                    <br>
                    <div class="gmail_quote">---------- Forwarded
                      message ----------<br>
                      From: <b class="gmail_sendername">Matthew
                        Horridge</b> <span dir="ltr"><<a
                          moz-do-not-send="true"
                          href="mailto:matthew.horridge@stanford.edu">matthew.horridge@stanford.edu</a>></span><br>
                      Date: 2013/11/11<br>
                      Subject: Re: [p4-feedback] problem with inferring
                      classes of individuals<br>
                      To: "Protege 4.x support and discussion" <<a
                        moz-do-not-send="true"
                        href="mailto:p4-feedback@lists.stanford.edu">p4-feedback@lists.stanford.edu</a>><br>
                      <br>
                      <br>
                      Hi Philippe,<br>
                      <br>
                      You might need to turn on inferences for
                      individuals.  In the preferences select the
                      “Reasoner” tab.  Look at the section “Displayed
                      Individual Inferences” and check the various boxes
                      an necessary.<br>
                      <br>
                      You can also use the DL query tab.  Type “c1” into
                      the query editor and make sure “Instances” is
                      selected on the right hand side.<br>
                      <br>
                      Cheers,<br>
                      <br>
                      Matthew<br>
                      <div>
                        <div class="h5"><br>
                        </div>
                      </div>
                    </div>
                  </div>
                </blockquote>
                Thank you for response Matthew. It helped me to partialy
                solve the problem.<br>
                Yous suggested me to look at the section “Displayed
                Individual Inferences” and to check the various boxes.<br>
                I've already done that and everything was checked.<br>
                So I tried to use the DL query as you suggested me, and
                then the inferred individuals where present in the
                classes tab (whe selecting c1 I could see i2 as an
                inferred member of the class).<br>
                <br>
                I tried again today form an empty ontology and I've got
                the same problem. As long as I haven't used the DL query
                tab, I can't see inferred members of classes in the
                class tab.<br>
                If this problem seems to "fixed" after using the DL
                query tab, there is still some trouble with the
                individuals tab. After running the reasoner only the
                asserted type of the indidivual appears.<br>
                The inferred types (the superclasses of its class do not
                appear).<br>
                <br>
                Is there a place where I can post a detailed bug report
                ?<br>
                <br>
                Philippe<br>
                <br>
                <blockquote
cite="mid:CAM1UiwenROK5JXa_+w8SuXox3Q_pXpX3gaLCrSzpHrT+2PiDsA@mail.gmail.com"
                  type="cite">
                  <div dir="ltr">
                    <div class="gmail_quote">
                      <div>
                        <div class="h5"> <br>
                          On 11 Nov 2013, at 02:25, Philippe Genoud <<a
                            moz-do-not-send="true"
                            href="mailto:philippe.genoud@gmail.com">philippe.genoud@gmail.com</a>>


                          wrote:<br>
                          <br>
                          > I'm using Protege 4.3 and do the
                          following :<br>
                          > - create a newe empty ontology<br>
                          > - create a class c1<br>
                          > - create c2 a subclass of c1<br>
                          > - create an individual i2 member of c2.<br>
                          > - start the  reasoner (Hermit)<br>
                          ><br>
                          > and when I look for inferred members of
                          c1 I expected to see i2 but this list is
                          emtpy.<br>
                          > It's the same if I look at the types of
                          i1, Protégé does not displays the fact that<br>
                          > i2 is a c1 whereas is asserted c2 to be a
                          subclass of c1.<br>
                          ><br>
                          > Why ? any explanation ?<br>
                          ><br>
                          > Thanks<br>
                          ><br>
                          > Philippe<br>
                        </div>
                      </div>
                      >
                      _______________________________________________<br>
                      > p4-feedback mailing list<br>
                      > <a moz-do-not-send="true"
                        href="mailto:p4-feedback@lists.stanford.edu">p4-feedback@lists.stanford.edu</a><br>
                      > <a moz-do-not-send="true"
                        href="https://mailman.stanford.edu/mailman/listinfo/p4-feedback"
                        target="_blank">https://mailman.stanford.edu/mailman/listinfo/p4-feedback</a><br>
                      <br>
                      _______________________________________________<br>
                      p4-feedback mailing list<br>
                      <a moz-do-not-send="true"
                        href="mailto:p4-feedback@lists.stanford.edu">p4-feedback@lists.stanford.edu</a><br>
                      <a moz-do-not-send="true"
                        href="https://mailman.stanford.edu/mailman/listinfo/p4-feedback"
                        target="_blank">https://mailman.stanford.edu/mailman/listinfo/p4-feedback</a><br>
                    </div>
                    <br>
                  </div>
                </blockquote>
                <br>
                <br>
                <pre class="moz-signature" cols="72">-- 
Philippe Genoud
Universite Joseph Fourier
LIG (Laboratoire d'Informatique de Grenoble)
STEAMER group
681 rue de la passerelle
BP 72
38402 St MARTIN D'HERES CEDEX (FRANCE)
tel: (+33) (0)4 76 82 72 81
fax: (+33) (0)4 76 82 72 87
</pre>
                <br>
                <pre class="moz-signature" cols="72">-- 
Philippe Genoud
Universite Joseph Fourier
LIG (Laboratoire d'Informatique de Grenoble)
STEAMER group
681 rue de la passerelle
BP 72
38402 St MARTIN D'HERES CEDEX (FRANCE)
tel: (+33) (0)4 76 82 72 81
fax: (+33) (0)4 76 82 72 87
</pre>
                <br>
              </div>
              <br>
            </div>
            _______________________________________________<br>
            p4-feedback mailing list<br>
            <a moz-do-not-send="true"
              href="mailto:p4-feedback@lists.stanford.edu">p4-feedback@lists.stanford.edu</a><br>
            <a class="moz-txt-link-freetext" href="https://mailman.stanford.edu/mailman/listinfo/p4-feedback">https://mailman.stanford.edu/mailman/listinfo/p4-feedback</a><br>
          </blockquote>
        </div>
        <br>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
p4-feedback mailing list
<a class="moz-txt-link-abbreviated" href="mailto:p4-feedback@lists.stanford.edu">p4-feedback@lists.stanford.edu</a>
<a class="moz-txt-link-freetext" href="https://mailman.stanford.edu/mailman/listinfo/p4-feedback">https://mailman.stanford.edu/mailman/listinfo/p4-feedback</a>
</pre>
    </blockquote>
    <br>
    <br>
    <pre class="moz-signature" cols="72">-- 
Philippe Genoud
Universite Joseph Fourier
LIG (Laboratoire d'Informatique de Grenoble)
STEAMER group
681 rue de la passerelle
BP 72
38402 St MARTIN D'HERES CEDEX (FRANCE)
tel: (+33) (0)4 76 82 72 81
fax: (+33) (0)4 76 82 72 87
</pre>
  </body>
</html>