[Pellet-users] Pellet does not terminate

[Tobias Kuhn]

Hi,

As I just found out, it actually terminates but takes about 10 minutes. Sorry, I was not patient enough.

Why does it take so long?


Tobias



Tobias Kuhn wrote:
> 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