no silution, just to confirm I experience exactly the same problem, Michel Bohms
On Feb 26, 4:53 am, Parsa Mirhaji <[email protected]> wrote: > I am trying to run Pellet based reasoning using TBC 3.0Beta. Although I have > the same problem on earlier versions of topbraid too. The reasoner goes > through some steps (classifying, realization) however stalls after that: > > [cid:3318443584_720866] > > When I run reasoning for consistency checking, or superclass reasoning it > works without problems and does not report a consistency problem or any > warning or errors. > Other reasoners run properly, however I want the Explanation feature which > is only available if we use Pellet... Error Logs and Problem view is clean > and without entries too. Any suggestions on how I can trouble shoot this? > Thanks > > Parsa > > image.png > 29KViewDownload --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
