Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual

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

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Gómez, Sergio Alejandro
Formato:	Articulo
Lenguaje:	Inglés
Publicado:	2017
Materias:	Ciencias Informáticas argument accrual ontology reasoning inconsistency handling description logics
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/62938 http://journal.info.unlp.edu.ar/wp-content/uploads/2017/10/JCST-45-Paper-4.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-62938
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 argument accrual ontology reasoning inconsistency handling description logics
spellingShingle	Ciencias Informáticas argument accrual ontology reasoning inconsistency handling description logics Gómez, Sergio Alejandro Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
topic_facet	Ciencias Informáticas argument accrual ontology reasoning inconsistency handling description logics
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.
format	Articulo Articulo
author	Gómez, Sergio Alejandro
author_facet	Gómez, Sergio Alejandro
author_sort	Gómez, Sergio Alejandro
title	Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
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
publishDate	2017
url	http://sedici.unlp.edu.ar/handle/10915/62938 http://journal.info.unlp.edu.ar/wp-content/uploads/2017/10/JCST-45-Paper-4.pdf
work_keys_str_mv	AT gomezsergioalejandro reasoningwithinconsistentpossibilisticontologiesbyapplyingargumentaccrual
bdutipo_str	Repositorios
_version_	1764820480170131456

Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual

Ejemplares similares