Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies
This work reports on our e orts to implement a practical reasoner based on Dung-style argumentation semantics for potentially inconsistent possibilistic ontologies. Our Java-based implementation targets a subset of the description logic programming fragment that we codify in a Racer-like syntax suit...
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/58232 http://45jaiio.sadio.org.ar/sites/default/files/SAOA-01.pdf |
| Aporte de: |
Ejemplares similares
-
Reasoning with inconsistent ontologies in possibilistic defeasible logic programming
por: Gómez, Sergio Alejandro, et al.
Publicado: (2011) -
On the Application of Argument Accrual to Reasoning with Inconsistent Possibilistic
Ontologies
por: Gómez, Sergio Alejandro
Publicado: (2016) -
Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
por: Gómez, Sergio Alejandro
Publicado: (2017) -
A preliminary framework for reasoning with inconsistent possibilistic description logics
ontologies with disjunctive assertions
por: Gómez, Sergio Alejandro
Publicado: (2015) -
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)