[Pellet-users] Pellet does not terminate

[Tobias Kuhn]

Hi,

I encountered the problem that Pellet does not terminate for this very small ontology:

   http://www.ifi.uzh.ch/cl/tkuhn/superman.owl

The content of this ontology can be verbalized as follows:

   Superman knows everything.
   Superman knows exactly 7 continents.
   Superman knows exactly 8 planets.

Pellet (1.5.1) does not terminate when trying to process this file via the command-line interface:

   bash pellet.sh -if superman.owl

Any idea what's going wrong?


Tobias