Proceedings of the 2010 ACM Symposium on Applied Computing , 2010-03-22

Title : ( Evidential reasoning for the treatment of incoherent terminologies )

Authors: Ebrahim Bagheir , F Ensan ,

Access to full-text not allowed by authors

Citation: BibTeX | EndNote

Abstract

Many reasoning algorithms and techniques require consistent terminologies to be able to operate correctly and efficiently. However, many ontologies become inconsistent during their evolution and lifecycle. Many methods have been proposed to handle inconsistent terminologies including those that tolerate or repair inconsistencies. Most of these approaches focus on the syntactic properties of ontology terminologies and attempt to address inconsistency from that perspective and satisfy postulates such as the principle of minimal change. In this paper, we will employ evidential reasoning to take into account assertional statements of an ontology as observations and probable indications for the correctness and validity of one axiom over other competing axioms. We will show how ontology assertions are beneficial in ranking axioms to be used in Reiter's hitting set algorithm.

Keywords

, Reasoning, Inconsistency Resolution, Ontologies
برای دانلود از شناسه و رمز عبور پرتال پویا استفاده کنید.

@inproceedings{paperid:1053433,
author = {Ebrahim Bagheir and Ensan, F},
title = {Evidential reasoning for the treatment of incoherent terminologies},
booktitle = {Proceedings of the 2010 ACM Symposium on Applied Computing},
year = {2010},
keywords = {Reasoning; Inconsistency Resolution; Ontologies},
}

[Download]

%0 Conference Proceedings
%T Evidential reasoning for the treatment of incoherent terminologies
%A Ebrahim Bagheir
%A Ensan, F
%J Proceedings of the 2010 ACM Symposium on Applied Computing
%D 2010

[Download]