Made available in DSpace on 2013-08-07T19:02:22Z (GMT). No. of bitstreams: 1 000436436-Texto+Completo-0.pdf: 1592915 bytes, checksum: 723b920c2f20a27a1c8c648f36d0dfe7 (MD5) Previous issue date: 2011 / El objetivo de este trabajo es tratar de la temática de la alteridad, a partir del análisis de como ella se constituye en el discurso, especialmente por la relación entre diferentes voces que intervienen en la construcción del sentido. Partiendo del presupuesto de que el lenguaje es permeado, desde la lengua hasta el habla, por la alteridad, fundamentamos nuestra visión en la Teoría de la Argumentación en la Lengua, utilizando principalmente los conceptos da su forma más actual, la Teoría de los Bloques Semánticos, desarrollada por Marion Carel e Oswald Ducrot. La opción por el abordaje teórico debe-se al facto de que la teoría parte de Saussure, e su noción de valor, e de Benveniste, inscribiendo-se en el ámbito de las teorías enunciativas y, por eso, permitiendo analizar el lenguaje en uso. Por esta perspectiva, la argumentación está inscripta en la lengua, e es expresa en los discursos bajo la forma de encadenamientos argumentativos. Parte importante en la construcción del sentido argumentativo es la relación entre diferentes voces que lo integran, aspecto analizado en el corpus compuesto por seis discursos de géneros diversos, escritos en lengua portuguesa. Los resultados evidencian que la alteridad, es inherente al lenguaje y, por lo tanto a la producción de sentidos en el discurso. Este tiene su tema construido, en términos enunciativos, por la oposición entre puntos de vista. spa / O objetivo deste trabalho é tratar da temática da alteridade, analisando como ela se constitui no discurso, especialmente a partir da relação entre diferentes vozes que intervêm na construção do sentido. Partindo do pressuposto de que a linguagem é permeada, da língua até a fala, pela alteridade, fundamentamos nosso olhar na Teoria da Argumentação na Língua, utilizando principalmente os conceitos da sua forma mais atual, a Teoria dos Blocos Semânticos, desenvolvida por Marion Carel e Oswald Ducrot. A opção pela abordagem teórica deve-se ao fato de que a teoria parte de Saussure, da noção de valor, e de Benveniste, inscrevendo-se no âmbito das teorias enunciativas e, por isso, permitindo analisar a linguagem em uso. Sob essa perspectiva, a argumentação está inscrita na língua, e é expressa nos discursos sob a forma de encadeamentos argumentativos. Parte importante na construção do sentido argumentativo é a relação entre diferentes vozes que o integram, aspecto analisado no corpus formado por seis discursos, escritos em língua portuguesa. Os resultados evidenciam que a alteridade é inerente à linguagem e, portanto à produção de sentidos no discurso. Este tem seu tema construído, em termos enunciativos, pela comparação entre pontos de vista.

