On the Application of Argument Accrual to Reasoning with Inconsistent Possibilistic Ontologies

We present an approach for performing instance checking in a suitable subset of possibilistic description logic programming ontologies by using argument accrual. Ontologies are interpreted in possibilistic logic programming under Dung's grounded semantics. We present a reasoning framework with...

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
argument accrual
ontology reasoning
inconsistency handling
description logics
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/55725
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-55725
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
On the Application of Argument Accrual to Reasoning with Inconsistent Possibilistic Ontologies
topic_facet Ciencias Informáticas
argument accrual
ontology reasoning
inconsistency handling
description logics
description We present an approach for performing instance checking in a suitable subset of possibilistic description logic programming ontologies by using argument accrual. Ontologies are interpreted in possibilistic logic programming under Dung's grounded semantics. We present a reasoning framework with a case study and a Java-based implementation for enacting the proposed approach.
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 On the Application of Argument Accrual to Reasoning with Inconsistent Possibilistic Ontologies
title_short On the Application of Argument Accrual to Reasoning with Inconsistent Possibilistic Ontologies
title_full On the Application of Argument Accrual to Reasoning with Inconsistent Possibilistic Ontologies
title_fullStr On the Application of Argument Accrual to Reasoning with Inconsistent Possibilistic Ontologies
title_full_unstemmed On the Application of Argument Accrual to Reasoning with Inconsistent Possibilistic Ontologies
title_sort on the application of argument accrual to reasoning with inconsistent possibilistic ontologies
publishDate 2016
url http://sedici.unlp.edu.ar/handle/10915/55725
work_keys_str_mv AT gomezsergioalejandro ontheapplicationofargumentaccrualtoreasoningwithinconsistentpossibilisticontologies
bdutipo_str Repositorios
_version_ 1764820477314859009

Ejemplares similares