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:
| Publicado no: | Journal of Computer Science and Technology |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Universidad Nacional de La Plata
2017
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=638067254001 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|