18ª Aula

21 Abril 2017, 10:30 • João Marques Silva

A 18ª aula (no dia 21/4) apresentou uma revisão breve da utilização de resolução em ógica proposicional e lógica de primeira ordem, com o objectivo de clarificar a semântica de regras monótonas. A aula cobriu também várias abordagens para utilizar regras com ontologias. Foi estudado o perfil OWL2 RL e a sua relação com lógica de Horn. Foi apresentada a utilização do SPARQL para representar regras, incluindo o SPIN (SPARQL Inferencing Notation). A aula apresentou outras abordagens, incluindo o RIF, o SWRL e o RuleML. A parte final da aula apresentou sistemas de regras não monótonas.