Selecting MinSum and MinMax as Sort Criterion causes UnsupportedOperationException

Selecting MinSum and MinMax as SortCriterion in Stage 2 of Query Computation always causes an UnsupportedOperationException.

This occurs because the method updateAxiomProbabilities() returns an unmodifiable map. In consequence the method getFormulaCosts() tries to add new entries into this unmodifiable map for new axioms from the background knowledge.

This bug is a consequence of code changes done to resolve Issue #83 (closed)

Resolution

Do not use unmodifiable map but just allow modifications.