| dc.contributor | FREITAS, Frederico Luiz Gonçalves de | |
| dc.creator | BARROS, Rafael Cordeiro de | |
| dc.date | 2015-03-05T16:44:47Z | |
| dc.date | 2015-03-05T16:44:47Z | |
| dc.date | 2012-09-10 | |
| dc.identifier | BARROS, Rafael Cordeiro de. Uma abordagem de raciocínio espacial em lógica de descrições. Recife, 2012. 112 f. Dissertação (mestrado) -UFPE, Centro de Informática, Programa de Pós-graduação em Ciência da Computação, 2012. | |
| dc.identifier | https://repositorio.ufpe.br/handle/123456789/10769 | |
| dc.description | Os sistemas de bancos de dados espaciais (SBDEs) são capazes de manipular dados geográficos. Sua principal aplicação é em sistemas de informações geográficas (SIGs), pois disponibilizam diversas funções, como indexação, consultas, exibição gráfica e algoritmos geométricos. Por padrão, os SBDEs realizam consultas a posteriori, ou seja, as operações envolvidas em cada consulta são executadas no momento da solicitação do usuário. Por isso, as consultas espaciais, geralmente compostas de diversos cálculos geométricos, possuem alto custo computacional. Recentemente, surgiram abordagens que processam consultas sobre dados geográficos através de raciocínio espacial. Uma das vantagens disso é a capacidade de obter resultados utilizando lógica, evitando, dessa forma, muitos cálculos geométricos. O cálculo de conexões de regiões (Region Connection Calculus - RCC) é um exemplo de formalização bastante utilizado em raciocínio espacial, pois define axiomas de relacionamentos entre regiões, em lógica de primeira ordem. Disso posto, esta dissertação propõe uma nova abordagem de raciocínio espacial utilizando lógica de descrições. Nessa abordagem, um conjunto mínimo de relacionamentos espaciais é calculado a priori, por um SBDE, e armazenado em uma ontologia, formalizada com regras de composição de relacionamentos do RCC. Dessa forma, utilizando lógica de descrições e o conjunto inicial de relacionamentos, é possível raciocinar todos os outros relacionamentos definidos na ontologia RCC. A partir de então, consultas espaciais qualitativas podem ser realizadas sem a necessidade de cálculos geométricos sobre dados espaciais. Com o objetivo de validar a abordagem proposta, também foi realizada uma aplicação com dados reais do estado de Pernambuco, de difícil obtenção e tratamento. Apesar dessas dificuldades, a aplicação pôde ser utilizada concretamente para checagem semântica no projeto NTDO (Neglected Tropical Disease Ontology), em uma aplicação que processa dados públicos integrados de doenças tropicais negligenciáveis. | |
| dc.format | application/pdf | |
| dc.language | por | |
| dc.publisher | Universidade Federal de Pernambuco | |
| dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Brazil | |
| dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/br/ | |
| dc.subject | Raciocínio espacial | |
| dc.subject | Ontologias | |
| dc.subject | Cálculo de Conexões de Regiões (RCC) | |
| dc.subject | Sistemas de Banco de Dados Espaciais (SBDE) | |
| dc.title | Uma Abordagem de Raciocínio Espacial em Lógica de Descrições | |
| dc.type | masterThesis | |
