8.5.2.3 IfcDateTime（日期时间）
8.5.2.3.1 语义定义（Semantic definition）
IfcDateTime 用于标识特定的时间点，通过年、日历月及月内日期表示日历日，并通过时、分及可选的秒表示该日历日内经过的时间。它采用遵循特定词法表示的字符串值进行表达。
IfcDateTime 的词法表示为 YYYY-MM-DDThh:mm:ss，其中 "YYYY" 表示年份，"MM" 表示月份，"DD" 表示日期，前面可带有可选的前导 "-" 符号以指示负年份。若省略符号，则默认为 "+"。字母 "T" 是日期/时间分隔符，"hh"、"mm"、"ss" 分别表示时、分、秒。如需提高小数秒精度，可使用附加数字（即支持 ss.ss... 格式，小数点后可为任意位数）。小数秒部分为可选项；词法形式的其他部分均为必选项。为容纳大于9999的年份值，可在该表示形式左侧添加额外数字。若年份值不足四位则需前导零；否则禁止使用前导零。禁止使用0000年。
8.5.2.3.2 形式化表示（Formal representation）
TYPE IfcDateTime = STRING;
END_TYPE;