Reasoning with Inconsistent Possibilistic Ontologies byApplying 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...
Na minha lista:
| Udgivet i: | Journal of Computer Science and Technology |
|---|---|
| Hovedforfatter: | |
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
Universidad Nacional de La Plata
2017
|
| Fag: | |
| Online adgang: | https://www.redalyc.org/articulo.oa?id=638067254001 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|