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 --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
<<inline: image.png>>
