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] Strange reasoner notification when restarted after assertion is removed

Matthew Horridge matthew.horridge at stanford.edu
Fri Nov 1 17:45:02 PDT 2013


Issue filed at

https://github.com/protegeproject/protege/issues/14

On 31 Oct 2013, at 01:42, Matthew Horridge <matthew.horridge at stanford.edu> wrote:

> Hi Grant,
> 
> I've also noticed this and observed exactly the same behaviour as you.  It's not clear to me whether it's a HermiT issue or a Protege issue.  I'll file a bug report.
> 
> Cheers,
> 
> Matthew
> 
> 
> 
> On 10 Oct 2013, at 05:22, Grant Pax <grant at fwep.twostewards.com> wrote:
> 
>> Message: "Initializing property instance data structures"
>> 
>> The process appears to complete (by the state of the status bar) yet the window stays up with only a cancel button. Press the cancel button, I get:
>> 
>> "Cancelled. Waiting for reasoner to terminate..."
>> 
>> This window has a greyed-out cancel button. The window itself just sits there. I have to close the window with the OS-provided close window facility (click on upper left red button on Mac). The window departs and Protege says the reasoner is active and everything seems normal. Is it?
>> 
>> Do I have something configured incorrectly? Should I just be happy with what I've got?
>> _______________________________________________
>> p4-feedback mailing list
>> 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



More information about the p4-feedback mailing list