Title :
Non-revision reasoning with inconsistent ontology
Author :
Hongwei Wang ; Ansheng Deng
Author_Institution :
Inst. of Inf. Technol., Dalian Maritime Univ., Dalian, China
Abstract :
The issue of inconsistency handling has attracted a lot of attentions recently. As we know that ontology reasoner will stop work once contradiction happens. In logic reasoning, belief non-revision focuses on the management of contradiction beliefs. In this paper, we try to translate the ontology to formulas in First-order Logic (FOL) with the help of description logic, so belief non-revision reasoning can continue. This approach is a new method to conduct reasoning with inconsistency based on the belief non-revision.
Keywords :
formal logic; inference mechanisms; ontologies (artificial intelligence); FOL; belief nonrevision reasoning; contradiction beliefs; description logic; first-order Logic; inconsistency handling; inconsistent ontology; logic reasoning; Cognition; Educational institutions; Lifting equipment; Medical services; Ontologies; Reliability; Semantics; Belief Non-Revision; Inconsistency; Ontology Reasoner;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery (FSKD), 2013 10th International Conference on
Conference_Location :
Shenyang
DOI :
10.1109/FSKD.2013.6816270
