Towards a prudent argumentation framework for reasoning with imperfect ontologies - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Towards a prudent argumentation framework for reasoning with imperfect ontologies

Résumé

There are several proposals to deal with inconsistencies in DL ontologies through argumentation. Different from existing approaches, in this paper, we consider the scenario that our knowledge is both uncertain and inconsistent and/or incoherent, and wepropose a logic-based argumentation framework to deal with incomplete and conflicting DL ontologies. We do so by adopting a distinct notion of attack [3, 4] among arguments to encompass different forms of conflicts in DL ontologies. The paper presents the following major contributions: (1) a general framework for reasoning with uncertain, inconsistent and/or incoherent ontologies with the use of logic-based argumentation; (2) a general labelling method, sensitive to the numbers of attacks and the weights of arguments, with different interesting instantiations to identify the justification statuses of each argument; and (3) a number of inference relations derived from our framework in order to obtain meaningful answers without increasing the computational complexity of the reasoning process compared to classical DL reasoning. We also study thelogical properties of these new entailment relations.
Fichier non déposé

Dates et versions

hal-02441130 , version 1 (15-01-2020)

Identifiants

  • HAL Id : hal-02441130 , version 1

Citer

Said Jabbour, Yue Ma, Badran Raddaoui. Towards a prudent argumentation framework for reasoning with imperfect ontologies. DL 2019: 32nd International Workshop on Description Logics, Jun 2019, Oslo, Norway. pp.48:1-3. ⟨hal-02441130⟩
63 Consultations
0 Téléchargements

Partager

More