[protege-discussion] The Pellet reasoner regularly blows up 'running out of memory'

[Timothy Redmond]

This is indeed very strange.  Classifying pizza has always been a  
triviality.  First sending the full exception might help.  It would in  
particular tell us if Tracy Safran is on the right track.  The first  
line of console output from Protege might also help.  It looks  
something like this:

Protege 3.4.2 Build 541, JVM 1.5.0_19-b02-304, memory=518M, Mac OS X,  
encoding=UTF-8, language=en, country=US

Also send the pizza.

I am somewhat surprised though.

-Timothy


On Sep 2, 2009, at 1:04 PM, Terry Griffin wrote:

>
>
> I have a small Pizza ontology (from the tutorial), we're using  
> Protege 3.4.1 (build 537) with Pellet 1.5.2 (direct). I have the  
> Java VM configured with 1.5Gb of memory. I have a very small number  
> of individuals.
>
>  Doing a "check consistency" takes a really long time and eventually  
> generates an "OutOfMemoryException" from Java.
>
> Anyone have any suggestions, ideas, comments?
> Thanks
>
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03