[Pellet-users] Java Heap Space exception while taxonomy reasoning

[Nils Masuch]

Hi,

I'm using OWL API and Pellet 1.5.2 and I have the following problem: I
want to use pellet for taxonomy matching and therefore I load a couple
of ontologies into pellet. This works fine so far. But whenever I want
to reason on it by using the isEquivalentClass() method I get a Java
heap space exception:

Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
   at org.mindswap.pellet.Individual.addType(Individual.java:255)
   at
org.mindswap.pellet.CompletionStrategy.addType(CompletionStrategy.java:252)
   at
org.mindswap.pellet.CompletionStrategy.applyUniversalRestrictions(CompletionStrategy.java:235)
   at
org.mindswap.pellet.CompletionStrategy.createFreshIndividual(CompletionStrategy.java:215)
   at
org.mindswap.pellet.CompletionStrategy.applySomeValuesRule(CompletionStrategy.java:1204)
   at
org.mindswap.pellet.CompletionStrategy.applySomeValuesRule(CompletionStrategy.java:1028)
   at
org.mindswap.pellet.CompletionStrategy.applySomeValuesRule(CompletionStrategy.java:988)
   at org.mindswap.pellet.SROIQStrategy.complete(SROIQStrategy.java:260)
   at org.mindswap.pellet.ABox.isConsistent(ABox.java:1615)
   at org.mindswap.pellet.ABox.isConsistent(ABox.java:1499)
   at
org.mindswap.pellet.KnowledgeBase.consistency(KnowledgeBase.java:1568)
   at
org.mindswap.pellet.KnowledgeBase.isConsistent(KnowledgeBase.java:1589)
   at
org.mindswap.pellet.KnowledgeBase.ensureConsistency(KnowledgeBase.java:1595)
   at
org.mindswap.pellet.KnowledgeBase.isEquivalentClass(KnowledgeBase.java:2196)
   at
org.mindswap.pellet.owlapi.Reasoner.isEquivalentClass(Reasoner.java:1055)
   at
de.dailab.jiactng.servicematcher.ServiceMatcher.exactMatch(ServiceMatcher.java:748)
   at
de.dailab.jiactng.servicematcher.ServiceMatcher.compareParams(ServiceMatcher.java:623)
   at
de.dailab.jiactng.servicematcher.ServiceMatcher.compareReqAdvContest(ServiceMatcher.java:504)
   at
de.dailab.jiactng.servicematcher.ServiceMatcher.query(ServiceMatcher.java:1054)
   at
de.dailab.jiactng.servicematcher.ServiceMatcher.main(ServiceMatcher.java:92)

What makes me wonder is that the total number of loaded ontologies into
pellet is about 10, which shouldn't be too much...
In fact I've been using the taxonomy reasoning quite for a while but
with only 2 or 3 ontologies loaded and that was always fine.

I'm very thankful for any help or hint,

best regards

Nils