1.地理信息系统与建筑信息模型的数据转换验证方法，其特征是，包括：构建地理信息系统本体与建筑信息模型本体在模式层的映射关系；

构建地理信息系统本体与建筑信息模型本体在模式层的映射关系，具体包括：根据地理信息系统本体以及建筑信息模型本体，通过本体对齐算法进行两个本体内的对象之间进行语义匹配；

采用本体对齐算法将两个本体内的每个对象通过向量格式来表示，然后计算对象之间的语义相似度来构成对应关系，其中对应关系包含一对多、多对一或多对多关系；

根据所述映射关系，将地理信息系统本体的实例文件，转换成工业基础类本体的实例文件；

获取工业基础类模式中实体和类型的定义域规则，将定义域规则中定义的约束条件，转换为形状约束语句；

获取工业基础类模式中实体和类型的定义域规则，将定义域规则中定义的约束条件，转换为形状约束语句，是指：根据工业基础类模式内实体和类型的定义域规则，将定义域规则中定义的约束转换为资源描述框架查询语句；

对于工业基础类模式内存在定义域规则的类型或实体，为类型或实体在工业基础类本体的实例文件中的对应类创建形状约束语句，并将资源描述框架查询语句添加到形状约束语句中；

根据工业基础类模式内实体和类型的定义域规则，将定义域规则中定义的约束转换为资源描述框架查询语句，具体包括：将工业基础类模式内实体或类型的定义域规则中的内部常数转换为查询语句；

将工业基础类模式内实体或类型的定义域规则中的操作符转换为查询语句；

将工业基础类模式内实体或类型的定义域规则中的内部函数转换为查询语句；

基于形状约束语句，对工业基础类本体的实例文件中的数据进行验证，验证工业基础类本体的实例文件中的数据，是否符合定义域规则中定义的约束条件；

对工业基础类本体的实例文件内不符合约束条件的数据进行修正；

将修正后的工业基础类本体的实例文件，转换为工业基础类文件，将工业基础类文件导入建筑信息模型软件。

2.如权利要求1所述的地理信息系统与建筑信息模型的数据转换验证方法，其特征是，根据所述映射关系，将地理信息系统本体的实例文件，转换成工业基础类本体的实例文件，具体包括：根据地理信息系统文件到资源描述框架的转换工具，将地理信息系统文件转换为资源描述框架；

根据所述映射关系，将地理信息系统本体的实例文件，转换为工业基础类本体的实例文件。

3.如权利要求1所述的地理信息系统与建筑信息模型的数据转换验证方法，其特征是，将工业基础类模式内实体或类型的定义域规则中的内部常数转换为查询语句，包括：将工业基础类模式的实体声明中定义域规则表达式中的内部常数转换为使用查询语句查询实体对应类的实例；

将工业基础类模式的类型声明中定义域规则表达式中的内部常数转换为使用查询语句中查询类型对应类的实例，并通过工业基础类本体文件中与实例链接的数据属性找到类型实际取值。

4.如权利要求1所述的地理信息系统与建筑信息模型的数据转换验证方法，其特征是，将工业基础类模式内实体或类型的定义域规则中的操作符转换为查询语句，包括：将算数操作符转换为查询语句；

将关系操作符转换为查询语句；关系操作符包括：值比较操作符、成员操作符、逻辑操作符和引用操作符。

5.如权利要求4所述的地理信息系统与建筑信息模型的数据转换验证方法，其特征是，将关系操作符转换为查询语句；关系操作符包括：值比较操作符、成员操作符、逻辑操作符和引用操作符，包括：将工业基础类模式内实体或类型的定义域规则中的值比较操作符，转换为查询语句；

将工业基础类模式内实体或类型的定义域规则中的成员操作符转换为查询语句；

将工业基础类模式内实体或类型的定义域规则中的逻辑操作符转换为查询语句；

将工业基础类模式内实体或类型的定义域规则中的引用操作符转换为查询语句。

6.如权利要求5所述的地理信息系统与建筑信息模型的数据转换验证方法，其特征是，将工业基础类模式内实体或类型的定义域规则中的引用操作符转换为查询语句，所述引用操作符的转换，包括：属性引用和组引用；

属性引用，是对一个实体实例中的单个属性进行引用，被引用的属性标识符要在句点之后标明，属性引用表达式返回的值是实体实例属性的值；

组引用，是指对一个复合实体实例中的一个部分的复合实体值的引用，在定义域规则表达式中，一个组引用表达式进一步被属性引用所限定，用于说明属性引用的作用域，用于实现对继承自超类的属性值的引用。

7.地理信息系统与建筑信息模型的数据转换验证系统，其特征是，包括：构建模块，其被配置为：构建地理信息系统本体与建筑信息模型本体在模式层的映射关系；

构建地理信息系统本体与建筑信息模型本体在模式层的映射关系，具体包括：根据地理信息系统本体以及建筑信息模型本体，通过本体对齐算法进行两个本体内的对象之间进行语义匹配；

采用本体对齐算法将两个本体内的每个对象通过向量格式来表示，然后计算对象之间的语义相似度来构成对应关系，其中对应关系包含一对多、多对一或多对多关系；

第一转换模块，其被配置为：根据所述映射关系，将地理信息系统本体的实例文件，转换成工业基础类本体的实例文件；

第二转换模块，其被配置为：获取工业基础类模式中实体和类型的定义域规则，将定义域规则中定义的约束条件，转换为形状约束语句；

获取工业基础类模式中实体和类型的定义域规则，将定义域规则中定义的约束条件，转换为形状约束语句，是指：根据工业基础类模式内实体和类型的定义域规则，将定义域规则中定义的约束转换为资源描述框架查询语句；

对于工业基础类模式内存在定义域规则的类型或实体，为类型或实体在工业基础类本体的实例文件中的对应类创建形状约束语句，并将资源描述框架查询语句添加到形状约束语句中；

根据工业基础类模式内实体和类型的定义域规则，将定义域规则中定义的约束转换为资源描述框架查询语句，具体包括：将工业基础类模式内实体或类型的定义域规则中的内部常数转换为查询语句；

将工业基础类模式内实体或类型的定义域规则中的操作符转换为查询语句；

将工业基础类模式内实体或类型的定义域规则中的内部函数转换为查询语句；

验证模块，其被配置为：基于形状约束语句，对工业基础类本体的实例文件中的数据进行验证，验证工业基础类本体的实例文件中的数据，是否符合定义域规则中定义的约束条件；

修正模块，其被配置为：对工业基础类本体的实例文件内不符合约束条件的数据进行修正；

导入模块，其被配置为：将修正后的工业基础类本体的实例文件，转换为工业基础类文件，将工业基础类文件导入建筑信息模型软件。