通过扩展得到的IFC的模型文件是否为有效的IFC文件，需要通过校验来判断，校验内容主要包括（　）

[多选]

通过扩展得到的IFC的模型文件是否为有效的IFC文件，需要通过校验来判断，校验内容主要包括（　）

• A、校验IFC文件的几何模型是否正确表达

• B、校验IFC文件的大小是否符合要求

• C、校验扩展的实体属性是否存在

• D、校验属性值是否符合要求

• E、校验文件中扩展的IFC实体是否存在