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.