太极思维的自然论域

为了在自然层面上建立表“义”的推理，讨论系统的自然论域．论述了自然论域．论述了自然论域的结构，然后讨论结构的选择．

表“义”的近似推理

指出了以形式演绎为基本推理操作的表“形”的“广义的推理科学”的局限性；并提出在我国“太极思维”的基础上建立表“义”的“广义的推理科学”，力图在此基础上建立表“义”的自然论解的计算理论；并将表“形”的和表“义的“广义的推理科学”进行了比较．该文作为自然论解近似推理系统的研究的引言．

专家视图与本体视图的语义映射方法

由于本体具有强大的知识表示和推理能力,本体已经在很多领域得到了广泛应用.然而,本体的深入应用还面临着很多深层次的共性语义映问题,已有的本体建模方法仅仅提出了一些简单的指导原则和基本步骤,使得知识工程师仍然无从下手.在基于领域专家知识构建领域语义知识库时,针对领域专家知识中的一词多义、多元关系和安全需求等3类共性语义映射问题,从5个方面展开了深入研究,提出了相应的语义映射方法,总结了10条本体建模约定.最后构建了一个完整的应用案例,并对所提出的5类语义映射方法进行了评价.

FastMatch:一种高效的XML关键字查询算法

现有的XML关键字查询方法包括两步:确定满足特定语义的节点;构建满足特定条件的子树。这种处理方式需要多次扫描关键字倒排表,效率低下。针对这一问题,提出快速分组方法来减少扫描倒排表次数,进而基于快速分组方法提出FastMatch算法。该算法仅需扫描一次关键字倒排表就能构建满足特定条件的子树,从而提高了查询效率。最后通过实验验证了该方法的高效性。