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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Gómez, Sergio Alejandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2016
Materias:
Ciencias Informáticas
argumentation semantics
inconsistent possibilistic ontologies
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:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-58232
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
argumentation semantics
inconsistent possibilistic ontologies
spellingShingle Ciencias Informáticas
argumentation semantics
inconsistent possibilistic ontologies
Gómez, Sergio Alejandro
Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies
topic_facet Ciencias Informáticas
argumentation semantics
inconsistent possibilistic ontologies
description 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 suitably adapted for representing certainty degrees of both axioms and assertions. We introduce our approach with a running example, discuss implementation issues and present time complexity results.
format Objeto de conferencia
Objeto de conferencia
author Gómez, Sergio Alejandro
author_facet Gómez, Sergio Alejandro
author_sort Gómez, Sergio Alejandro
title Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies
title_short Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies
title_full Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies
title_fullStr Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies
title_full_unstemmed Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies
title_sort towards a practical implementation of a reasoner for inconsistent possibilistic description logic programming ontologies
publishDate 2016
url http://sedici.unlp.edu.ar/handle/10915/58232
http://45jaiio.sadio.org.ar/sites/default/files/SAOA-01.pdf
work_keys_str_mv AT gomezsergioalejandro towardsapracticalimplementationofareasonerforinconsistentpossibilisticdescriptionlogicprogrammingontologies
bdutipo_str Repositorios
_version_ 1764820477493116928

Ejemplares similares