Parsa, Michel; Without seeing the ontology, the best I can offer is to remove some constructs to identify the problem. It appears you can rule out some of the consistency checking constructs as they seem to be OK.
Some other thoughts: - Make sure the ontology is DL-compliant (inference > Validate OWL Species) - What size is the ontology? - What architecture is being used (all local ontologies, use of data back-ends, etc.) The issue in the end may be that Pellet just gets hung. This can happen on the simplest of ontologies, particularly if the ontology is not DL-compliant. -- Scott On Feb 26, 6:21 am, Michel Bohms <[email protected]> wrote: > 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 -~----------~----~----~----~------~----~------~--~---
