ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation

Autores
Gómez, Sergio Alejandro; Chesñevar, Carlos Ivan; Simari, Guillermo Ricardo
Año de publicación
2013
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Description Logic Programming (DLP) is a well-known approach to reason with Description Logic (DL) ontologies, translating them into the language of logic programming (LP). Even though DLP offers several advantages in terms of efficiency and reuse of existing logic programming tools (such as Prolog environments), a major hindrance of this approach is its limitation for reasoning in the presence of inconsistent ontologies. Recent research has led to the use of defeasible argumentation to model different DL reasoning capabilities when handling inconsistent ontologies, resulting in so-called δ-ontologies. In this article we present ONTOarg, a decision support framework for performing local-as-view integration of possibly inconsistent and incomplete ontologies in terms of Defeasible Logic Programming (DeLP). We show how to reason on Description Logics (DL) ontologies in an ontology integration system by performing a dialectical analysis in order to determine the membership of individuals to concepts. We present formal definitions of a framework for ontology integration of DL ontologies based on DeLP along with a case study and review some of the properties of the approach.
Fil: Gómez, Sergio Alejandro. Universidad Nacional del Sur. Departamento de Ciencias E Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Chesñevar, Carlos Ivan. Universidad Nacional del Sur. Departamento de Ciencias E Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Simari, Guillermo Ricardo. Universidad Nacional del Sur. Departamento de Ciencias E Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Materia
Ontology Integration
Description Logics
Inconsistency Handling
Defeasible Argumentation
Defeasible Logic Programming
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/12408
Acceder
id CONICETDig_d5ed3a5703efa7076f7dc9c1e1d3ecf5
oai_identifier_str oai:ri.conicet.gov.ar:11336/12408
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling ONTOarg: A Decision Support Framework for Ontology Integration Based on ArgumentationGómez, Sergio AlejandroChesñevar, Carlos IvanSimari, Guillermo RicardoOntology IntegrationDescription LogicsInconsistency HandlingDefeasible ArgumentationDefeasible Logic Programminghttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Description Logic Programming (DLP) is a well-known approach to reason with Description Logic (DL) ontologies, translating them into the language of logic programming (LP). Even though DLP offers several advantages in terms of efficiency and reuse of existing logic programming tools (such as Prolog environments), a major hindrance of this approach is its limitation for reasoning in the presence of inconsistent ontologies. Recent research has led to the use of defeasible argumentation to model different DL reasoning capabilities when handling inconsistent ontologies, resulting in so-called δ-ontologies. In this article we present ONTOarg, a decision support framework for performing local-as-view integration of possibly inconsistent and incomplete ontologies in terms of Defeasible Logic Programming (DeLP). We show how to reason on Description Logics (DL) ontologies in an ontology integration system by performing a dialectical analysis in order to determine the membership of individuals to concepts. We present formal definitions of a framework for ontology integration of DL ontologies based on DeLP along with a case study and review some of the properties of the approach.Fil: Gómez, Sergio Alejandro. Universidad Nacional del Sur. Departamento de Ciencias E Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Chesñevar, Carlos Ivan. Universidad Nacional del Sur. Departamento de Ciencias E Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Simari, Guillermo Ricardo. Universidad Nacional del Sur. Departamento de Ciencias E Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaElsevier2013-04info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/12408Gómez, Sergio Alejandro; Chesñevar, Carlos Ivan; Simari, Guillermo Ricardo; ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation; Elsevier; Expert Systems With Applications; 40; 5; 4-2013; 1858-18700957-4174enginfo:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S0957417412011499info:eu-repo/semantics/altIdentifier/doi/10.1016/j.eswa.2012.10.025info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-10T13:18:07Zoai:ri.conicet.gov.ar:11336/12408instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-10 13:18:07.883CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation
title ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation
spellingShingle ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation
Gómez, Sergio Alejandro
Ontology Integration
Description Logics
Inconsistency Handling
Defeasible Argumentation
Defeasible Logic Programming
title_short ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation
title_full ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation
title_fullStr ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation
title_full_unstemmed ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation
title_sort ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation
dc.creator.none.fl_str_mv Gómez, Sergio Alejandro
Chesñevar, Carlos Ivan
Simari, Guillermo Ricardo
author Gómez, Sergio Alejandro
author_facet Gómez, Sergio Alejandro
Chesñevar, Carlos Ivan
Simari, Guillermo Ricardo
author_role author
author2 Chesñevar, Carlos Ivan
Simari, Guillermo Ricardo
author2_role author
author
dc.subject.none.fl_str_mv Ontology Integration
Description Logics
Inconsistency Handling
Defeasible Argumentation
Defeasible Logic Programming
topic Ontology Integration
Description Logics
Inconsistency Handling
Defeasible Argumentation
Defeasible Logic Programming
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Description Logic Programming (DLP) is a well-known approach to reason with Description Logic (DL) ontologies, translating them into the language of logic programming (LP). Even though DLP offers several advantages in terms of efficiency and reuse of existing logic programming tools (such as Prolog environments), a major hindrance of this approach is its limitation for reasoning in the presence of inconsistent ontologies. Recent research has led to the use of defeasible argumentation to model different DL reasoning capabilities when handling inconsistent ontologies, resulting in so-called δ-ontologies. In this article we present ONTOarg, a decision support framework for performing local-as-view integration of possibly inconsistent and incomplete ontologies in terms of Defeasible Logic Programming (DeLP). We show how to reason on Description Logics (DL) ontologies in an ontology integration system by performing a dialectical analysis in order to determine the membership of individuals to concepts. We present formal definitions of a framework for ontology integration of DL ontologies based on DeLP along with a case study and review some of the properties of the approach.
Fil: Gómez, Sergio Alejandro. Universidad Nacional del Sur. Departamento de Ciencias E Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Chesñevar, Carlos Ivan. Universidad Nacional del Sur. Departamento de Ciencias E Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Simari, Guillermo Ricardo. Universidad Nacional del Sur. Departamento de Ciencias E Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
description Description Logic Programming (DLP) is a well-known approach to reason with Description Logic (DL) ontologies, translating them into the language of logic programming (LP). Even though DLP offers several advantages in terms of efficiency and reuse of existing logic programming tools (such as Prolog environments), a major hindrance of this approach is its limitation for reasoning in the presence of inconsistent ontologies. Recent research has led to the use of defeasible argumentation to model different DL reasoning capabilities when handling inconsistent ontologies, resulting in so-called δ-ontologies. In this article we present ONTOarg, a decision support framework for performing local-as-view integration of possibly inconsistent and incomplete ontologies in terms of Defeasible Logic Programming (DeLP). We show how to reason on Description Logics (DL) ontologies in an ontology integration system by performing a dialectical analysis in order to determine the membership of individuals to concepts. We present formal definitions of a framework for ontology integration of DL ontologies based on DeLP along with a case study and review some of the properties of the approach.
publishDate 2013
dc.date.none.fl_str_mv 2013-04
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/12408
Gómez, Sergio Alejandro; Chesñevar, Carlos Ivan; Simari, Guillermo Ricardo; ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation; Elsevier; Expert Systems With Applications; 40; 5; 4-2013; 1858-1870
0957-4174
url http://hdl.handle.net/11336/12408
identifier_str_mv Gómez, Sergio Alejandro; Chesñevar, Carlos Ivan; Simari, Guillermo Ricardo; ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation; Elsevier; Expert Systems With Applications; 40; 5; 4-2013; 1858-1870
0957-4174
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S0957417412011499
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.eswa.2012.10.025
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
application/pdf
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842980991971360768
score 12.993085

Publicaciones similares