10ª Aula

17 Março 2017, 10:30 João Marques Silva

A 10ª aula (no dia 17/3) continuou o estudo do RDFS, analisando alguns exemplos. Estudou-se a possibilidade de realizar inferências a partir de conjuntos de triplos RDF/RDFS. Foi motivada a necessidade de utilizar uma semântica formal para o RDFS, tendo apresentado uma semântica formal pra RDFS em lógica de primeira ordem. Posteriormente, apresentou um sistema de inferência baseado em regras, tendo-se analisado inferências em alguns exemplos práticos. A aula apresentou também algumas limitações do RDFS, motivando assim o estudo de linguagens mais expressivas para representar ontologias.