• 20160830_085747.jpg
  • 20160830_090251.jpg
  • 20160830_085830.jpg
  • 20160830_090216.jpg
  • 20160830_085847.jpg

Banca examinadora de defesa de qualificação de tese de doutorado do(a) aluno(a) Lauro César Araujo

 

Título: Uma linguagem para formalização de discursos com base em ontologias

 

Data: 5.nov.2015

Horário:15h

Local: Sala da Pós da Graduação

 

Banca examinadora de Defesa de Tese de Doutorado

Presidente: Dr. Mamede Lima-Marques

Membro Externo: Dr. Walter Alexandre Carnielli

Membro Externo: Dr. Giancarlo Guizzardi

Membro Externo: Dr. Antonio Eduardo Costa Pereira

Membro Externo: DR. André Porto Ancona Lopez

Membro Suplente: DR. Flavio Soares Cunha da Silva

 

 

Resumo: Esta pesquisa propõe a arquitetura da informação de uma linguagem formal não visual para representar discursos sobre entidades ontológicas e obter deduções a respeito de ontologias de domínio. Por meio do paradigma de metamodelagem, a linguagem permite tratamento de ontologias heterogêneas que podem ser descritas como instâncias de uma ou mais ontologias de fundamentação. A linguagem suporta comportamentos clássicos e modais sustentados por noções de prova baseadas no paradigma de Programação em Lógica (Modal). O arcabouço modal desenvolvido possibilita que diferentes interpretações modais sejam introduzidas às especificações das ontologias, e contempla especialmente sistemas baseados em lógicas de múltiplos agentes. Uma sistematização do fragmento endurante da UnifiedFoundationalOntology (UFO) é realizada com objetivo de compor parte do marco teórico que fundamenta a proposta e de servir de exemplo de instanciação do arcabouço. Como resultados complementares destacam-se: uma sistematização de um conjunto ampliado de regras para produção de modelos conceituais baseados na UFO; um Glossário detalhado de termos e conceitos da UFO; protótipos funcionais que implementam os sistemas desenvolvidos; traduções das teorias descritas no arcabouço proposto para linguagens visuais, como extensão da representação gráfica da OntoUML; e discussões a respeito da integração de Arquitetura da Informação, modelagem conceitual e configuração da informação no contexto social aplicado.

 

Palavras-chave: Programação em Lógica. Prolog. Lógica Modal. MProlog. Ontologia. UnifiedFoundationalOntology. OntoUML. Arquitetura da Informação.