On the Application of Argument Accrual to Reasoning with Inconsistent Possibilistic Ontologies
We present an approach for performing instance checking in a suitable subset of possibilistic description logic programming ontologies by using argument accrual. Ontologies are interpreted in possibilistic logic programming under Dung's grounded semantics. We present a reasoning framework with...
Guardado en:
| Autor principal: | Gómez, Sergio Alejandro |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2016
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/55725 |
| Aporte de: |
Ejemplares similares
-
Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
por: Gómez, Sergio Alejandro
Publicado: (2017) -
An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming
por: Gómez, Sergio Alejandro, et al.
Publicado: (2006) -
A preliminary framework for reasoning with inconsistent possibilistic description logics
ontologies with disjunctive assertions
por: Gómez, Sergio Alejandro
Publicado: (2015) -
Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic
Description Logic Programming Ontologies
por: Gómez, Sergio Alejandro
Publicado: (2016) -
Reasoning with inconsistent ontologies in possibilistic defeasible logic programming
por: Gómez, Sergio Alejandro, et al.
Publicado: (2011)