Datalog± Ontology Consolidation

Knowledge bases in the form of ontologies are receiving increasing attention as they allow to clearly represent both the available knowledge, which includes the knowledge in itself and the constraints imposed to it by the domain or the users. In particular, Datalog ± ontologies are attractive becaus...

ver descrição completa

Detalhes bibliográficos
Autores: Deagustini, Cristhian Ariel David, Martinez, Maria Vanina, Falappa, Marcelo Alejandro, Simari, Guillermo Ricardo
Tipo de documento: artigo
Estado:Versão publicada
Data de publicação:2016
País:Argentina
Recursos:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositório:CONICET Digital (CONICET)
Idioma:inglês
OAI Identifier:oai:ri.conicet.gov.ar:11336/49617
Acesso em linha:http://hdl.handle.net/11336/49617
Access Level:Acceso aberto
Palavra-chave:Ontology
Belief Revision
Consolidation
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
id AR_9aedfe69cecc8e46df6f94e5eea5900e
oai_identifier_str oai:ri.conicet.gov.ar:11336/49617
network_acronym_str AR
network_name_str Argentina
repository_id_str
dc.title.none.fl_str_mv Datalog± Ontology Consolidation
title Datalog± Ontology Consolidation
spellingShingle Datalog± Ontology Consolidation
Deagustini, Cristhian Ariel David
Ontology
Belief Revision
Consolidation
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
title_short Datalog± Ontology Consolidation
title_full Datalog± Ontology Consolidation
title_fullStr Datalog± Ontology Consolidation
title_full_unstemmed Datalog± Ontology Consolidation
title_sort Datalog± Ontology Consolidation
dc.creator.none.fl_str_mv Deagustini, Cristhian Ariel David
Martinez, Maria Vanina
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
author Deagustini, Cristhian Ariel David
author_facet Deagustini, Cristhian Ariel David
Martinez, Maria Vanina
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
author_role author
author2 Martinez, Maria Vanina
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
author2_role author
author
author
dc.subject.none.fl_str_mv Ontology
Belief Revision
Consolidation
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
topic Ontology
Belief Revision
Consolidation
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
description Knowledge bases in the form of ontologies are receiving increasing attention as they allow to clearly represent both the available knowledge, which includes the knowledge in itself and the constraints imposed to it by the domain or the users. In particular, Datalog ± ontologies are attractive because of their property of decidability and the possibility of dealing with the massive amounts of data in real world environments; however, as it is the case with many other ontological languages, their application in collaborative environments often lead to inconsistency related issues. In this paper we introduce the notion of incoherence regarding Datalog± ontologies, in terms of satisfiability of sets of constraints, and show how under specific conditions incoherence leads to inconsistent Datalog ± ontologies. The main contribution of this work is a novel approach to restore both consistency and coherence in Datalog± ontologies. The proposed approach is based on kernel contraction and restoration is performed by the application of incision functions that select formulas to delete. Nevertheless, instead of working over minimal incoherent/inconsistent sets encountered in the ontologies, our operators produce incisions over non-minimal structures called clusters. We present a construction for consolidation operators, along with the properties expected to be satisfied by them. Finally, we establish the relation between the construction and the properties by means of a representation theorem. Although this proposal is presented for Datalog± ontologies consolidation, these operators can be applied to other types of ontological languages, such as Description Logics, making them apt to be used in collaborative environments like the Semantic Web.
publishDate 2016
dc.date.none.fl_str_mv 2016-08
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/49617
Deagustini, Cristhian Ariel David; Martinez, Maria Vanina; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo; Datalog± Ontology Consolidation; AI Access Foundation; Journal of Artificial Intelligence Research; 56; 8-2016; 613-656
1076-9757
CONICET Digital
CONICET
url http://hdl.handle.net/11336/49617
identifier_str_mv Deagustini, Cristhian Ariel David; Martinez, Maria Vanina; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo; Datalog± Ontology Consolidation; AI Access Foundation; Journal of Artificial Intelligence Research; 56; 8-2016; 613-656
1076-9757
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://www.jair.org/index.php/jair/article/view/11019
info:eu-repo/semantics/altIdentifier/doi/10.1613/jair.5131
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 AI Access Foundation
publisher.none.fl_str_mv AI Access Foundation
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
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_ 1799195240832172032
spelling Datalog± Ontology ConsolidationDeagustini, Cristhian Ariel DavidMartinez, Maria VaninaFalappa, Marcelo AlejandroSimari, Guillermo RicardoOntologyBelief RevisionConsolidationhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Knowledge bases in the form of ontologies are receiving increasing attention as they allow to clearly represent both the available knowledge, which includes the knowledge in itself and the constraints imposed to it by the domain or the users. In particular, Datalog ± ontologies are attractive because of their property of decidability and the possibility of dealing with the massive amounts of data in real world environments; however, as it is the case with many other ontological languages, their application in collaborative environments often lead to inconsistency related issues. In this paper we introduce the notion of incoherence regarding Datalog± ontologies, in terms of satisfiability of sets of constraints, and show how under specific conditions incoherence leads to inconsistent Datalog ± ontologies. The main contribution of this work is a novel approach to restore both consistency and coherence in Datalog± ontologies. The proposed approach is based on kernel contraction and restoration is performed by the application of incision functions that select formulas to delete. Nevertheless, instead of working over minimal incoherent/inconsistent sets encountered in the ontologies, our operators produce incisions over non-minimal structures called clusters. We present a construction for consolidation operators, along with the properties expected to be satisfied by them. Finally, we establish the relation between the construction and the properties by means of a representation theorem. Although this proposal is presented for Datalog± ontologies consolidation, these operators can be applied to other types of ontological languages, such as Description Logics, making them apt to be used in collaborative environments like the Semantic Web.Fil: Deagustini, Cristhian Ariel David. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Martinez, Maria Vanina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaAI Access Foundation2016-08info: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/49617Deagustini, Cristhian Ariel David; Martinez, Maria Vanina; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo; Datalog± Ontology Consolidation; AI Access Foundation; Journal of Artificial Intelligence Research; 56; 8-2016; 613-6561076-9757CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://www.jair.org/index.php/jair/article/view/11019info:eu-repo/semantics/altIdentifier/doi/10.1613/jair.5131info: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écnicas2024-05-08T13:46:54Zoai:ri.conicet.gov.ar:11336/49617instacron: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:34982024-05-08 13:46:54.608CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
score 15.812455

Registros relacionados