参考答案：A, C, D, E

解析：

扩展后IFC文件的验证通过扩展得到的IFC的模型文件是否为有效的IFC文件，需要通过校验来判断。

校验主要包括4个方面的内容：

检验IFC文件的几何模型是否正确表达；

检验文件中扩展的IFC实体是否存在；

检验扩展的实体属性是否存在；

检验属性值是否符合要求。