Utilize este identificador para referenciar este registo: http://hdl.handle.net/10451/14181
Título: Achieving tightness in dl-programs
Autor: Cruz-Filipe, Luis
Nunes, Isabel
Engracia, Patricia
Gaspar, Graça
Palavras-chave: Description logics and rules
Semantic Web
Data: 9-Jul-2012
Relatório da Série N.º: 2012;03
Resumo: In 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.
Descrição: Reviewed by Francisco Martins
URI: http://hdl.handle.net/10451/14181
Aparece nas colecções:FC-DI - Technical Reports

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
TR-2012-03.pdf535,56 kBAdobe PDFVer/Abrir

FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.