根据已经给出的β-PSML中的混合推理算法，通过结合产生规则，给出了β-PSML中混合推理算法的正确性证明及其复杂性分析．结果表明，在描述......

研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-P......

在分布式、网络计算环境中,为了使在线的发现和匹配方法可行,采用预先定义的问题解决标记语言（problem solver markup language,PSM......