Fixed marking original individuals in the relevant upper store.

1 files changed, 7 insertions, 1 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java b/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java
index 7f02741..5878a57 100644
--- a/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java
+++ b/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java
@@ -2,6 +2,7 @@ package uk.ac.ox.cs.pagoda.query;
 
 import com.google.gson.*;
 import com.google.gson.reflect.TypeToken;
+import org.apache.commons.lang.WordUtils;
 import org.semanticweb.HermiT.model.*;
 import org.semanticweb.owlapi.model.*;
 import uk.ac.ox.cs.pagoda.hermit.DLClauseHelper;
@@ -713,7 +714,12 @@ public class QueryRecord extends Disposable {
         FRAGMENT_REFINEMENT,
         SUMMARISATION,
         DEPENDENCY,
-        FULL_REASONING
+        FULL_REASONING;
+
+        @Override
+        public String toString() {
+            return WordUtils.capitalizeFully(super.toString(), new char[]{'_'}).replace("_", "");
+        }
     }
 
     /**