基于优先级的超协调本体推理研究

The Study of Reasoning about Inconsistent Ontology with Priorities

随着语义Web研究的逐步深入,本体推理问题业已受到众多相关人员的重视。而超协调本体的推理问题,作为本体维护以及本体集成的研究基础,更是迫切地有待解决。本文对本体知识库作出了一定的扩充,定义了基于优先级的本体知识库的一系列相关概念,并且在此基础上,给出了两种在超协调的本体中寻求一致性推理的途径,希望能为相关的研究带来一定的参考与借鉴。

Reasoning with inconsistency is a welbknown topic in logics and AI. Several approaches have been proposed to deal with inconsistent ontology in current Semantic Web researches. The objective of this paper is to propose solutions for handling conflicts of inconsistency with an assumption of prioritized knowledge base. We have introduced the formal definitions of the prioritized knowledge base of ontology, and investigated the strategies of inconsistency reasoning processing based on the priority.