Sumários
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.
19ª Aula
27 Abril 2017, 09:30 • João Marques Silva
A 19ª aula (no dia 27/4) reviu os sistemas de regras não monótonas, e concluiu o seu estudo através da apresentação de um exemplo de aplicação. A aula apresentou também casos de estudo de modelação com o OWL2, nomeadamente alguns puzzles lógicos. Foram também apresentadas duas notações diferentes para o OWL2, concretamente a linguagem Turtle e a Manchester Syntax.
Modelização em OWL usando o Protégé
27 Abril 2017, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano
Exercícios de Modelização em OWL, usando a ferramenta Protégé, em que se ilustra o processo de inferência.
8ª Aula
24 Abril 2017, 11:30 • João Marques Silva
As aulas TP/PL continuaram o estudo do Protege, tendo sido propostos dois guiões distintos de introdução ao Protege.
8ª Aula
21 Abril 2017, 11:30 • João Marques Silva
As aulas TP/PL continuaram o estudo do Protege, tendo sido propostos dois guiões distintos de introdução ao Protege.