Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual

• Sergio Alejandro Gomez ^[1]
  1. [1] Universidad Nacional del Sur

     Universidad Nacional del Sur

     Argentina

     
• Localización: Journal of Computer Science and Technology, ISSN-e 1666-6038, Vol. 17, Nº. 2, 2017, págs. 117-126
• Idioma: inglés
• Enlaces
  • Texto completo (pdf)
• Resumen

  • 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.