The Study of Reasoning about Inconsistent Ontology with Priorities
基于优先级的超协调本体推理研究

Reasoning with inconsistency is a well-known 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.