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...
Guardado en:
| Publicado en: | Journal of Computer Science and Technology |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Lenguaje: | Inglês |
| Publicado: |
Universidad Nacional de La Plata
2017
|
| Materias: | |
| Acceso en línea: | https://www.redalyc.org/articulo.oa?id=638067254001 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|