Tese (doutorado)—Universidade de Brasília, Faculdade de Ciência da Informação, 2013. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2014-05-29T13:06:39Z No. of bitstreams: 1 2013_EricadeOliveiraCarvalho.pdf: 6085661 bytes, checksum: e490b995ffa2c6d3d1ff92590867c248 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-05-29T16:00:31Z (GMT) No. of bitstreams: 1 2013_EricadeOliveiraCarvalho.pdf: 6085661 bytes, checksum: e490b995ffa2c6d3d1ff92590867c248 (MD5) / Made available in DSpace on 2014-05-29T16:00:31Z (GMT). No. of bitstreams: 1 2013_EricadeOliveiraCarvalho.pdf: 6085661 bytes, checksum: e490b995ffa2c6d3d1ff92590867c248 (MD5) / A Web Semântica, sendo a nova visão proposta pelo World Wide Web Consortium (W3C) para a estrutura atual da Web, é destinada a aumentar as possibilidades que ela oferece e, dessa forma, tornar seus recursos mais acessíveis para as máquinas. Entretanto, as técnicas de raciocínio de inferência utilizadas atualmente sobre os conhecimentos descritos pelas linguagens de representação de semânticas Web se baseiam somente sobre as capacidades inferenciais do formalismo de lógicas de descrição e os da lógica de predicados, já largamente utilizados nos motores de inferências. Este fato introduz a importância das pesquisas que tratam da representação do conhecimento e das técnicas de raciocínio sobre as ontologias na ótica da Web Semântica. O presente trabalho se propõe a estudar a capacidade dos grafos conceituais para representar e operacionalizar as ontologias da Web, assim como as contribuições dessa abordagem, de um ponto de vista simbólico (poder e facilidade de representação e interpretação) e inferencial (tipos de inferência aplicáveis a esse formalismo). Sendo a Arquitetura da Informação uma disciplina indissociavelmente ligada às tecnologias da informação, o presente trabalho é uma proposta para a interdisciplinaridade entre esta e a Ciência da Computação. _______________________________________________________________________________________ ABSTRACT / The Semantic Web, being the new vision proposed by World Wide Web Consortium (W3C), to the current structure of the Web, is designed to increase the possibilities that it provides, and thereby, render its resources more accessible to machines. However, the techniques of inference on the knowledge described by representation languages of Semantic Web are based only on the inferential on formalism of description logics capabilities and formalisms of predicate logic, already widely used in the inferences engines. This fact introduces the importance of research that deals with the knowledge representation and reasoning techniques on ontologies from the perspective of the Semantic Web. The present work was geared towards the capacity of conceptual graphs to represent and operationalize the Web ontologies, as well as the contributions of this approach, as a symbolic viewpoint (power and representation, and interpretation facility) and inferential (inference types applicable to this formalism). Since the Information Architecture is one discipline inextricably linked to information tecnology, the present work is a proposal for the interdisciplinarity between this and Computer Science.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Letras, Departamento de Linguística, Português e Línguas Clássicas, Programa de Pós-Graduação em Linguística, 2013. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2013-06-03T14:03:38Z No. of bitstreams: 1 2013_CharleyPereiraSoares.pdf: 187640564 bytes, checksum: 1c1ca2289b8ab0d0594707a41fbfcb8f (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-06-04T11:37:48Z (GMT) No. of bitstreams: 1 2013_CharleyPereiraSoares.pdf: 187640564 bytes, checksum: 1c1ca2289b8ab0d0594707a41fbfcb8f (MD5) / Made available in DSpace on 2013-06-04T11:37:48Z (GMT). No. of bitstreams: 1 2013_CharleyPereiraSoares.pdf: 187640564 bytes, checksum: 1c1ca2289b8ab0d0594707a41fbfcb8f (MD5) / Este estudo é fruto de uma pesquisa que objetiva demonstrar a ocorrência de ambiguidade lexical na Língua de Sinais Brasileira (LSB). Trata-se de um estudo sincrônico que aborda o processo linguístico da ambiguidade na LSB, com efeito na homonímia de sinais. Diante do fato de os surdos compreenderem melhor a LSB e usuários ouvintes considerarem a LSB difícil por apresentar significantes iguais para significados diferentes, torna-se necessária uma análise da ambiguidade dos sinais, com ênfase no estudo da semântica lexical, para melhor compreensão desse problema. Sob essa perspectiva, é preciso analisar o uso dos termos da língua em seu contexto de uso, para que seja possível tanto o registro, quanto o ensino apropriados dos termos da LSB, partindo de regras que possibilitem a validação dos termos ambíguos. Nesta pesquisa, a tentativa de resolução de ambiguidades foi abordada segundo questões teóricas da Linguística, vistas em Ullmann (1964), Câmara (1970), Lyons (1987), Ferreira (1999), Silva (1999), Zavaglia (2003) e Cançado (2008). Para investigar o processo de ambiguidade entre pares homônimos na LSB, o assunto foi estudado em obras que descrevem a LSB, conforme aparece no corpo da dissertação. A interpretação da homonímia teve como base 15 significantes, com dois ou três significados cada um, frequentemente utilizados por usuários da Língua de Sinais Brasileira. Por meio de imagens, foram selecionados contextos linguísticos que continham itens lexicais passíveis de análise. Os resultados indicam que, em LSB, uma forma homônima pode ser identificada e desambiguada se estiver em correlação com outros itens lexicais no contexto, a exemplo do que acontece com outras línguas orais ou línguas sinalizadas. _______________________________________________________________________________________ ABSTRACT / This study is the result of a research that aims to demonstrate the occurrence of lexical ambiguity in the Brazilian Sign Language (LSB). It is a synchronic study that approaches the process of linguistic ambiguity in LSB, with the effect in the signs’ homonymy. Given the fact that hearing users consider the LSB difficult for presenting the same signifiers for different signifieds, an analysis of the signs’ ambiguity is necessary with emphasis on the lexical semantics study to better understand this problem. From this perspective, an analysis of the language terms’ use in its context is necessary, so that both the register and the appropriate teaching of LSB terms are possible, beginning from rules that enable the validation of ambiguous terms. This research attempted to solve ambiguities according to theoretical issues of linguistics, seen in Ullmann (1964), Câmara (1970), Lyons (1987), Ferreira (1999), Silva (1999), Zavaglia (2003) and Cançado (2008). In order to investigate the process of ambiguity between homonym pairs in LSB, the subject was studied through works that describe the LSB as it appears in the body of this dissertation. The interpretation of homonymy was based on 15 signifiers, with two or three signifieds each often used by the Brazilian Sign Language users. Through images, linguistic contexts that contained lexical items subject to analysis were selected. The results indicate that in LSB a homonymous form can be identified and disambiguated if it is correlated with other lexical items in context, the way it happens in other spoken languages or signed languages.

Este trabalho tem como foco de análise os enunciados de campanhas publicitárias de produtos de beleza, análise esta amparada pela Teoria de Casos, subsumida pela Semântica Relacional. A interpretação dos verbos/predicadores desses enunciados se deu através da aplicação do modelo casual da UFSC, de Nicolacópulos (1992) e Nicolacópulos et alii (1995, 1997). A pesquisa constitui da verificação dos efeitos de sentido dos verbos/predicadores contextualizados, determinação dos esquemas casuais e, a partir disso, projetar as análises qualitativa e quantitativa. Partindo-se da hipótese de que uma Teoria de Casos seria adequada para interpretação efetiva de tais enunciados, foram submetidos à análise 39 verbos/predicadores com os efeitos de sentido polissêmico e metaforizado, dos quais pude verificar a maior recorrência do uso de verbos/predicadores metafóricos, que marcam o movimento de campo semântico, e causativizados, acrescendo-se o traço de intencionalidade à proposição. Assim como a recursividade dos casos A e O, que denotam o produto divulgado e consumidor que faz uso do mesmo, conforme entendimento dos propositores da campanha enunciada. / This work has as its analysis focus the enunciations from the publicity campaigns of beauty care products, being this analysis sustained by the Case Theory, in Relational Semantics. The interpretation of these enunciations came through by the application of the UFSC’s case grammar model (Nicolacópulos, 1992 / Nicolacópulos et alii, 1995-1997). The verification of the meaning effects of the contextualized verbs/predicators, the determination of the casual schemes and, through these, to project the qualitative and quantitative analyses, constitute the objectives of the research. From the hypothesis that a Case Theory would be proper for the interpretation of such enunciations, 39 verbs/predicators with polissemic and methaphorical meaning effects were submitted to the analysis, from where I could verify that the usage of metaphorical verbs/predicators, which marks the change of semantic field, and causativisation processes, adding the intentionality feature to the clause, are more productive. As well as the productivity of the cases A and O, which denotes the announced product and its consumer, according to the comprehension of the enunciated campaign.

A presente pesquisa objetivou analisar o semanticismo da preposição de, contribuindo para a sistematização e organização da informação etimológica em textos lexicográficos. Para tanto, primeiramente realizou-se um estudo de diferentes sincronias da preposição de por meio de consultas a verbetes dessa preposição em dicionários de latim, dicionários etimológicos e dicionários dos séculos XIX, XX e XXI. Tal estudo partiu da observação das acepções latinas de de que se mantiveram ou desapareceram no português através dessas sincronias, com o objetivo de se identificarem os traços semânticos etimológicos da preposição. A partir daí, passou-se à análise dos sentidos expressos pelas acepções sincrônicas do século XXI através da Teoria dos Protótipos de Kleiber, em sua versão Ampliada, contrastando-se as relações semânticas entre os sentidos atuais e aqueles que lhes deram origem. Com base nesses dados, apresentamos uma proposta de organização das informações etimológicas da preposição de para textos lexicográficos. / Esta investigación tuvo como objetivo analizar el semanticismo de la preposición de, contribuyendo a la sistematización y organización de la información etimológica en textos lexicográficos. Para eso, primeramente se realizó un estudio de distintas sincronías de la preposición de por medio de consultas a los verbetes de tal preposición en diccionarios de latín, diccionarios etimológicos y diccionarios de los siglos XIX, XX y XXI. Dicho estudio partió de las acepciones latinas de de que se mantuvieran y desparecieran en el portugués a través de esas sincronías, con la finalidad de se identificar los rasgos semánticos etimológicos de la preposición. Después, se pasó a la análize de los sentidos expresos por las acepciones sincrónicas del siglo XXI a partir de la Teoría de los Prototipos de Kleiber, versión Ampliada, enfatizando las relaciones semánticas entre los sentidos actuales y los sentidos que les originaran. Propusimos, por fin, una posible organización de las informaciones etimológicas de la preposición de para textos lexicográficos.

As pesquisas envolvendo a compreensão de enunciados metafóricos por autistas são unânimes em afirmar que esses indivíduos não compreendem metáforas. Os trabalhos que constituem esta tese questionam estas evidências, com base em teorias contemporâneas nesta área, além de examinar o potencial valor de um tipo específico de enunciado metafórico - aproximações semânticas- como indicador de diagnóstico diferencial entre Transtorno Autista e T. de Asperger. Desta forma, o objetivo do primeiro estudo é apresentar teorias contemporâneas sobre enunciados metafóricos, discutindo-se a hipótese de que a dificuldade dos autistas não reside exatamente na compreensão de sentidos figurados, mas na sua incapacidade de incluir o contexto e/ou a intenção do outro na interpretação de um enunciado com sentido figurado. O segundo estudo investigou a relação entre a) a produção e a compreensão de enunciados metafóricos em crianças com Transtornos Globais do Desenvolvimento e b) enunciados metafóricos, idade de desenvolvimento e a habilidade de Teoria da Mente. Por fim, o terceiro estudo averiguou a qualidade da produção de enunciados metafóricos do tipo aproximações semânticas em oito meninos, quatro com Transtorno Autista (AUT) e quatro com Transtorno de Asperger (ASP), equiparados pela idade de desenvolvimento, a fim de se examinar a hipótese levantada em estudos anteriores, de que a ausência de aproximações semânticas por crianças com T. de Asperger poderia ser um indicador precoce desta síndrome. Finalmente, no último capítulo, articulam-se os principais resultados destes três estudos, avaliando-se criticamente o trabalho realizado e apontando-se rumos para futuras pesquisas. / The research involving metaphorical expressions comprehension by people with autism are unanimous in affirming that these individuals do not understand metaphors. This thesis is composed by different studies that put this evidences into question, based on contemporaneous theories in this field and also examine the potential value of a specific methaforic expression (semantic approximation) as an indicator of differential diagnosis between Autistic Disorder and Asperger´s Disorder. Thus, the aim of the first study is to present contemporaneous theories about metaphorical expressions and to discuss the hypothesis that the difficulty of the autistic persons does not reside exactly in the comprehension of figurative aspects of language, but rather in the incapability of these subjects to take the context and / or the speaker's intention into account when interpretating an utterance with figurative meaning. The second study investigated the relation between a) the production and the comprehension of the metaphorical expressions in children with Pervasive Developmental Disorders and b) metaphorical expressions, developmental age and the Theory of Mind ability. Finally, the third study investigated the quality of the production of metaphorical expressions such as semantic approximations in eight boys, four with Autistic Disorder (AUT) and four with Asperger´s Disorder (ASP), matched by developmental age aiming to examine the hypothesis raised by previous studies that children with Asperger Disorder could not produce semantic approximation as this finding could be an important criteria for precocious diagnosis. At last, the results of these three studies are articulated and the whole work is assessed critically with suggestions for further studies.

Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-05T19:48:46Z No. of bitstreams: 2 dissertacao_roberta_fernandes.pdf: 3832636 bytes, checksum: 3fe55db8660c170527380e407865a71b (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-05T19:48:46Z (GMT). No. of bitstreams: 2 dissertacao_roberta_fernandes.pdf: 3832636 bytes, checksum: 3fe55db8660c170527380e407865a71b (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-09-10 / No Brasil atualmente, quantidades consideráveis de dados úteis à vigilância epidemiológica encontram-se armazenados nos bancos de dados dos diversos sistemas de informações em saúde criados pelo Ministério da Saúde. Esse dados, dispostos em fontes de dados isoladas e de sintaxes heterogêneas, muitas vezes não podem ser comparados, pois representações tabulares não possuem uma semântica explícita. Além disso, as ferramentas utilizadas para a integração dessas bases de dados, preocupam-se apenas em listar os casos em comum presentes nas duas bases de dados, deixando a análise e extração das informações úteis à epidemiologia, a cargo dos profissionais treinados na ferramenta. Com base nesse cenário, esse estudo propõe uma solução de integração de dados baseada em ontologias. Pretende-se, com os dados epidemiológicos integrados através de ontologias e empregados através de ferramentas oriundas dos padrões da Web Semântica (WS), minimizar a intervenção humana no processo de análise dos dados, provendo assim maior agilidade ao acesso de informações advindas das fontes de dados de saúde. Para ilustrar a utilidade e complexidade de tal solução foi construído um estudo de caso real de integração semântica dos dados através do emprego de múltiplas ontologias com informações sobre a Classificação Estatística Internacional de Doenças e Problemas Relacionados à Saúde (CID-10), localização geográfica, doenças negligenciadas (Leishmaniose, Dengue, entre outras) e morbidade - com as fontes de dados do Ministério da Saúde (MS) citadas de forma a explorar os dados no contexto epidemiológico. Através dessa abordagem, em comparação a consultas relacionais em bancos de dados isolados, é ilustrado o enriquecimento das consultas complexas aos dados de saúde com a integração de conhecimento de diferentes naturezas (geográfico e de doenças) e utilizando raciocínio automático não-trivial.

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-01-19T17:04:34Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) GIovannyTesis.pdf: 1126817 bytes, checksum: 54a975f083d8ea416057bffa468c281c (MD5) / Made available in DSpace on 2016-01-19T17:04:34Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) GIovannyTesis.pdf: 1126817 bytes, checksum: 54a975f083d8ea416057bffa468c281c (MD5) Previous issue date: 2015-03-16 / CAPES / CNPq / There are several approaches to defining a formal semantics of a programming language. The main established ones are operational, denotational and axiomatic semantics. The first two rely on defining an explicit model, whereas the latter one is based on postulating relevant properties of the language in terms of axioms. Particularly, in a purely algebraic approach the axioms take the form of conditional equations (typically denoted as programming laws) that relate the language constructs. Without requiring an explicit model, the advantage of the algebraic approach is incrementality: the language can be extended and the laws tend to remain valid, provided the new constructs do not interfere with the behaviour of the original ones. Algebraic laws have been proposed to uncover interesting properties of several programming paradigms: imperative, logic, functional, concurrent and object oriented, among others. As for the other paradigms, there is a comprehensive set of laws for object oriented constructs, but these are restricted to a language with copy semantics; some laws to deal with references have also been proposed, but these are tailored to specific applications, and are far from being comprehensive. In general, formal reasoning with references has been a persistent challenge and algebraic approaches usually have avoided including them in programming languages. We propose a set of algebraic laws for reasoning about object oriented programs with a reference semantics. First we focus on sequential imperative programs that use object references like in Java. The theory is based on previous work by adding laws to cope with object references. The incrementality of the algebraic method is fundamental; with a few exceptions, existing laws for copy semantics are entirely reused, as they are not affected by the reference semantics. As an evidence of relative completeness, we show that any program can be transformed, through the use of our laws, to a normal form which simulates it using an explicit heap with copy semantics. Soundness is addressed by illustrating how some of the laws can be proved in a relational semantics for a subset of the language. We extend the theory of imperative programs for an object oriented language with the usual constructs: additional imperative commands with references, classes with inheritance and subtyping, visibility control, dynamic binding, type tests and downcasts. Algebraic laws are proposed for these new constructs. In order to illustrate the expressiveness of the laws for the object oriented language, we characterize and prove a set of refactorings from Fowler’s catalog. These are contrasted with previous work that formalized refactorings in the context of copy semantics. / Existem várias abordagens para descrever formalmente a semântica de linguagens de programação. As principais são semântica operacional, denotacional e axiomática. As duas primeiras definem modelos semânticos explícitos enquanto a última postula axiomas que descrevem propriedades relevantes da linguagem. Em uma abordagem puramente algébrica, os axiomas são equações (tipicamente denominadas leis de programação) que relacionam os diversos construtores da linguagem. A vantagem da álgebra é a facilidade de extensão: quando uma linguagem é estendida, a tendencia é que as leis já estabelecidas continuem sendo válidas, desde que os novos contrutores não interfiram com o comportamento dos construtores originais da linguagem Leis algébricas tem sido propostas para estudar propriedades interessantes de vários paradigmas de programação: imperativo, lógico, funcional, concorrente e orientado a objetos, entre outros. Em geral, para todos estes paradigmas existe um conjunto representativo de leis. Porém, para programação orientada a objetos, os trabalhos tem se restringido a linguagens com semântica de cópia ou as leis relacionadas com referências tem sido direcionadas somente para aplicações específicas e estão distantes de serem representativas. Em geral, raciocínio formal com referências tem sido um desafio persistente e os trabalhos algébricos usualmente tem evitado a inclusão de referências nas linguagens de programação. Propomos um conjunto de leis algébricas que permitem raciocinar com programas orientados a objetos com uma semântica de referências. Primeiro, focamos em uma linguagem imperativa sequencial que usa referências a objetos como em Java. A teoria é baseada em trabalhos anteriores adicionando leis que lidam com referências. A facilidade de extensão do método algébrico é fundamental; com poucas exeções, as leis anteriores para semântica de cópia são reusadas, pois elas não são afetadas pela semântica de referência. Como uma evidência de completude relativa, mostramos que qualquer programa pode ser transformado, usado as leis, em uma forma normal que simula o programa original usando um heap explícito com semântica de cópia. A consistência (soundness) das leis é abordada ilustrando como algumas das leis podem ser provadas em uma semântica relacional para um subconjunto da linguagem. Estendemos a teoria de programas imperativos para uma linguagem orientada a objetos com os habituais construtores: comandos imperativos adicionais com referências, classes com herança e subtipos, controle de visibilidade, amarração dinâmica, e testes e casts de tipos. Leis são propostas para estes novos construtores. Para ilustrar a expressividade das leis para a linguagem orientada a objetos, caracterizamos e provamos um conjunto de refatorações do catalógo clássico de Fowler. Comparamos nossa apresentação com trabalhos anteriores que formalizaram refatorações em um contexto de semântica de cópia.

