[发明专利]结合Spark平台的OWLHorst规则分布式并行推理算法

权利要求书

1.一种结合Spark平台的OWLHorst规则分布式并行推理方法，其特征在于，包括以下步骤：

S1：加载模式三元组集合P_j_RDD、O_K_RDD和Rule_m_linkvar_RDD并广播；模式三元组(S_i，P_j，O_k)指的是三元组中主语、谓语和宾语的定义都在本体文件中，其中，i，j，k表示具体的某个元素；模式三元组集合包含P_j_RDD与O_k_RDD；设模式三元组(S_i，P_j，O_k)，则P_j_RDD＝{<P_j,{(S_i,O_k)}>}，表示具有相同P_j且的所有模式三元组中(S_i，O_k)组成的集合，O_k_RDD＝{<O_k,{S_i}>},表示具有相同O_k且P_j∈{rdf:type}的所有模式三元组中S_i组成的集合；Rule_m_link_RDD在RDFS/OWL规则中用于连接两个前件的模式三元组项，将每一条规则的连接变量信息以<key,value>的形式存储在Rule_m_link_RDD，其中key存储该规则所有用于前件连接的模式三元组项，value存储该规则结论部分的模式三元组项；

S2：构建规则标记模型Flag_Rule_m并广播；Flag_Rule_m标识规则m的状态是否为激活；规则不能激活时，Flag_Rule_m＝0；规则激活且为类型1时，Flag_Rule_m＝1；规则激活且为类型2时，Flag_Rule_m＝2；其中类型1表示：只包含一个前件的规则或模式三元组与实例三元组组合的规则，且只有一个实例三元组；类型2：模式三元组与实例三元组组合的规则，且有多个实例三元组；

S3：对Flag_Rule_m＝1或Flag_Rule_m＝2的规则并行执行OWLHorst规则的并行推理，并输出中间结果；

S4：删除重复三元组；

S5：如果产生新的模式三元组数据，则跳至S2，如果产生新的实例三元组数据，则跳至S3，否则算法结束；实例三元组(s_i，p_j，o_k)指的是三元组中主语、谓语和宾语至少有一个的定义不是在本体文件中，且是具体的实例，其中，i，j，k表示具体的某个元素。