语义规则与海量语义规则并行处理系统及应用