Add hasKey to assertion category for better layout

Author: linkvt

src/main/java/de/linkvt/ontobench/features/FeatureCategory.java

@@ -14,7 +14,6 @@ public enum FeatureCategory {
   DATATYPE_MAPS("Datatype Maps"),
   INDIVIDUALS("Individuals"),
   ASSERTIONS("Assertions"),
-  KEYS("Keys"),
   DECLARATIONS("Declarations"),
   ANNOTATIONS("OWL Annotations"),
   DC("DC & DC Terms Annotations", false),

src/main/java/de/linkvt/ontobench/features/keys/OwlHasKeyFeature.java

@@ -40,6 +40,6 @@ public String getToken() {
 
   @Override
   public FeatureCategory getCategory() {
-    return FeatureCategory.KEYS;
+    return FeatureCategory.ASSERTIONS;
   }
 }