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] Fwd: Re: Fwd: problem with inferring classes of individuals

Philippe Genoud Philippe.Genoud at imag.fr
Tue Nov 12 09:25:19 PST 2013


Le 12/11/2013 17:46, Matthew Horridge a écrit :
> Hi Philippe,
>
> Ah, sorry, I thought that you were on the classes tab.
  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.

> 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.
>
> Cheers,
>
> Matthew
>
>
> On 12 Nov 2013, at 08:36, Philippe Genoud <Philippe.Genoud at imag.fr 
> <mailto:Philippe.Genoud at imag.fr>> wrote:
>
>>
>>
>>
>> -------- Message original --------
>> Sujet: 	Re: Fwd: [p4-feedback] problem with inferring classes of 
>> individuals
>> Date : 	Tue, 12 Nov 2013 17:11:09 +0100
>> De : 	Philippe Genoud <Philippe.Genoud at imag.fr>
>> Pour : 	p4-feedback at lists.stanford.edu
>>
>>
>>
>> Le 12/11/2013 16:59, Philippe Genoud a écrit :
>>>
>>>
>>> ---------- Forwarded message ----------
>>> From: *Matthew Horridge* <matthew.horridge at stanford.edu 
>>> <mailto:matthew.horridge at stanford.edu>>
>>> Date: 2013/11/11
>>> Subject: Re: [p4-feedback] problem with inferring classes of individuals
>>> To: "Protege 4.x support and discussion" 
>>> <p4-feedback at lists.stanford.edu <mailto:p4-feedback at lists.stanford.edu>>
>>>
>>>
>>> Hi Philippe,
>>>
>>> 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.
>>>
>>> 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.
>>>
>>> Cheers,
>>>
>>> Matthew
>>>
>> Thank you for response Matthew. It helped me to partialy solve the 
>> problem.
>> Yous suggested me to look at the section "Displayed Individual 
>> Inferences" and to check the various boxes.
>> I've already done that and everything was checked.
>> 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).
>>
>> 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.
>> 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.
>> The inferred types (the superclasses of its class do not appear).
>>
>> Is there a place where I can post a detailed bug report ?
>>
>> Philippe
>>
>>>
>>> On 11 Nov 2013, at 02:25, Philippe Genoud <philippe.genoud at gmail.com 
>>> <mailto:philippe.genoud at gmail.com>> wrote:
>>>
>>> > I'm using Protege 4.3 and do the following :
>>> > - create a newe empty ontology
>>> > - create a class c1
>>> > - create c2 a subclass of c1
>>> > - create an individual i2 member of c2.
>>> > - start the  reasoner (Hermit)
>>> >
>>> > and when I look for inferred members of c1 I expected to see i2 
>>> but this list is emtpy.
>>> > It's the same if I look at the types of i1, Protégé does not 
>>> displays the fact that
>>> > i2 is a c1 whereas is asserted c2 to be a subclass of c1.
>>> >
>>> > Why ? any explanation ?
>>> >
>>> > Thanks
>>> >
>>> > Philippe
>>> > _______________________________________________
>>> > p4-feedback mailing list
>>> > p4-feedback at lists.stanford.edu <mailto:p4-feedback at lists.stanford.edu>
>>> > https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>>> _______________________________________________
>>> p4-feedback mailing list
>>> p4-feedback at lists.stanford.edu <mailto:p4-feedback at lists.stanford.edu>
>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>>
>>
>> -- 
>> 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
>>
>> -- 
>> 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
>>
>>
>> _______________________________________________
>> p4-feedback mailing list
>> p4-feedback at lists.stanford.edu <mailto:p4-feedback at lists.stanford.edu>
>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
>
>
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback


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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20131112/418eab43/attachment-0001.html>


More information about the p4-feedback mailing list