Updated comments

Author: Chipo Hamayobe

src/main/java/uct/cs/klm/algorithms/services/EvaluationService.java

@@ -7,9 +7,15 @@
 import java.io.IOException;
 import java.io.InputStream;
 import java.util.AbstractMap.SimpleEntry;
-import java.util.List;
-import uct.cs.klm.algorithms.enums.ReasonerType;
 
+
+/**
+ * This interface represents a evaluation service for a given query.
+ * 
+ * @author Chipo Hamayobe (chipo@cs.uct.ac.za)
+ * @version 1.0.1
+ * @since 2024-01-01
+ */
 public interface EvaluationService {
     EvaluationModel evaluate(EvaluationQuery query);
     SimpleEntry<String, String> exportEvaluation(EvaluationModel model) throws JsonProcessingException;

src/main/java/uct/cs/klm/algorithms/services/EvaluationServiceImpl.java

@@ -5,7 +5,6 @@
 import com.fasterxml.jackson.databind.ObjectWriter;
 import io.javalin.json.JavalinJackson;
 import org.tweetyproject.logics.pl.syntax.PlFormula;
-import uct.cs.klm.algorithms.benchmarks.JmhRunner;
 import uct.cs.klm.algorithms.enums.Algorithm;
 import uct.cs.klm.algorithms.enums.InferenceOperator;
 import uct.cs.klm.algorithms.enums.ReasonerType;

src/main/web/src/components/main-tabs/common/explanations.tsx

@@ -224,13 +224,14 @@ function RelevancePartitionCheck({
       </p>
 
       <ul className="list-disc list-inside">
-        <li>The <strong>relevant</strong> set of statements, <Formula formula="\mathcal{R}^{+}" />, are shown below, grouped by rank:</li>
-        {type == EntailmentType.BasicRelevantClosure ? (
+      {type == EntailmentType.BasicRelevantClosure ? (
           <li> This is the union of statements in all justification sets above, minus those assigned to <Formula formula="\mathcal{R}_{\infty}" />.</li>
         ) : (
 
           <li> For each justification set above, we pick only the statements in the lowest rank, minus those assigned to <Formula formula="\mathcal{R}_{\infty}" />. <Formula formula="\mathcal{R}^{+}" /> is the union of these statements.</li>
         )}
+        <li>The <strong>relevant</strong> set of statements, <Formula formula="\mathcal{R}^{+}" />, are shown below, grouped by rank:</li>
+       
       </ul>
       <RankingTableWithout
         ranking={relevantRanking}