Achieving tightness in dl-programs

Detalhes bibliográficos
Autor(a) principal: Cruz-Filipe, Luis
Data de Publicação: 2012
Outros Autores: Nunes, Isabel, Engracia, Patricia, Gaspar, Graça
Tipo de documento: Relatório
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/14181
Resumo: Reviewed by Francisco Martins
id RCAP_0c90e5766df94f0d98b51ee758331179
oai_identifier_str oai:repositorio.ul.pt:10451/14181
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Achieving tightness in dl-programsDescription logics and rulesSemantic WebReviewed by Francisco MartinsIn the field of the combination between description logics and rule-based reasoning systems, dl- programs have proved to be a very successful mechanism. One of their recognized shortcomings, however, is their lack of full tightness: the language constructs that feed data from the logic program have a local effect, leaving the knowledge base essentially unchanged throughout. In this paper, we present a construction that we call lifting, which allows predicates to be fully shared between the two components of a dl-program in a systematic way, and show how lifting can be used to provide intuitive solutions to a number of everyday reasoning problems involving the verification of integrity constraints and the implementation of default rules. This construction preserves consistency of the underlying knowledge base and complexity of the overall system. Furthermore, the resulting semantics of default rules has a natural interpretation under the original Reiter semantics.Repositório da Universidade de LisboaCruz-Filipe, LuisNunes, IsabelEngracia, PatriciaGaspar, Graça2012-07-09T13:37:16Z2012-07-09T13:37:16Z2012-07-09info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportapplication/pdfhttp://hdl.handle.net/10451/14181enginfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-08T15:59:50Zoai:repositorio.ul.pt:10451/14181Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:36:01.062783Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Achieving tightness in dl-programs
title Achieving tightness in dl-programs
spellingShingle Achieving tightness in dl-programs
Cruz-Filipe, Luis
Description logics and rules
Semantic Web
title_short Achieving tightness in dl-programs
title_full Achieving tightness in dl-programs
title_fullStr Achieving tightness in dl-programs
title_full_unstemmed Achieving tightness in dl-programs
title_sort Achieving tightness in dl-programs
author Cruz-Filipe, Luis
author_facet Cruz-Filipe, Luis
Nunes, Isabel
Engracia, Patricia
Gaspar, Graça
author_role author
author2 Nunes, Isabel
Engracia, Patricia
Gaspar, Graça
author2_role author
author
author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Cruz-Filipe, Luis
Nunes, Isabel
Engracia, Patricia
Gaspar, Graça
dc.subject.por.fl_str_mv Description logics and rules
Semantic Web
topic Description logics and rules
Semantic Web
description Reviewed by Francisco Martins
publishDate 2012
dc.date.none.fl_str_mv 2012-07-09T13:37:16Z
2012-07-09T13:37:16Z
2012-07-09
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14181
url http://hdl.handle.net/10451/14181
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134258603753472

Registros relacionados