Made available in DSpace on 2014-06-12T15:56:37Z (GMT). No. of bitstreams: 2 arquivo2957_1.pdf: 1211049 bytes, checksum: 7271cbf6edc1ea612933219d2dca57b6 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Devido às limitações da Web Atua iniciou-se o desenvolvimento de uma evolução da Web, denominada Web Semântica. Nesta nova Web, o conteúdo e a apresentação das informações devem estar separados e representados em uma notação adequada as novas necessidades da comunidade digital. Devido a isso, várias áreas de pesquisa, como por exemplo, a representação do conhecimento e o raciocínio automático, estão trabalhando com o intuito de tornar a Web Semântica uma realidade. Normalmente, o conhecimento é formado por várias partes e nem sempre é possível representá-lo, apropriadamente, utilizando um único formalismo de representação. Devido a isso, sistemas que lidam com representações diferentes podem ser de grande ajuda. O objetivo deste trabalho é estudar formalismos de representação de conhecimento e métodos de raciocínio automático, para propor um motor de inferência híbrido, chamado MONK, que possa ser utilizado na Web Semântica. Para a criação do MONK foi utilizado como base o projeto do sistema MANTRA. Foram mantidos os algoritmos de unificação (Martelli e Montanari) e inferência (t-entailment), pois são algoritmos decidíveis e eficientes, mas a arquitetura foi modificada para facilitar a inclusão futura de novos formalismos, como Frames, Redes Semânticas e Lógica de Descrições (usada na OWL, que é a linguagem padronizada para a Web Semântica). O MONK dá ênfase a Lógica de Primeira Ordem (baseada em uma Lógica de Quatro Valores), tornando-a seu formalismo padrão. Com isso, desde que algum formalismo possua um mapeamento para a Lógica de Primeira Ordem, ele poderá ser suportado pelo MONK sem que seja necessário implementar novos algoritmos de raciocínio

