Add SSSOM/T filters for date-typed slots.

Add two new atomic filters for SSSOM/T to filter on the two date-typed
slots (`mapping_date` and `publication_date`). They behave like the
filters acting on numeric slots, in that:

* they expect an unquoted value;
* they accept '~' to represent an absence of value;
* they accept the inequality operators.

Author: gouttegd

ext/src/main/antlr4/org/incenp/obofoundry/sssom/transform/parser/SSSOMTransform.g4

@@ -19,6 +19,7 @@ filterItem: idFilterItem
           | textFilterItem
           | multiTextFilterItem
           | numFilterItem
+          | dateFilterItem
           | cardFilterItem
           | predicateModifierFilterItem
           | entityTypeFilterItem
@@ -38,6 +39,9 @@ multiTextFilterItem         : mulTxField '==' string;
 numFilterItem               : numField numOp DOUBLE
                             | numField '==' EMPTY;
 
+dateFilterItem              : dateField numOp DATE
+                            | dateField '==' EMPTY;
+
 cardFilterItem              : cardField '==' CARDVALUE
                             | cardField '==' EMPTY;
 
@@ -115,6 +119,10 @@ numField  : 'confidence'
           | 'similarity_score'
           ;
 
+dateField : 'mapping_date'
+          | 'publication_date'
+          ;
+
 numOp     : '==' | '>' | '<' | '>=' | '<=';
 
 binaryOp  : '&&'
@@ -155,6 +163,8 @@ SQ_STRING : '\'' (SQ_ESCAPE|.)*? '\'';
 
 DQ_STRING : '"' (DQ_ESCAPE|.)*? '"';
 
+DATE      : [0-9][0-9][0-9][0-9] '-' [0-1][0-9] '-' [0-3][0-9];
+
 TAG       : [a-zA-Z0-9-]+;
 
 CARDVALUE : '1:1' | '1:n' | 'n:1' | '1:0' | '0:1' | 'n:n' | '*:n' | '*:1' | 'n:*' | '1:*';

ext/src/main/java/org/incenp/obofoundry/sssom/transform/SSSOMTransformReader.java

@@ -22,6 +22,9 @@
 import java.io.IOException;
 import java.io.InputStream;
 import java.io.Reader;
+import java.time.LocalDate;
+import java.time.format.DateTimeFormatter;
+import java.time.format.DateTimeParseException;
 import java.util.ArrayDeque;
 import java.util.ArrayList;
 import java.util.Deque;
@@ -923,6 +926,72 @@ public IMappingFilter visitNumFilterItem(SSSOMTransformParser.NumFilterItemConte
         return addFilter(new NamedFilter(asText, filter));
     }
 
