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.