Tese de mestrado em Engenharia Informática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2013; A combinação de lógicas de descrição e programas baseados em regras tem sido bastante estudada nos últimos anos. As lógicas de descrição são uma família de linguagens formais que servem para representar conhecimento. Estas são bastante usadas na Web Semântica para exprimir ontologias, como o...