+    private LocalDate parseDate(String text) {
+        LocalDate value = null;
+        try {
+            value = LocalDate.parse(text, DateTimeFormatter.ISO_DATE);
+        } catch ( DateTimeParseException e ) {
+            errors.add(new SSSOMTransformError(String.format("Invalid date: %s", text)));
+        }
+        return value;
+    }
+
+    @Override
+    public IMappingFilter visitDateFilterItem(SSSOMTransformParser.DateFilterItemContext ctx) {
+        String fieldName = ctx.dateField().getText();
+        String asText;
+
+        Function<LocalDate, Boolean> testValue;
+
+        if ( ctx.EMPTY() != null ) {
+            asText = String.format("%s==|", fieldName);
+            testValue = (v) -> v == null;
+        } else {
+            String operator = ctx.numOp().getText();
+            LocalDate value = parseDate(ctx.DATE().getText());
+            if ( value == null ) {
+                return null;
+            }
+            asText = String.format("%s%s%s", fieldName, operator, value.toString());
+
+            switch ( operator ) {
+            case "==":
+            default:
+                testValue = (v) -> v != null && v.isEqual(value);
+                break;
+
+            case ">":
+                testValue = (v) -> v != null && v.isAfter(value);
+                break;
+
+            case ">=":
+                testValue = (v) -> v != null && (v.isEqual(value) || v.isAfter(value));
+                break;
+
+            case "<":
+                testValue = (v) -> v != null && v.isBefore(value);
+                break;
+
+            case "<=":
+                testValue = (v) -> v != null && (v.isEqual(value) || v.isBefore(value));
+                break;
+            }
+        }
+
+        IMappingFilter filter = null;
+        switch ( fieldName ) {
+        case "mapping_date":
+            filter = (mapping) -> testValue.apply(mapping.getMappingDate());
+            break;
+
+        case "publication_date":
+            filter = (mapping) -> testValue.apply(mapping.getPublicationDate());
+            break;
+        }
+
+        return addFilter(new NamedFilter(asText, filter));
+    }
+
     @Override
     public IMappingFilter visitCardFilterItem(SSSOMTransformParser.CardFilterItemContext ctx) {
         String value = ctx.CARDVALUE() != null ? ctx.CARDVALUE().getText() : ctx.EMPTY().getText();

ext/src/site/apt/sssom-transform.apt

@@ -252,20 +252,28 @@ creator==ORCID:*
   least one ORCID identifier. A mapping with no creator IDs or with only
   creator IDs of another type than ORCIDs will not match.
 
-*** 3.1.4. Filters on numeric slots
+*** 3.1.4. Filters on numeric and date slots
 
   For the two filters that act on numeric slots (<<<confidence>>> and
-  <<<similarity_score>>>), in addition to the equality operator
-  (<<<==>>>), it is possible to use one of the following inequality
-  operators: <<<\>>>>, <<<\>>>>=, <<<\<>>>, and <<<\<=>>>. They have the
-  traditional meaning you could expect. For example:
+  <<<similarity_score>>>) and the two filters that act on date slots
+  (<<<mapping_date>>> and <<<publication_date>>>) in addition to the
+  equality operator (<<<==>>>), it is possible to use one of the
+  following inequality operators: <<<\>>>>, <<<\>>>>=, <<<\<>>>, and
+  <<<\<=>>>. They have the traditional meaning you could expect. For
+  example:
 
 +-----------------------------------------------------------------------
 confidence>=0.8
 +-----------------------------------------------------------------------
 
   will match any mapping with a confidence value higher than or equal to
-  0.8.
+  0.8, and:
+  
++-----------------------------------------------------------------------
+publication_date>2025-02-01
++-----------------------------------------------------------------------
+
+  will match any mapping published after the 1st of February, 2025.
 
 *** 3.1.5. Filtering on mapping predicate
 
@@ -335,8 +343,8 @@ mapping_tool==""
 author==~
 +-----------------------------------------------------------------------
 
-  That syntax is also accepted by the filters on numeric slots and on
-  <<<mapping_cardinality>>>.
+  That syntax is also accepted by the filters on numeric slots, date
+  slots, and on <<<mapping_cardinality>>>.
 
 *** 3.1.8. Function filters
 

ext/src/test/java/org/incenp/obofoundry/sssom/transform/SSSOMTransformReaderTest.java

@@ -19,6 +19,7 @@
 package org.incenp.obofoundry.sssom.transform;
 
 import java.io.IOException;
+import java.time.LocalDate;
 import java.util.ArrayList;
 import java.util.List;
 import java.util.Map;
@@ -347,6 +348,28 @@ void testNumericFilter() {
         checkFilter("!confidence==~ -> action();\n", none, false);
     }
 
+    /*
+     * Test that a mapping is correctly selected by a filter on a date slot.
+     */
+    @Test
+    void testDateFilter() {
+        Mapping feb1 = Mapping.builder().mappingDate(LocalDate.of(2025, 2, 1)).build();
+
+        checkFilter("mapping_date==2025-02-01 -> action();\n", feb1, true);
+        checkFilter("publication_date==2025-02-01 -> action();\n", feb1, false);
+        checkFilter("publication_date==~ -> action();\n", feb1, true);
+
+        checkFilter("mapping_date==2025-02-02 -> action();\n", feb1, false);
+        checkFilter("mapping_date>2025-01-31 -> action();\n", feb1, true);
+        checkFilter("mapping_date>=2025-02-01 -> action();\n", feb1, true);
+        checkFilter("mapping_date<2025-02-01 -> action();\n", feb1, false);
+        checkFilter("mapping_date<=2025-02-01 -> action();\n", feb1, true);
+
+        // Test some invalid dates
+        parseRule("mapping_date==2025-02-49 -> action();", null);
+        parseRule("mapping_date==2025-02-39 -> action();", null);
+    }
+
     /*
      * Test that a mapping is correctly selected by a filter on the
      * mapping_cardinality slot.