中文摘要：

本项目研究非命题化回答集程序推理算法，实验系统，及其在语义web本体推理中的应用。取得的主要成果包括（1）提出了一种基于tabling的自顶向下推理算法并用B-Prolog编程实现了回答集程序推理实验系统BPSolver，获2009年第二届国际回答集程序竞赛P类问题求解的第二名。（2）提出了判断逻辑程序可终止的新算法，其性能远高于目前国际上所有代表性方法，发表在Theory and Practice of Logic Programming。（3）提出了基于Gelfond-Lifschitz Transformation的抽象约束回答集程序语义模型，发表在 AAAI-07。（4）提出了提高语义web本体可伸缩推理的新方法以及处理本体不一致性的方法，发表在WWW-08，IJCAI-09和ISWC-09。（5）提出了处理概率逻辑程序设计递归循环的理论及算法，发表在ACM Transactions on Computational Logic。（6）提出了基于领域知识的数据挖掘方法，发表在ICDM-08，ICDM-09和ECML/PKDD-08， 并获PRICAI-08最佳学生论文亚军奖。