20ª Aula

28 Abril 2017, 10:30 João Marques Silva

A 20ª aula (no dia 28/4) detalhou a modelação de um puzzle lógico com o OWL2, utilizando o Protege e a notação Manchester Syntax. Foram descritas as classes, os indivíduos, e as propriedades de objectos, tendo também sido apresentada a modelação de cada afirmação constante do puzzle. A aula ilustrou o funcionamento de um reasoner do OWL2 para completar o puzzle. Finalmente a aula mostrou que outras ontologias para representar o mesmo puzzle lógico podem revelar-se difíceis de analisar com os reasoners existentes.