Made available in DSpace on 2014-06-12T15:57:09Z (GMT). No. of bitstreams: 2 arquivo3145_1.pdf: 1882548 bytes, checksum: 53ccbdf2ab11952ee38813ea044d4987 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / A Web Semântica é uma extensão da Web atual onde é atribuído significado bem definido às informações, permitindo sua melhor manipulação pelos programas, que podem se encarregar de tarefas mais sofisticadas. Para viabilizar este cenário, é necessário que os programas tenham acesso a coleções de informações estruturadas e conjuntos de regras de inferência a partir das quais possam fazer raciocínio automatizado. Para que a Web Semântica possa se desenvolver, os sistemas de representação de conhecimento devem compartilhar as definições de conceitos comuns e isto pode ser alcançado aplicando-se ontologias. A publicação destas ontologias na Web torna seus conceitos globalmente acessíveis, permitindo que qualquer sistema, na rede, possa referenciar e buscar informações nelas. Informática Médica lida com armazenamento, recuperação e uso da informação, dados e conhecimento biomédicos. O registro eletrônico de informações de pacientes, apoio a tomada de decisões e a assistência remota estão entre as áreas em que a Informática Médica vem se desenvolvendo. Além disso, pela natureza da área, onde as informações dos pacientes ficam fragmentadas em diversos estabelecimentos de saúde, também existe um grande esforço para promover a interoperabilidade entre os sistemas utilizados em cada um destes estabelecimentos. Uma vez que estes sistemas lidam com um grande volume de dados e com necessidades constantes de integração e extração de informações, alguns dos maiores progressos no campo da Web Semântica vêm ocorrendo na área de saúde. Na Universidade Federal de Pernambuco, o Núcleo de Telesaúde atua no desenvolvimento e aplicação da Informática Médica, e disponibiliza o sistema Healthnet, pelo qual seus parceiros podem discutir casos clínicos na Internet. Uma nova versão deste sistema está sendo desenvolvida, e o objetivo deste trabalho é incluir nela tecnologias da Web Semântica, buscando prover apoio aos usuários na utilização do sistema. Para tanto, foi criada uma ontologia e definidos novos componentes na composição do sistema que viabilizem a criação de uma base de conhecimento e permitam seu acesso ao usuário. Foi, ainda, definido um método para guiar extensões da ontologia para possibilitar o apoio às pesquisas e processos de tomada de decisão executados pelos usuários do Healthnet. O rastreamento de pacientes com risco de desenvolver Doença Renal Crônica foi utilizado como estudo de caso, para verificar a viabilidade da solução