Re: ConcurrentModificationException null error on protege-discussion Digest, Vol 82, Issue 13

Hi,

I just selected a reasoner (e.g., Pellet) and clicked "start reasoner" 
in the "Reasoner" menu. Both Hermit and Pellet reported inconsistencies. 
It's pretty obvious.

Of the 2 exceptions in your stack trace, one is related to log4j, which 
is not fatal, and another one came about when Protege is expanding your 
tree. Perhaps you can work around the exception by configuring your 
Protege 4 to have 1 as the "Auto-expansion depth limit" (in the Tree 
Preferences tab of File/Preferences... menu item).

With best regards,
Samson


On 5/28/2013 9:32 AM, André Luiz Tietböhl Ramos wrote:
>> BTW, your ontology loads fine in Protege 4.2, but is inconsistent. The
>> reasoner says:
>>
>> Reason for inconsistency: Antisymmetric property isDimensionDefinedBy
>
> Really?  How come and how have found that out, please?  I infer the 
> ontology under v4.2b and nothing shows up under the Nothing class.  Is 
> there something else that I'm missing?  I did not use Protégé's latest 
> version because I'm not sure of how compatible two plugins I need 
> openSTEP and bean generator (JADE agent architecture) are.

-- 
Samson Tu                                   email: [email protected]
Senior Research Scientist                   web: www.stanford.edu/~swt/
Center for Biomedical Informatics Research  phone: 1-650-725-3391
Stanford University                         fax: 1-650-725-7944

_______________________________________________
protege-discussion mailing list
[email protected]
https://mailman.stanford.edu/mailman/listinfo/protege-discussion

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03