本项目从四个方向研究高效和细致修复不一致OWL本体的相关问题。..第一个方向主要研究计算权重尽可能大的本体一致子集的高效方法。首先，我们提出了一种在组合复杂度多项式时间内计算权重尽可能大的本体一致子集的方法。其次，我们针对最大本体一致子集的计算提出了基于划分的高效方法。再次，我们针对最小本体不一致子集的计算分别提出了基于划分的和基于MapReduce框架的高效方法。最后，我们还研究了在不一致OWL本体中进行查询推理的问题，提出了三种实用的不一致容忍查询方法。..第二个方向研究公理权重评估和本体细致修复的方法。我们研究了基于层次分析法的多准则公理权重评估方法，还研究了基于公理修改操作的不一致OWL本体细致修复方法。..第三个方向研究针对不一致修复问题的易处理OWL子语言。首先，我们找出了区分两类OWL子语言的分界线，一类保证在数据复杂度多项式时间内计算一个权重最大的本体一致子集，另一类不能保证。其次，我们针对第一个方向中提出的组合复杂度多项式时间近似计算方法，找出了保证该方法能够精确计算线性序推理中采用的本体一致子集的常用OWL子语言，其中线性序推理中采用的本体一致子集相当于一类权重较大的本体一致子集。..第四个方向研究对OWL本体进行溯因推理的实用方法。我们提出了一种针对断言公理集（ABox）的实用溯因推理方法。此外，我们将本体的溯因推理问题应用到联合查询回答中，提出了溯因联合查询回答机制，并基于该机制实现了一个新型的租房信息查询服务原型系统。..上述研究成果发表于中国计算机学会2012年推荐的B类国际期刊KAIS、C类国际期刊IJSWIS和IJIS、A类国际会议AAAI、B类国际会议CIKM，以及C类国际会议ICTAI和KSEM等。我们实现的租房信息查询服务原型系统获得了首届联合国际语义技术会议（JIST2011）的最佳展示奖。