Lista de Disciplinas | CMP196

CMP196 – Engenharia de Ontologias
SEMESTRE LETIVO: 2020/1 CARGA HORÁRIA: 60 horas-aula NÚMERO DE CRÉDITOS: 4 créditos
RESPONSÁVEL: Mara Abel
MATRÍCULA DE GRADUANDOS: A matrícula deverá ser feita como Aluno Especial
IDIOMA: Se houver matricula de estudantes de cooperação internacional, a disciplina pode ser ministrada em Inglês.

OBJETIVOS
O curso tem por formar pesquisadores aptos à construção de ontologias de domínio bem fundamentadas. São estudadas técnicas de aquisição de conhecimento, premissas filosóficas do estudo de Ontologia, modelagem conceitual, ontologias formais e linguagens para representação de ontologias.

MÉTODO DE TRABALHO
A disciplina intercala aulas teóricas com estudos de caso de modelagem conceitual. Os conteúdos de linguagens de representação de ontologias e raciocinadores são estudados através de um trabalho final extra-classe.

PROCEDIMENTOS E/OU CRITÉRIOS DE AVALIAÇÃO
A avaliação é construída pela composição equilibrada dos seguintes itens:
1. Estudos de caso de modelagem conceitual inciados em aula e concluídos pelo aluno. 2. Prova sobre ontologias formais.
3. Estudo de caso: especificação do modelo em uma linguagem de representação de conhecimento e execução/simulação de raciocínio.

SÚMULA
Modelagem conceitual de ontologias formais
Aquisição conhecimento
Linguagens de representação de ontologias
Aplicações na indústria: definição de padrões e interoperabilidade de sistemas

CONTEÚDO PROGRAMÁTICO
1. Modelagem conceitual e ontologias formais
1.1. Ontologias de fundamentação, ontologias de topo e de domínio
1.2. Princípios filosóficos: individuação, identidade, unicidade, dependência, hierarquias e mereologias
2. Entes estáveis no tempo: Modelagem de Continuantes
2.1. UFO- A: Unified Foundational Ontology
2.2. BFO : Basic Formal Ontology
3. Modelagem de eventos e processos: Modelagem de Ocorrentes
3.1. Modelagem de ocorrentes nas ontologias de topo UFO-B e BFO
4. Linguagens para representação de ontologias
5. Aquisição conhecimento para modelos de conhecimento e ontologias
5.1. Técnicas de eliciação
5.2. Análise de informação
6. Ontologias como modelos canônicos para interoperabilidade de sistemas e padronização

REFERÊNCIAS
Arp, Robert; Smith, Barry; Spear, Andrew D. Building Ontologies with Basic Formal Ontology. London, MIT Press, 2015.
Borgo, S.; Ferrario, R.; Masolo, C.; Vieu, L. Ontology Makes Sense. Amsterdam: IOS Press; 2019
Guarino N., Sales T.P., Guizzardi G. (2018) Reification and Truthmaking Patterns. In: Trujillo J. et al. (eds) Conceptual Modeling. ER 2018. Lecture Notes in Computer Science, vol 11157. p.151-165
Guizzardi, G.; Morais Fonseca, C.; Botti Benevides, A.; Almeida, J.; Porello, D.; Prince Sales, T.; Fonseca, C. Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0; 2018.
Fonseca C.M., Porello D., Guizzardi G., Almeida J.P.A., Guarino N. Relations in Ontology-Driven Conceptual Modeling. In: Laender A., Pernici B., Lim EP., de Oliveira J. (eds) Conceptual Modeling. ER 2019. Lecture Notes in Computer Science, 2019(11788). Springer,
Rodrigues, F.H.; Abel, M. What to consider about events: A survey on the ontology of occurrents. Applied Ontology. 12 November 2019;14(4):343-378.
Conjunto selecionados de artigos sobre ontologias formais .