Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies

Autores
Gómez, Sergio Alejandro
Año de publicación
2016
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Sociedad Argentina de Informática e Investigación Operativa (SADIO)
Materia
Ciencias Informáticas
argumentation semantics
inconsistent possibilistic ontologies
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-sa/3.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/58232
Acceder
id SEDICI_646b391626eb7d685cefa08cd6feb82b
oai_identifier_str oai:sedici.unlp.edu.ar:10915/58232
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming OntologiesGómez, Sergio AlejandroCiencias Informáticasargumentation semanticsinconsistent possibilistic ontologiesThis 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.Sociedad Argentina de Informática e Investigación Operativa (SADIO)2016-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf1-14http://sedici.unlp.edu.ar/handle/10915/58232enginfo:eu-repo/semantics/altIdentifier/url/http://45jaiio.sadio.org.ar/sites/default/files/SAOA-01.pdfinfo:eu-repo/semantics/altIdentifier/issn/2451-7518info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-sa/3.0/Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T10:59:07Zoai:sedici.unlp.edu.ar:10915/58232Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 10:59:07.589SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies
title Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies
spellingShingle Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies
Gómez, Sergio Alejandro
Ciencias Informáticas
argumentation semantics
inconsistent possibilistic 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
dc.creator.none.fl_str_mv Gómez, Sergio Alejandro
author Gómez, Sergio Alejandro
author_facet Gómez, Sergio Alejandro
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
argumentation semantics
inconsistent possibilistic ontologies
topic Ciencias Informáticas
argumentation semantics
inconsistent possibilistic ontologies
dc.description.none.fl_txt_mv 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.
Sociedad Argentina de Informática e Investigación Operativa (SADIO)
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.
publishDate 2016
dc.date.none.fl_str_mv 2016-09
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/58232
url http://sedici.unlp.edu.ar/handle/10915/58232
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://45jaiio.sadio.org.ar/sites/default/files/SAOA-01.pdf
info:eu-repo/semantics/altIdentifier/issn/2451-7518
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-sa/3.0/
Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-sa/3.0/
Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)
dc.format.none.fl_str_mv application/pdf
1-14
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846064039569915904
score 13.22299

Publicaciones similares