Some Classical Problems of Inheritance Networks in the Light of Defeasible Ontology Reasoning

Reasoning with possibly inconsistent ontologies is an important reasearch topic for the implementation of the Semantic Web as they pose a problem for performing instance checking. We contend that Defeasible Logic Programming (DeLP) is a reliable tool for doing ontology reasoning when Description Log...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Gómez, Sergio Alejandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2014
Materias:
Ciencias Informáticas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/42398
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-42398
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
spellingShingle Ciencias Informáticas
Gómez, Sergio Alejandro
Some Classical Problems of Inheritance Networks in the Light of Defeasible Ontology Reasoning
topic_facet Ciencias Informáticas
description Reasoning with possibly inconsistent ontologies is an important reasearch topic for the implementation of the Semantic Web as they pose a problem for performing instance checking. We contend that Defeasible Logic Programming (DeLP) is a reliable tool for doing ontology reasoning when Description Logic ontologies can be interpreted as DeLP programs. In this work we present some classical problems of the eld of inheritance networks and show how they are modeled as inconsistent ontologies and thus how the problem of instance checking is solved; we also show how issues in reasoning with argumentation frameworks based on Dung's grounded semantics are also solved when applied to ontology reasoning, and we revise the main algorithm for instance checking when using DeLP with inconsistent ontologies.
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 Some Classical Problems of Inheritance Networks in the Light of Defeasible Ontology Reasoning
title_short Some Classical Problems of Inheritance Networks in the Light of Defeasible Ontology Reasoning
title_full Some Classical Problems of Inheritance Networks in the Light of Defeasible Ontology Reasoning
title_fullStr Some Classical Problems of Inheritance Networks in the Light of Defeasible Ontology Reasoning
title_full_unstemmed Some Classical Problems of Inheritance Networks in the Light of Defeasible Ontology Reasoning
title_sort some classical problems of inheritance networks in the light of defeasible ontology reasoning
publishDate 2014
url http://sedici.unlp.edu.ar/handle/10915/42398
work_keys_str_mv AT gomezsergioalejandro someclassicalproblemsofinheritancenetworksinthelightofdefeasibleontologyreasoning
bdutipo_str Repositorios
_version_ 1764820473612337153

Ejemplares similares