Refinamento de consultas em lógicas de descrição utilizando teoria dos rough sets

• Ano de defesa: 2012
• Autor(a) principal: Oliveira, Henrique Viana
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Palavras-chave em Português: Ciência da computação; Lógicas de dCiênciaescrição; Rough set; Refinamento decConsultas; Description logic; Query refinement; Linguagens de consulta (Computação); Programação lógica (Computação)
• Link de acesso: http://www.repositorio.ufc.br/handle/riufc/18114

Query Refinement consists of methods that modify the terms of a consult aiming the change of its result obtained previously. Refinements can be done of several ways and different approaches can be applied to it. This work proposes to apply methods of Query Refinement based on Rough Set theory, using it as an alternative for the refinement problem. The proposed methods will be grounded in the languages of Description Logics, which are commonly used on problems involving knowledge bases or ontologies representation. Two extensions of Description Logics with the Rough Set theory are introduced in this dissertation. We will prove the complexity of satisfiability of these logics, as well as the complexities of the query refinement methods applied to these logics. Finally, we will show quality measures which will aid to choose the results of the refinements obtained.