Axiom-oriented Reasoning to Deal with InconsistencyBetween Ontology and Knowledge Base

3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web

Tuan A. Luu1 ; Tho. T Quan1 ; Tru H. Cao1 ; Jin-Song Dong21Faculty of Computer Science ; Engineering

Others  :  http://CEUR-WS.org/Vol-327/pos_paper1.pdf
PID  :  22308

来源: CEUR

【 摘 要 】

When deployed in practical applications, Ontologies and KBs often suffer various kinds of inconsistency, which limit the applications performancessignificantly. In this paper, we propose a framework to reason inconsistencybetween Ontology and KB and refine the inconsistency accordingly. To makeour framework efficient, we only focus on reasoning a part responsible for theinconsistency, rather than the whole structures of Ontology and KB. Moreover,to improve the execution speed of algorithms employed in the framework, wealso discuss an axiom-oriented strategy to reason on a reduced space of formula