1. Compreender a representação de conhecimento baseada em asserções descritas como triplos e do seu processamento baseado na navegação em grafo (de asserções).
2. Construir grafos usando o standard RDF seriado com diferentes formatos (XML, Notation-3 e N-triples).
3. Aplicar regras semânticas a grafos RDF de modo a obter e estender o standard RDFS.
4. Compreender o essencial da lógica de descrição (LD) e sua aplicação na definição de ontologias; entender a linguagem OWL como uma concretização da LD e extensão do RDFS.
5. Compreender o essencial do processo de inferência via prova por refutação usando o método do “tableau”; construir ontologias e validar a sua consistência considerando a TBox e ABox.
6. Formular interrogações a grafos RDF(S) e OWL usando a linguagem SPARQL (e SPARQL-DL); estender axiomas OWL usando cláusulas SWRL.
7. Utilizar repositório de ontologias e disponibilizar ponto de acesso a interrogações SPARQL como serviço REST; povoar ABox por composição de acessos via SPARQL.

Ficha de Unidade Curricular