Ensure timestamp checks are consistent

[elichad]

We have checks that apply to startTime, endTime, and maybe other datetime properties. We should make sure they follow a consistent pattern for the timestamps.

Sparked by discussion on #40:

Do we need to worry about milliseconds / fractional seconds? Just wondering as auto-generated metadata / libraries may output this and therefore this will fail. Not sure its specified in RFC 3339

Secondly, offsets without colons will fail. e.g from Wikipedia: "...Cairo will be "+02:00","+0200", or "+02"."

Originally posted by @alexhambley in #40 (comment)

I think we should add the fractional seconds (with ',' or '.' as the delimiter).

I think we should retain ':' delimiter in the timezones, I don't know if we should allow only HH though - I couldn't see easily if this was allowed in the strict definition.

Maybe we need an example in our error messages of the format we accept?

Originally posted by @douglowe in #40 (comment)

[elichad]

We could create a reusable NodeShape that defines the pattern just once, and use sh:node in other shapes to reference it. See example

[douglowe]

I've prototyped some reusable NodeShapes - see the attached PR for these.

An issue I've encountered is that the report layout is changed by using a modular library. I've included an example of this below.

I've setup both the SignOff and the WorkflowExection tests to use the new EndTimeStamp object. The SignOff test also uses the new StartTimeStamp object, and WorkflowExection is also using the original end time test.

Our report has violation reports for the SignOff and the WorkflowExection stages, but these are rather generic. There is now also the violation reports for EndTimeStamp and StartTimeStamp. These contain the full error message, and the IDs of the objects where these occur, but are not nested within the relevant phase checks.

I have tried creating PropertyShape rather than NodeShape objects for these tests. However I get an iteration error (TypeError: argument of type 'NoneType' is not iterable). This is a python error which I think this is due to the way the validator iterates over the SHACL shapes, and I guess is related method by which we get the numbering which we have for the different tests. Without a major rework of the core validator code I don't think we can address this error.

So - the question here is - is this an acceptable way to present the validator results? Or do we think this is going to be too confusing for end users.

                                                                                                                        
  The following requirements have not meet:                                                                             
                                                                                                                        
                                                                                      [profile: Five Safes RO-Crate 0.4]
     [ five-safes-crate-0.4_13 ]: SignOff                                                                               
                                                                                                                        
      Sign Off phase                                                                                                    
                                                                                                                        
          Failed checks                                                                                                 
                                                                                                                        
       [ five-safes-crate-0.4_13.0 ] Check SignOff:                                                                     
                                      Sign Off phase                                                                    
         Detected issues                                                                                                
         -                                                                                                              
         [Violation"file://tests/data/crates/valid/five-safes-crate-result/#signoff-3b741265-cfef-49ea-8138-a2f         
         a149bf2f0"  on <./#signoff-3b741265-cfef-49ea-8138-a2fa149bf2f0>]: Value must conform to every Shape           
         in ('<https://github.com/eScienceLab/rocrate-validator/profiles/five-safes-crate/EndTimeStamp>',               
         '<https://github.com/eScienceLab/rocrate-validator/profiles/five-safes-crate/StartTimeStamp>'). See            
         details for more information.                                                                                  
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                      [profile: Five Safes RO-Crate 0.4]
     [ five-safes-crate-0.4_23 ]: EndTimeStamp                                                                          
                                                                                                                        
      Profile Requirement EndTimeStamp                                                                                  
                                                                                                                        
          Failed checks                                                                                                 
                                                                                                                        
       [ five-safes-crate-0.4_23.1 ] EndTimeStamp:                                                                      
                                      End Time Check                                                                    
         Detected issues                                                                                                
         - [Violation of http://schema.org/endTime="also dodgy"  on                                                     
         <./#signoff-3b741265-cfef-49ea-8138-a2fa149bf2f0>]: endTime property MUST follow ISO-8601 syntax. e.g.         
         2023-04-19T10:15:12+01:00                                                                                      
         - [Violation of http://schema.org/endTime="broken string"  on                                                  
         <./#query-37252371-c937-43bd-a0a7-3680b48c0538>]: endTime property MUST follow ISO-8601 syntax. e.g.           
         2023-04-19T10:15:12+01:00                                                                                      
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                      [profile: Five Safes RO-Crate 0.4]
     [ five-safes-crate-0.4_24 ]: StartTimeStamp                                                                        
                                                                                                                        
      Profile Requirement StartTimeStamp                                                                                
                                                                                                                        
          Failed checks                                                                                                 
                                                                                                                        
       [ five-safes-crate-0.4_24.1 ] StartTimeStamp:                                                                    
                                      Start Time Check                                                                  
         Detected issues                                                                                                
         - [Violation of http://schema.org/startTime="dodgy"  on                                                        
         <./#signoff-3b741265-cfef-49ea-8138-a2fa149bf2f0>]: startTime property MUST follow ISO-8601 syntax.            
         e.g. 2023-04-19T10:15:12+01:00                                                                                 
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                      [profile: Five Safes RO-Crate 0.4]
     [ five-safes-crate-0.4_3 ]: WorkflowExecution                                                                      
                                                                                                                        
      The endTime of the workflow execution object MUST follow the RFC 3339 standard                                    
      (YYYY-MM-DD'T'hh:mm:ss[.fraction](Z | ±hh:mm)).                                                                   
                                                                                                                        
          Failed checks                                                                                                 
                                                                                                                        
       [ five-safes-crate-0.4_3.0 ] Check WorkflowExecution:                                                            
                                     The endTime of the workflow execution object MUST follow the RFC 3339 standard     
                                     (YYYY-MM-DD'T'hh:mm:ss[.fraction](Z | ±hh:mm)).                                    
         Detected issues                                                                                                
         -                                                                                                              
         [Violation"file://tests/data/crates/valid/five-safes-crate-result/#query-37252371-c937-43bd-a0a7-3680b         
         48c0538"  on <./#query-37252371-c937-43bd-a0a7-3680b48c0538>]: Value does not conform to Shape                 
         <https://github.com/eScienceLab/rocrate-validator/profiles/five-safes-crate/EndTimeStamp>. See details         
         for more information.                                                                                          
       [ five-safes-crate-0.4_3.1 ] EndTime:                                                                            
                                     Check the property "EndTime" of the entity "WorkflowExecution"                     
         Detected issues                                                                                                
         - [Violation of http://schema.org/endTime="broken string"  on                                                  
         <./#query-37252371-c937-43bd-a0a7-3680b48c0538>]: The endTime of the workflow execution object MUST            
         follow the RFC 3339 standard (YYYY-MM-DD'T'hh:mm:ss[.fraction](Z | ±hh:mm)).