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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/12627
Ver los metadatos del registro completo
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 |