Evidential reasoning for the treatment of incoherent terminologies

Authors:
Ebrahim Bagheri;Faezeh Ensan
Affiliations:
National Research Council Canada;University of New Brunswick
Venue:
Proceedings of the 2010 ACM Symposium on Applied Computing
Year:
2010

Citing 16
Cited 0

A theory of diagnosis from first principles

Artificial Intelligence
Advances in the Dempster-Shafer theory of evidence

Advances in the Dempster-Shafer theory of evidence
Kernel contraction

Journal of Symbolic Logic
A logic for uncertain probabilities

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Belief Revision

Belief Revision
Ontology Learning and Population from Text: Algorithms, Evaluation and Applications

Ontology Learning and Population from Text: Algorithms, Evaluation and Applications
Social contraction and belief negotiation

Information Fusion
Debugging Incoherent Terminologies

Journal of Automated Reasoning
A belief-theoretic framework for the collaborative development and integration of para-consistent conceptual models

Journal of Systems and Software
Astrolabe: a collaborative multiperspective goal-oriented risk analysis methodology

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special section: Best papers from the 2007 biometrics: Theory, applications, and systems (BTAS 07) conference
Model-based revision operators for terminologies in description logics

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Approaches to inconsistency handling in description-logic based ontologies

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Finding all justifications of OWL DL entailments

ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
On applying the AGM theory to DLs and OWL

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Repairing unsatisfiable concepts in OWL ontologies

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
A framework for ontology evolution in collaborative environments

ISWC'06 Proceedings of the 5th international conference on The Semantic Web

Quantified Score

Hi-index	0.01

Visualization

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.