What steps will reproduce the problem?

1. Try to load the attached CTM topic map into Omnigator. It contains the 
following:

  datetime - "datetime" .

  some-topic - "some topic" ;
    datetime: 2011-01-01T00:00:00.001Z
  .

2. You will receive an error message like: 

Could not load topic map: ctm-datetime-bug.ctm
java.io.IOException: Lexical error at 
file:/home/dan/ontopia-5.1.0/apache-tomcat/webapps/omnigator/WEB-INF/topicmaps/c
tm-datetime-bug.ctm:4:31: expecting EOF, found '001'The store registry has been 
updated in APPLICATION_SCOPE.


What is the expected output? What do you see instead?

I expected the date-time occurrence to be accepted but it wasn't. 
The CTM draft spec says date-times match: 

[36] date-time  → date 'T' [0-9] [0-9] ':' [0-9] [0-9] ':' [0-9] [0-9]  
('.'[0-9]+ )?   ( 'Z' | ('+' | '-') [0-9] [0-9] ':' [0-9] [0-9] )? 

but ctm.flex has this:

Date = 
"-"?{NonZero}*{Digit}{Digit}{Digit}{Digit}"-"{Digit}{Digit}"-"{Digit}{Digit}
DateTime = {Date} "T" {Digit}{Digit}":"{Digit}{Digit}":"{Digit}{Digit}

ctm.flex doesn't even allow the specification of a timezone.

Please use labels and text to provide additional information.