Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual

Autores
Gómez, Sergio Alejandro
Año de publicación
2017
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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 vertexes in an abstract argumentation framework. A suitable attack relation between accruals is defined. We present a reasoning framework with a case study and a Java-based implementation for enacting the proposed approach that is capable of reasoning under Dung’s grounded semantics.
Facultad de Informática
Materia
Ciencias Informáticas
argument accrual
ontology reasoning
inconsistency handling
description logics
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/62938

id SEDICI_3003c1e0d3ece3063f968b5981e809d9
oai_identifier_str oai:sedici.unlp.edu.ar:10915/62938
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument AccrualGómez, Sergio AlejandroCiencias Informáticasargument accrualontology reasoninginconsistency handlingdescription logicsWe 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 vertexes in an abstract argumentation framework. A suitable attack relation between accruals is defined. We present a reasoning framework with a case study and a Java-based implementation for enacting the proposed approach that is capable of reasoning under Dung’s grounded semantics.Facultad de Informática2017-10info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdf117-126http://sedici.unlp.edu.ar/handle/10915/62938enginfo:eu-repo/semantics/altIdentifier/url/http://journal.info.unlp.edu.ar/wp-content/uploads/2017/10/JCST-45-Paper-4.pdfinfo:eu-repo/semantics/altIdentifier/issn/1666-6038info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/Creative Commons Attribution 4.0 International (CC BY 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:40:46Zoai:sedici.unlp.edu.ar:10915/62938Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:40:47.14SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
title Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
spellingShingle Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
Gómez, Sergio Alejandro
Ciencias Informáticas
argument accrual
ontology reasoning
inconsistency handling
description logics
title_short Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
title_full Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
title_fullStr Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
title_full_unstemmed Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
title_sort Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
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
argument accrual
ontology reasoning
inconsistency handling
description logics
topic Ciencias Informáticas
argument accrual
ontology reasoning
inconsistency handling
description logics
dc.description.none.fl_txt_mv 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 vertexes in an abstract argumentation framework. A suitable attack relation between accruals is defined. We present a reasoning framework with a case study and a Java-based implementation for enacting the proposed approach that is capable of reasoning under Dung’s grounded semantics.
Facultad de Informática
description 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 vertexes in an abstract argumentation framework. A suitable attack relation between accruals is defined. We present a reasoning framework with a case study and a Java-based implementation for enacting the proposed approach that is capable of reasoning under Dung’s grounded semantics.
publishDate 2017
dc.date.none.fl_str_mv 2017-10
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Articulo
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/62938
url http://sedici.unlp.edu.ar/handle/10915/62938
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://journal.info.unlp.edu.ar/wp-content/uploads/2017/10/JCST-45-Paper-4.pdf
info:eu-repo/semantics/altIdentifier/issn/1666-6038
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
dc.format.none.fl_str_mv application/pdf
117-126
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_ 1842260273724915712
score 13.13397