Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics

Autores
Martinez, Maria Vanina; Deagustini, Cristhian Ariel David; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo
Año de publicación
2014
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
The Semantic Web provides an effective infrastructure that allows data to be easily shared and reused across applications. At its core is the description of ontological knowledge using ontological languages which are powerful knowledge representation tools with good decidability and tractability properties; Datalog± is one of these tools.The problem of inconsistency has been acknowledged in both the Semantic Web and Database Theory communities. Here we introduce elements of defeasible argumentative reasoning in Datalog±, consequences to represent statements whose truth can be challenged leading to a better handling of inconsistency in ontological languages.
Fil: Martinez, Maria Vanina. University of Oxford; Reino Unido
Fil: Deagustini, Cristhian Ariel David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Fil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Materia
Defeasible Argumentation
Inconsistency-Tolerant Reasoning
Datalog±
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/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/12627

id CONICETDig_1b4482eb3a92f8d919cc6e3421d3679f
oai_identifier_str oai:ri.conicet.gov.ar:11336/12627
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative SemanticsMartinez, Maria VaninaDeagustini, Cristhian Ariel DavidFalappa, Marcelo AlejandroSimari, Guillermo RicardoDefeasible ArgumentationInconsistency-Tolerant ReasoningDatalog±https://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1The Semantic Web provides an effective infrastructure that allows data to be easily shared and reused across applications. At its core is the description of ontological knowledge using ontological languages which are powerful knowledge representation tools with good decidability and tractability properties; Datalog± is one of these tools.The problem of inconsistency has been acknowledged in both the Semantic Web and Database Theory communities. Here we introduce elements of defeasible argumentative reasoning in Datalog±, consequences to represent statements whose truth can be challenged leading to a better handling of inconsistency in ontological languages.Fil: Martinez, Maria Vanina. University of Oxford; Reino UnidoFil: Deagustini, Cristhian Ariel David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; ArgentinaFil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; ArgentinaSpringer2014-07info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/12627Martinez, Maria Vanina; Deagustini, Cristhian Ariel David; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo; Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics; Springer; Lecture Notes In Computer Science; 8864; 7-2014; 15-270302-9743enginfo:eu-repo/semantics/altIdentifier/url/http://link.springer.com/chapter/10.1007/978-3-319-12027-0_2info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-12027-0_2info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:44:22Zoai:ri.conicet.gov.ar:11336/12627instacron: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-03 09:44:23.103CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics
title Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics
spellingShingle Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics
Martinez, Maria Vanina
Defeasible Argumentation
Inconsistency-Tolerant Reasoning
Datalog±
title_short Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics
title_full Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics
title_fullStr Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics
title_full_unstemmed Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics
title_sort Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics
dc.creator.none.fl_str_mv Martinez, Maria Vanina
Deagustini, Cristhian Ariel David
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
author Martinez, Maria Vanina
author_facet Martinez, Maria Vanina
Deagustini, Cristhian Ariel David
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
author_role author
author2 Deagustini, Cristhian Ariel David
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
author2_role author
author
author
dc.subject.none.fl_str_mv Defeasible Argumentation
Inconsistency-Tolerant Reasoning
Datalog±
topic Defeasible Argumentation
Inconsistency-Tolerant Reasoning
Datalog±
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv The Semantic Web provides an effective infrastructure that allows data to be easily shared and reused across applications. At its core is the description of ontological knowledge using ontological languages which are powerful knowledge representation tools with good decidability and tractability properties; Datalog± is one of these tools.The problem of inconsistency has been acknowledged in both the Semantic Web and Database Theory communities. Here we introduce elements of defeasible argumentative reasoning in Datalog±, consequences to represent statements whose truth can be challenged leading to a better handling of inconsistency in ontological languages.
Fil: Martinez, Maria Vanina. University of Oxford; Reino Unido
Fil: Deagustini, Cristhian Ariel David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Fil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
description The Semantic Web provides an effective infrastructure that allows data to be easily shared and reused across applications. At its core is the description of ontological knowledge using ontological languages which are powerful knowledge representation tools with good decidability and tractability properties; Datalog± is one of these tools.The problem of inconsistency has been acknowledged in both the Semantic Web and Database Theory communities. Here we introduce elements of defeasible argumentative reasoning in Datalog±, consequences to represent statements whose truth can be challenged leading to a better handling of inconsistency in ontological languages.
publishDate 2014
dc.date.none.fl_str_mv 2014-07
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/12627
Martinez, Maria Vanina; Deagustini, Cristhian Ariel David; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo; Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics; Springer; Lecture Notes In Computer Science; 8864; 7-2014; 15-27
0302-9743
url http://hdl.handle.net/11336/12627
identifier_str_mv Martinez, Maria Vanina; Deagustini, Cristhian Ariel David; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo; Inconsistency-Tolerant Reasoning in Datalog± Ontologies via an Argumentative Semantics; Springer; Lecture Notes In Computer Science; 8864; 7-2014; 15-27
0302-9743
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/chapter/10.1007/978-3-319-12027-0_2
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-12027-0_2
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
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_ 1842268662353887232
score 13.13397