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

• A、校验IFC文件的几何模型是否正确表达
• B、校验IFC文件的大小是否符合要求
• C、校验扩展的实体属性是否存在
• D、校验属性值是否符合要求
• E、校验文件中扩展的IFC实体是否存在