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.

17ª Aula

20 Abril 2017, 09:30 • João Marques Silva

A 17ª aula (no dia 20/4) iniciou o estudo de regras no contexto da Web Semântica. A primeira parte da aula cobriu brevemente, a título informativo, a relação das ontologias, nomeadamente o OWL2 DL, com lógicas de descrição. Foi apresentada uma introdução à utilização de regras com ontologias, e foi estudada as regras monótonas, incluindo a sintaxe e a semântica de regras monótonas. O estudo da semântica de regras monótonas serviu também para estabeler a relação com lógica de primeira ordem.

Tutorial das Pizas em Protégé

20 Abril 2017, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano

Dúvidas sobre o projecto

11 Abril 2017, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano

Esta aula estava preparada para ser uma aula dedicada ao tutorial do Protégé: as pizas, mas os alunos não hesitaram em aproveitar para tirarem todos as suas dúvidas sobre o projecto, e para serem ajudados na detecção dos bugs complexos.

Tutorial das Pizzas

11 Abril 2017, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano

Os alunos seguiram o tutorial standard das Pizzas.