A dissertação de Nuno Miguel Cerqueira Costa aborda a combinação de lógicas de descrição e programação em lógica, destacando sua importância na representação de conhecimento e na web semântica. O trabalho propõe a extensão de um sistema de processamento de queries, inicialmente compatível apenas com o perfil OWL 2 EL, para incluir o OWL 2 QL, permitindo raciocínios polinomiais em contextos de grandes volumes de dados. A pesquisa destaca o formalismo híbrido MKNF, que une as semânticas das lógicas de descrição e da programação lógica para aumentar a expressividade na representação de domínios complexos.