下一代网络智能(Web Intelligence，WI)技术致力于让用户不仅仅只是使用现有的在线信息搜索和知识获取功能，而且要获得在生活、工作、......

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

提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结......

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

随着Web的发展,用户检索有用的信息变得越来越难.因此,在Web环境下,迫切需要研发相应的系统解决这个问题.而这一系统的核心是问题......

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

为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问......