Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual

Abstract

We present an approach for performing instance checking in possibilistic description logic programming ontologies by accruing arguments that support the membership of individuals to concepts. Ontologies are interpreted as possibilistic logic programs where accruals of arguments as regarded as vertexes in an abstract argumentation framework. A suitable attack relation between accruals is defined. We present a reasoning framework with a case study and a Java-based implementation for enacting the proposed approach that is capable of reasoning under Dung's grounded semantics.

Towards Contingent World Descriptions in Description Logics

“…In addition, [45,46] have extended DLs with uncertainty reasoning in possibilistic logic. Furthermore, [26] and [27] offered reasoning frameworks for ontologies based on inconsistent possibilistic description logics. [41] offered a possibilistic DL extension for an uncertain geographic ontology, and [7] created a possibilistic extension of the Web Ontology Language based on [41].…”