An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming

The Semantic Web is a future vision of the web where stored information has exact meaning, thus enabling computers to understand and reason on the basis of such information. Assigning semantics to web resources is addressed by means of ontology definitions which are meant to be written in an ontolog...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Gómez, Sergio Alejandro, Chesñevar, Carlos Iván, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
semantic web
defeasible argumentation
inconsistent ontology handling
description logics
defeasible logic programming
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22627
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22627
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
semantic web
defeasible argumentation
inconsistent ontology handling
description logics
defeasible logic programming
spellingShingle Ciencias Informáticas
semantic web
defeasible argumentation
inconsistent ontology handling
description logics
defeasible logic programming
Gómez, Sergio Alejandro
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming
topic_facet Ciencias Informáticas
semantic web
defeasible argumentation
inconsistent ontology handling
description logics
defeasible logic programming
description The Semantic Web is a future vision of the web where stored information has exact meaning, thus enabling computers to understand and reason on the basis of such information. Assigning semantics to web resources is addressed by means of ontology definitions which are meant to be written in an ontology description language such as OWL-DL that is based on so-called Description Logics (DL). Although ontology definitions expressed in DL can be processed with existing DL reasoners, such DL reasoners are incapable of dealing with inconsistent ontology definitions. Previous research has determined that a subset of DL can be effectively translated into an equivalent subset of logic programming. We propose a method for dealing with inconsistent ontology definitions in the Semantic Web. Our proposal involves mapping DL ontologies into equivalent DeLP programs. That is, given an OWL-DL ontology OOwl, an equivalent DL ontology ODL can be obtained. Provided ODL satisfies certain restrictions, it can be translated into an equivalent DeLP program ODeLP . Therefore, given a query Q w.r.t. OOwl, a dialectical process will be performed to determine if Q is warranted w.r.t. ODeLP .
format Objeto de conferencia
Objeto de conferencia
author Gómez, Sergio Alejandro
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
author_facet Gómez, Sergio Alejandro
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
author_sort Gómez, Sergio Alejandro
title An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming
title_short An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming
title_full An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming
title_fullStr An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming
title_full_unstemmed An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming
title_sort approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/22627
work_keys_str_mv AT gomezsergioalejandro anapproachtohandlinginconsistentontologydefinitionsbasedonthetranslationofdescriptionlogicsintodefeasiblelogicprogramming
AT chesnevarcarlosivan anapproachtohandlinginconsistentontologydefinitionsbasedonthetranslationofdescriptionlogicsintodefeasiblelogicprogramming
AT simariguillermoricardo anapproachtohandlinginconsistentontologydefinitionsbasedonthetranslationofdescriptionlogicsintodefeasiblelogicprogramming
AT gomezsergioalejandro approachtohandlinginconsistentontologydefinitionsbasedonthetranslationofdescriptionlogicsintodefeasiblelogicprogramming
AT chesnevarcarlosivan approachtohandlinginconsistentontologydefinitionsbasedonthetranslationofdescriptionlogicsintodefeasiblelogicprogramming
AT simariguillermoricardo approachtohandlinginconsistentontologydefinitionsbasedonthetranslationofdescriptionlogicsintodefeasiblelogicprogramming
bdutipo_str Repositorios
_version_ 1764820466147524611

Ejemplares similares