Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
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 vertex...
| Author: | |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 2017 |
| Country: | Argentina |
| Institution: | Universidad Nacional de La Plata |
| Repository: | SEDICI (UNLP) |
| Language: | English |
| OAI Identifier: | oai:sedici.unlp.edu.ar:10915/62938 |
| Online Access: | http://sedici.unlp.edu.ar/handle/10915/62938 |
| Access Level: | Open access |
| Keyword: | Ciencias Informáticas argument accrual ontology reasoning inconsistency handling description logics |
| Summary: | 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. |
|---|