<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>