Evidential reasoning for the treatment of incoherent terminologies

  1. (PDF, 312 KB)
DOIResolve DOI: http://doi.org/10.1145/1774088.1774383
AuthorSearch for: ; Search for:
Proceedings titleSAC '10 Proceedings of the 2010 ACM Symposium on Applied Computing
ConferenceSAC'10 25th Annual ACM Symposium on Applied Computing, March 22-26, 2010, Sierre, Switzerland
Pages13811387; # of pages: 7
SubjectEvidential Reasoning; Inconsistency Resolution; Debugging Incoherent Terminologies; Subjective Logic; Description Logic; Information and Communications Technologies
AbstractMany 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.
Publication date
AffiliationNational Research Council Canada (NRC-CNRC); NRC Institute for Information Technology
Peer reviewedYes
NPARC number15202781
Export citationExport as RIS
Report a correctionReport a correction
Record identifiere192e244-1e66-4138-a009-0f3536e23a7b
Record created2010-06-10
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)