Uma linguagem para formalização de discursos com base em ontologias

Abstract

AgradecimentosEm primeiro lugar, agradeço à Deus pela saúde e por permitir tudo ser possível.Agradeço à querida Joelma Araujo suas valiosas sugestões, o apoio e incentivo incondicional nesta incrível aventura. Sua companhia torna o caminho muito encantador.À minha mãe, irmã, sobrinhas. . . agradeço a compreensão, o apoio e, principalmente, as orações. Sem elas, não chegaria nem pisar neste mundo. Especialmente, agradeço a dedicação da minha irmã preferida, por seus comentários e recomendações.Ao amigo e companheiro de pesquisa Ismael Moura Costa, por me conduzir nos primeiros passos na busca do conhecimento sobre a Arquitetura da Informação, e por estar sempre ao meu lado em cada desafio que a informação apresenta, nas mais diversas arquiteturas de tempo e espaço.Ao professor Dr. Samir Bezerra Gorsky, pelas aulas de Filosofia, de Lógica, pela parceria nas pesquisas e, especialmente, pelo grande exemplo de dedicação e amizade.Aos amigos Dr. André Siqueira e Dr. Alfram Albuquerque agradeço o tempo e atenção sempre disponíveis. A paciência e a humildade de vocês sempre me servem de exemplo.À amiga e companheira de pesquisa, Flávia Lacerda, por compartilhar algumas lágrimas e diversões desse processo de crescimento.À colega de estudos Érica Carvalho, por apresentar-me o MProlog.Ao amigo João Rafael Moraes Nicola, por estar sempre disponível para ouvir mais uma versão das ideias deste trabalho e ainda sugerir melhorias e apresentar novos pontos de vista.Ao amigo Dr. João Alberto de Oliveira Lima, pela quantidade quase infindável de livros e referências oferecidas, além do apoio intelectual, mentoria e amizade.Ao amigo Vládner Lima Barros Leal, pelo incentivo e apoio incondicional.Ao amigo Flávio Heringer, pela agradabilíssima convivência, e pela disposição em praticar a modelagem conceitual.Ao amigo Paulo Argolo, pela dedicação na leitura do texto e pelas valiosas contribuições ao Glossário.Ao professor Dr. Alexandre Costa-Leite, especialmente por me conduzir ao incrível universo da Lógica e por me ajudar no passamento entre "o raciocínio primitivo e não-abstrato sobre o mundo atual para a riqueza e beleza do ilimitado universo de inferências modais"2 . Esse raciocínio foi crucial para as ideias desta tese.Aos professores Dr. Walter Alexandre Carnielli, Dr a . Juliana Bueno-Soler e Dr.Giancarlo Guizzardi, pelas sugestões formidáveis e por representarem exemplos a serem seguidos.Aos professores Dr. Flávio Soares Correa da Silva e Dr. Antonio Eduardo Costa Pereira, pela honra de contar com suas contribuições.A Gunther Rademacher, pela gentileza de responder meus e-mails referentes ao software Railroad Diagram Generator, criado por ele, sem o qual não seria possível construir os diagramas railroad das especificações EBNF contidos no Capítulo 7. Aos membros do grupo abnT E X23 e latex-br 4 : não apenas a afinidade com L A T E X, mas a convivência e amizade criada com várias pessoas compensaram as centenas de horas usadas no desenvolvimento do abnT E X2. Não poderia deixar de salientar a ajuda personificada e a amizade cr...