Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming
Fuente:
Redalyc
Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | en |
| Published: |
Asociación Española para la Inteligencia Artificial
2007
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1876456164536877056 |
|---|---|
| author | Sergio Alejandro Gómez |
| author_facet | Sergio Alejandro Gómez |
| contents | Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming Sergio Alejandro Gómez Carlos Iván Chesñevar Guillermo Ricardo Simari Ingeniería Semantic web Description Logics defeasible argumentation Defeasible Logic Programming inconsistent ontology handling The Semantic Web is a future vision of the web where stored information has exact meaning, thus enablingcomputers to understand and reason on the basis of such information. Assigning semantics to web resourcesis addressed by means of ontology definitions which are meant to be written in an ontology descriptionlanguage such as OWL-DL that is based on so-called Description Logics (DL). Although ontology definitionsexpressed in DL can be processed with existing DL reasoners, such DL reasoners are incapable of dealingwith inconsistent ontology definitions.Previous research has determined that a subset of DL can be effectively translated into an equivalent subset oflogic programming. We propose a method for dealing with inconsistent ontology definitions in the SemanticWeb. Our proposal involves mapping DL ontologies into DeLP programs. That is, given an OWL-DLontology OOwl, an equivalent DL ontology ODL can be obtained. Provided ODL satisfies certain restrictions,it can be translated into a DeLP program ODeLP . Therefore, given a query Q w.r.t. OOwl, a dialecticalprocess will be performed to determine if Q is warranted w.r.t. ODeLP . 2007 artículo científico 1137-3601 https://www.redalyc.org/articulo.oa?id=92503502 en http://www.redalyc.org/revista.oa?id=925 Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial application/pdf Asociación Española para la Inteligencia Artificial Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial (España) Num.35 Vol.11 |
| format | Artículo científico |
| id | redalyc_92503502 |
| institution | Redalyc |
| language | en |
| publishDate | 2007 |
| publisher | Asociación Española para la Inteligencia Artificial |
| spellingShingle | Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming Sergio Alejandro Gómez Ingeniería Semantic web Description Logics defeasible argumentation Defeasible Logic Programming inconsistent ontology handling Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming Sergio Alejandro Gómez Carlos Iván Chesñevar Guillermo Ricardo Simari Ingeniería Semantic web Description Logics defeasible argumentation Defeasible Logic Programming inconsistent ontology handling The Semantic Web is a future vision of the web where stored information has exact meaning, thus enablingcomputers to understand and reason on the basis of such information. Assigning semantics to web resourcesis addressed by means of ontology definitions which are meant to be written in an ontology descriptionlanguage such as OWL-DL that is based on so-called Description Logics (DL). Although ontology definitionsexpressed in DL can be processed with existing DL reasoners, such DL reasoners are incapable of dealingwith inconsistent ontology definitions.Previous research has determined that a subset of DL can be effectively translated into an equivalent subset oflogic programming. We propose a method for dealing with inconsistent ontology definitions in the SemanticWeb. Our proposal involves mapping DL ontologies into DeLP programs. That is, given an OWL-DLontology OOwl, an equivalent DL ontology ODL can be obtained. Provided ODL satisfies certain restrictions,it can be translated into a DeLP program ODeLP . Therefore, given a query Q w.r.t. OOwl, a dialecticalprocess will be performed to determine if Q is warranted w.r.t. ODeLP . 2007 artículo científico 1137-3601 https://www.redalyc.org/articulo.oa?id=92503502 en http://www.redalyc.org/revista.oa?id=925 Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial application/pdf Asociación Española para la Inteligencia Artificial Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial (España) Num.35 Vol.11 |
| title | Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming |
| topic | Ingeniería Semantic web Description Logics defeasible argumentation Defeasible Logic Programming inconsistent ontology handling |
| url | https://www.redalyc.org/articulo.oa?id=92503502 |