中文摘要：

为了消除出现在本体与一般规则整合过程中产生的不一致或冲突,引入优先和更新技术.首先,通过给信息赋予权值的方法得到一个带偏序的知识库.再根据＂废旧迎新＂原则,设定所有规则的权值大于本体中信息的权值.当本体与一致规则发生不一致或冲突时,权值大的规则将更新替换本体中权值小的信息,从而得到一个没有冲突的知识库.然后,调用现有逻辑程序求解器与描述逻辑推理机来实现查询等推理任务.与采用非标准的语义表示信息来处理不一致方法相比,基于偏序的更新技术更适合于动态进化的知识库.同时,通过赋值可以使新来的信息替换已经过时的信息,从而使得知识库在动态进化过程中保持一致性.最后,通过实例说明该处理不一致方法是切实可行的.

英文摘要：

Inconsistencies or conflicts appearing in the integration of ontologies and general rules are handled by applying prioritizing and updating. First, a prioritized knowledge base is obtained by weighting information weight. Then, based on the idea ＂abandoning the old for the new＂, the weight of each rule is greater than that of the information in ontologies. If ontologies conflict with general rules, then a new knowledge-base without any inconsistency or conflict is obtained by using rules with big weight updating information in ontologies with small weight. Thus, current logic programming solvers and description logic reasoners are employed to implement the reasoning services, such as querying etc. Updating based on prioritizing is more suitable for handling inconsistencies than other approaches to introducing non-standard semantics if knowledge bases are dynamically evolving. Moreover, a consistent knowledge base can be always maintained in the dynamical environment by updating outdated information with new information based on weighting. Finally, this approach to dealing with inconsistencies is feasibly exemplified.