Вы находитесь на странице: 1из 10

1

Miriam Baglioni

Ontology-supported Querying of Geographical Databases

KDDLab Computer Science Department University of Pisa

Maria Vittoria Masserotti


KDDLab ISTI-CNR, Pisa KDDLab ISTI-CNR, Pisa ILC-CNR, Pisa

Laura Spinsanti Emiliano Giovannetti Chiara Renso


KDDLab ISTI-CNR, Pisa

Ontologia suportando perguntas de bases de dados geogrficos


Resumo Consultando os sistemas de informao geogrfica tem sido reconhecida como uma tarefa difcil para usurios no-especialista. Alm disso, as consultas do usurio so frequentemente
caracterizados por semntica aspectos no geridos directamente pelos tradicionais bancos de dados espaciais ou GIS. Exemplos de tais consultas semnticas geoespaciais so o uso de implcitos relaes espaciais entre objetos, ou a referncia de conceitos de domnio no explicitamente representado nos dados. Para lidar com essas consultas, que prev um sistema que traduz as consultas em linguagem natural espaciais em instrues SQL em um banco de dados, melhorando assim GIS com o novo padro capacidades semnticas. Dentro deste objetivo geral, a contribuio deste artigo introduzir uma metodologia para lidar com questes semnticas geoespaciais emitido mais de um banco de dados espacial. Esta abordagem semntica captura de uma ontologia construda sobre o banco de dados espacial e enriquecida por conceitos de domnio e propriedades especificamente definidas para representar a localizao de objetivos. Alguns exemplos da utilizao da metodologia no domnio urbano so apresentadas.

1 - Introduo

2 Nos ltimos anos, ontologias (Guarino 1998) tm ganhado interesse crescente no Comunidade GIS (Fonseca e Egnehofer 2000, Spaccapietra et al. 2004, Mark et al. 2006), porque eles so essenciais para a criao e utilizao de padres de dados, bem como humanos interfaces de computador e resolver problemas de heterogeneidade / interoperabilidade (Bolchini et al. 2006). O uso de ontologias como uma camada intermediria entre o usurio eo banco de dados acrescenta um nvel conceptual sobre os dados e permite ao usurio consultar o sistema sobre semntica conceitos, sem ter nenhuma informao especfica sobre o banco de dados na mo (Peuquet, 2002). Esta ontologia deve ser capaz de representar ambos os conceitos semnticos de alto nvel bem como os conceitos que tm uma correspondncia com as tabelas do banco. Isso permite que um construir um mapeamento entre os conceitos ontolgicos e dados. Essa ontologia pode ser construdos automaticamente (ou semi-automaticamente) a partir de um esquema de banco de dados e um representao do conhecimento do domnio (Baglioni et al. 2007). Nosso objetivo a longo prazo desenvolver uma interface de linguagem natural semntica geoespacial das bases de dados espaciais. A passo em frente para que o objectivo a definio de um mdulo de mapeamento, que, apoiado por uma ontologia geoespacial, traduz uma linguagem natural do usurio geoespaciais questo semntica uma consulta espacial adequado no banco de dados SQL. Neste contexto, o uso de ontologias j experimentou (por exemplo, Bartolini et al. 2006, Viegas e Soares 2006). Na verdade, ter uma representao conceptual e taxonmicos de dados geogrficos oferece a sistema de consulta com uma representao semntica de conceitos espaciais. Isso permite que o usurio a pose, semantic consultas geoespaciais, UA, em vez do clssico, as consultas geospatial, AU fornecidas pela linguagem de consulta do SGBD. Fundada sobre a metodologia introduzida no Baglioni et al. (2007), a contribuio do presente trabalho visa proporcionar GIS, com o apoio adequado para natural semntico consultas geoespaciais. Isto foi conseguido atravs da definio de um Ontology-based Natural Language Interface (OntoNLI) para bancos de dados espaciais. No presente artigo, damos alguns detalhes deste mdulo, motivando a sua utilidade por meio de exemplos de consultas semnticas geoespaciais que podem ser manipulados. Este artigo organizado da seguinte forma. A seo 2 apresenta os trabalhos relacionados, Seo 3 mostra o panorama da abordagem de compreenso de algumas consultas cenrio de exemplo. Ento, seco 4 discute a metodologia ea Seo 5 descreve The Natural A Representao Semntica Lngua Module (NL2SR): a partir de um general descrio e concluindo com a fundao formal da metodologia. Finalmente, Seo 6 contm as concluses e trabalhos futuros. 2 - Trabalhos Relacionados A parceria entre ontologias e GIS tem visto um crescente interesse na literatura dos ltimos anos (Fonseca e Egenhofer 1999, Mark et al. 2006). O papel da ontologia na cincia da informao geogrfica podem ser variados. Um tema bem conhecido apoio de ontologias para consulta espacial, como foi testemunhado por exemplo, os resultados da SPIRIT projeto (Fu et al. 2005), onde os mtodos para a ontologia baseada em consulta espacial expanso geogrfica para os motores de busca foram estudados.

3 Uma abordagem recente (Peachavanish e Karimi 2007) prope uma metodologia que explora ontologias para a interpretao de consultas geoespaciais. Comparado com nossa abordagem, eles propem uma mediao entre ontologias, em vez de uma ontologia Ontologia apoiado Consultando Bancos de Dados Geogrficos da Operaes em GIS processo de enriquecimento. Alm disso, sua abordagem mais conceitual e no com base diretamente no banco de dados tabelas. Eventualmente, eles no definem a localizao indireta questo (ver Seo 3).

A proposta de Torres et al. (2005) tem algumas semelhanas com a nossa, uma vez que o autores propem uma camada semntica ontolgica para consulta um banco de dados geogrficos. Em particular, essa abordagem permite que os usurios da comunidade diferente para o mesmo acesso geogrfico banco de dados. No entanto, comparado com a nossa abordagem, centra-se na representao de relaes espaciais, como os topolgico (toca, por exemplo), e no
considera especificamente o problema da localizao de um objeto geogrfico.

A questo da prestao de um Natural Language Interface para um banco de dados (NLIDB) tem sendo explorado desde o final dos anos 1960 (Androutsopoulis et al. 1995). Vrias estratgias foram adotadas, a fim de usar sem restries de linguagem natural consultas para acesso bases de dados, os mais avanados sendo aqueles que confiam em alguma forma de ontologia-driven anlise semntica da consulta expressa em uma representao semntica (SR) (Bartolini et al. 2006). A utilizao de um SR est bem consolidada no campo da NLIDBs. utilizado para a construo de uma representao intermediria da consulta do usurio que pode ser mais facilmente traduzidas para o final da instruo SQL. Para limitar a complexidade e ambiguidade intrnseca da linguagem natural alguns abordagens restringir o usurio a formular consultas usando uma linguagem "controlada". Um exemplo Bernstein et al. (2005), onde o usurio pode consultar uma ontologia atravs de uma subconjunto inequvoca de Ingls chamado ACE (Attempto controlada Ingls), definido por um gramtica com um pequeno conjunto de construes e regras de interpretao. Relativa aos sistemas que envolvem linguagens no-restrito, exatido Natural Idioma Interfaces (NLI) est fortemente relacionada presena de um componente do dilogo. Em particular, como discutido em Minock et al. (2008) sobre NLI para bancos de dados, um sistema deve, pelo menos, ser capaz de parafrasear a consulta do usurio de volta para eles durante responder apresentao ou a resoluo de ambigidade. 3 - Viso geral da abordagem A abordagem proposta melhora o trabalho apresentado Baglioni et al. (2007), onde um metodologia para extrao automtica de ontologias a partir de bancos de dados espaciais foi introduzidas. Ns apresentamos aqui um novo passo para a construo de uma NLI, apoiada por uma ontologia, que traduz as consultas em linguagem natural para o usurio correspondente espacial instrues SQL.

4 A arquitetura mostrada na Figura 1, inicialmente introduzido na obra citada, resume os passos da ontologia de extrao automtica do banco de dados espacial e introduz o novo mdulo. Uma Ontologia do aplicativo construdo a partir do banco de dados atravs da extrao Mdulo. Esta ontologia representa, por meio de conceitos e relaes, a estrutura do o banco
de dados onde as propriedades espaciais entre os objetos so explicitamente representados. Este ontologia ento enriquecido (atravs do mdulo de Enriquecimento) com uma ontologia de domnio, a fim para fornecer a semntica do domnio. O resultado Enriquecido Ontology representa uma semntica e vista taxonmico dos dados espaciais armazenados em base de dados geogrfica. Nesta artigo iremos concentrar-se na Ontologia baseada Natural Language Interface Module (OntoNLI) que nos permite traduzir as consultas do usurio em linguagem natural para o SQL espacial (OGC 2008). A contribuio da Baglioni et al. (2007) era triplo. Em primeiro lugar, os autores definiram uma ontologia has_georef geoespaciais onde as propriedades e has_geometry foram introduzidas

Figura 1 A arquitetura proposta

Figura 2 Um exemplo de ontologia enriquecido no domnio urbano

5 sobre os objetos geogrficos para indicar a localizao de coordenadas e geometria do objeto, , respectivamente. A Figura 2 mostra um fragmento de uma ontologia urbana, incluindo os dois propriedades, que sero usados nos exemplos ao longo deste artigo. Em segundo lugar, o conceito de localizao indireta foi introduzido ( is_at propriedade em Figura 2) permitindo que o sistema para responder a questes de localizao, mesmo quando no geomtrica coordenadas aparecem na tabela consultada e, ao mesmo tempo, existe uma chave estrangeira a uma tabela de dados georreferenciados. Como exemplo, vamos considerar um Museu tabela sem geometria 1 atributo, e com uma chave estrangeira para a
StreetNumber tabela, que por sua vez, tem uma geometria atributo. A existncia de uma referncia entre as duas tabelas chamado "Localizao indireta", no sentido de que os museus podem ser localizados indiretamente com a posio do seu nmero da rua. Vale a pena notar que o is_at propriedade expressa a juno entre duas tabelas no nvel ontolgico. Assim, ele pode ser facilmente tratada pelo usurio genricos, mesmo que no seja um programador competente SQL com uma completa compreenso das tabelas do banco de dados. A terceira contribuio do trabalho citado foi a definio do enriquecimento semntico processo de um banco de dados espaciais por meio de uma ontologia de domnio geo-espacial, que permite que o usurio para se referir a conceitos semnticos que no tem um mapeamento direto para tabelas de banco de dados. Como conseqncia, os conceitos da ontologia enriquecido pode ser de dois tipos: conceitos que correspondem s tabelas do banco de dados e conceitos que representam a semntica abstrao sobre eles. Mais precisamente, as folhas da rvore representam a taxonomia classes derivadas da ontologia de aplicao (de agora em diante indicada como Folha conceitos) ter uma correspondncia directa com as tabelas do banco. O restante da taxonomia corresponde aos conceitos de domnio Ontology ( N conceitos) e no se refere a quadros originais. A contribuio do presente trabalho aprimorar o trabalho anterior, definindo um mdulo de mapeamento que traa para trs conceitos de ontologias para enriquecer o espao banco de dados (W3C RDB2RDF Incubadora Group 2008). Este mdulo foi concebido como um NLIDB e baseado em um robusto mecanismo de processamento de linguagem natural, como descrito em Bartolini et al. (2004, 2006). Este mdulo foi chamado OntoNLI , E composto por Linguagem Natural para o Mdulo representao semntica (NL2SR) e o Representao semntica de SQL Mdulo (SR2SQL), como mostrado na Figura 3. O mdulo NL2SR traduz a consulta em linguagem natural em um SR. Em particular, a representao da consulta produzido por NL2SR se destina a captar o que formalmente o sistema de "entende" ser a semntica da entrada de linguagem natural. Esta etapa apoiada por uma ontologia e uma gazetteer associados, representando a correspondncia

Figura 3: Ontologia baseada Natural Language Interface (onto-ITN) Mdulo das entidades nome do domnio com um conceito de ontologia. SR2SQL est a cargo da traduzindo o SR da
consulta em (espacial) sentenas SQL para obter os dados do banco de dados espacial. A resposta , ento, retornou para

6
o usurio. Neste artigo nos concentramos apenas no mdulo NL2SR introduzir uma nova abordagem para a construo da SR com base na ontologia, conforme apresentado na Seo 5.

Na prxima subseo, apresentamos alguns cenrios de exemplo para mostrar o potencial de a


abordagem proposta em responder consultas semnticas geoespaciais.

3.1 - Viso geral de consulta Para o primeiro caso, vamos supor que temos um Museu tabela com, entre outros, um endereo atributo, mas no geometria atributo. Notamos que neste caso, um padro GIS sistema ou banco de dados espacial
incapaz de responder consulta "Onde est o museu Uffizi?" (Possivelmente codificadas como consulta SQL), desde a localizao (indicado por "onde") est por definio codificada em um atributo de geometria. No entanto, a metodologia proposta capaz de fornecer a informao textual contida no endereo campo, eventualmente, aps um tratamento de prprocessamento, como em Davis e Fonseca (2007). No segundo cenrio, o Museu tabela contm nenhum atributo de uma geometria, nem um atributo de endereo, mas ele tem uma referncia a uma chave estrangeira StreetNumber tabela. Neste caso, o consulta usual " Onde est o museu Uffizi? "Pode ser respondida explorando localizao indireta. No terceiro exemplo, os museus so codificados em tabelas diferentes de acordo com suas tipo, por exemplo, ArtGallery , Histrico , Cincia , Etc Vamos supor que o nome "Uffizi" contidas no ArtGallery tabela. A consulta pode ser usual aqui tratadas e respondidas previstas pelo sistema, acessando o gazetteer, previamente preenchida com os nomes dos museus como aparecem no banco de dados. Esta liga "Uffizi" para o ArtGallery conceito e fornece uma resposta, consultando a ArtGallery tabela. Como um ltimo cenrio, considere a consulta: " Quais so os museus da Cidade Velha rea? ". Esse tipo de consulta emitida em GIS / Sistema de banco de dados espacial requer a identificao do operador espacial correta para indicar o confinamento dos museus em rea especfica. Obviamente, o operador correto espacial depende da geometria do objetos envolvidos. Neste exemplo, podemos supor que Museu um ponto, e "Old Town ", sendo um Trimestre , um polgono, exigindo assim a utilizao do dentro operador. Em um sistema tradicional o operador correta determinada pelo perito. Nossa metodologia permite a automao do processo usando a ontologia para capturar a topologia correta operador, dependendo do sentido da frase e da natureza geomtrica do objetos. Para um tratamento completo de linguagem natural (Ingls), relaes espaciais, envolvendo tanto as relaes topolgicas e mtricas, consulte Shariff et al. (1998) e Schwering (2007). Quando a consulta do usurio contm os termos que no podem ser mapeados em conceitos ou propriedades da ontologia, e que no pode ser encontrada dentro do gazetteer, a consulta traduo interrompida. Uma possvel soluo para este problema a introduo de um dilogo componente do sistema de interagir com o usurio solicitando a reformulao da sentena.

4 Metodologia O objetivo do mdulo OntoNLI traduzir uma linguagem natural geoespacial semntica consulta para uma declarao SQL apropriada espacial, com o apoio da ontologia enriquecido A traduo da consulta em linguagem natural para a SR relativa realizado pela primeira linguisticamente analisar a consulta em uma srie de etapas (como mostrado na Seo 5). Em segundo lugar, a traduo concluda, explorando a ontologia de interpretar corretamente consultas geoespaciais, como mostrado nos exemplos seguintes. Em especial a Seo 5.1 mostra o formalizao desta etapa. O primeiro Natural Query Language (NLQ), d a intuio sobre como fazer corretamente ontologia mapa N conceitos de tabelas de banco de dados. NLQ1 " Quais so os museus com guias de Ingls? " Aqui, o conceito interessante Museu referente a um Atributo Guia de Ingls . O conceitos de consulta so mapeados para a ontologia enriquecido e dois casos so possveis: 1. O Museu conceito uma Folha , Ento o sistema remete directamente para a correspondente tabela de banco de dados. 2. O Museu conceito uma N , Ento o sistema navega recursivamente as ontologia para encontrar todas as folhas "crianas" conceitos. Em seguida, procede como em (1). Em relao ao fragmento da ontologia da Figura 2, o mdulo OntoNLI procura por um conceito chamado Museu na ontologia enriquecido. Aqui, Museu tem dois sub-conceitos ( ArtMuseum e ScienceMuseum ). Isto significa que necessrio procurar as ontologia at que as folhas so atingidos e as tabelas correspondentes so mapeados. Uma vez que os dois Folha conceitos so encontrados, a propriedade has_guide usado para filtrar a resultados, buscando apenas os museus (tanto da cincia e da arte) que fornecem um guia

7 Ingls. No que diz respeito " Onde est "Perguntas, vamos considerar o seguinte: NLQ2 " Onde est Uffizi? " Em geral, uma vez " Onde est "Consulta emitida temos trs tipos diferentes de informaes de localizao do objeto previsto, conforme resumido na Tabela 1, dando origem a trs casos diferentes: 1. O objeto referido directamente localizadas, isto , "geo" com preciso coordenadas geogrficas ("SIM" na
coluna "geometria" da Tabela 1);

Tabela 1 informaes da localizao de objetos espaciais DESENHO DE TABELA 2. A tabela tem um objeto referido endereo textual ("SIM" na coluna "endereo" do Tabela 1); 3. O objeto indirectamente referido localizada ("SIM" na coluna "is_at" da Tabela 1). de notar que um SIG padro capaz de responder apenas o primeiro caso, enquanto que vale a pena ITN, como a introduzida no Bartolini et al. (2006), tambm pode responder ao segundo caso. A metodologia
que propomos pode gerenciar todos os processos, fornecendo informaes sobre a entidade georreferenciada indirectos (por exemplo, a estrada e / ou nmero da rua). Em geral, a estratgia propomos responder com tanta informao quanto possvel, isto , explorando todas as possveis respostas "sim" na Tabela 1. Consultas explcito envolvendo relaes espaciais estabelecidas entre os dois geo-referenciadas objetos (por exemplo " Quais so os parques contidos no bairro de Santa Maria? ") Pode ser controlado pelo mapeamento do predicado "contida" no operador espacial GIS conter . A ltima categoria de consultas que envolve introduzir implcito relaes espaciais. Sempre que no h nenhuma maneira de mapear inequivocamente uma preposio ou verbo localizao (em a consulta em linguagem natural) para o operador espacial relativa (a aparecer no final do SQL declarao), a ontologia de apoio pode ser usado para interpretar corretamente a preposio. Isto feito atravs da verificao da ontologia para a geometria das entidades envolvidas na consulta e selecionar o operador espacial correto a ser utilizado.

Vamos considerar, por exemplo, as consultas a seguir: NLQ3 " Quais so as ciclovias no bairro San Biagio? " NLQ4 " Quais so os museus de arte na zona pedonal? " NLQ5 " Quais so os parques de San Biagio trimestre? " NLQ6 " Onde esto os museus de arte de rua em Corso Italia? " Os conceitos e CycleLane Bairro constantes NLQ3, por exemplo, so GeographicObjects (ver figura 2) e assim eles herdaro a has_geometry propriedade. Em particular, CycleLane uma linha e do Bairro um polgono, de forma a preposio em ser mapeado para o operador "cross espacial (uma vez que as linhas cruzadas polgonos (OGC 2008)). Da mesma forma, possvel interpretar a preposio em como o "contm" em NLQ4 (entre um ponto e um polgono). Finalmente, no pode ser mapeado com "cruzam" em NLQ5 (envolvendo dois polgonos) e com a "cruz" em NLQ6 (um ponto e uma linha). Consultas em que as relaes espaciais so representados por verbos em vez de preposies so geralmente inequvoca. Por exemplo, as consultas "Qual das ruas que cruzam o rio Arno?" envolve o operador de cruzamento espacial, enquanto que a consulta "D-me todos os quadrados contendo uma fonte "se refere ao" conter "o operador. 5 A Linguagem Natural para o Mdulo representao semntica
A fim de obter a partir da NLQ a declarao final do SQL necessrio primeiro semanticamente interpretar e traduzir a questo do usurio em uma SR que ser ento mais traduzida em uma instruo SQL. O primeiro passo do processo o tokenization da consulta (ou seja, segment-lo em unidades ortogrficas), seguido da anlise morfolgica e Part-of-Speech tagging (Al Dell'Orletta al. 2007). A declarao de linguagem natural , ento, analisadas sintaticamente com um processo chamado chunking (ou seja, segmentar o texto de base no recursivo constituintes, ou pedaos (Lenci et al. 2001)). Cada pedao contm uma indicao da sua (Obrigatrio) cabea lexical, modificadores opcionais e determinantes e introduzindo um ou mais preposies. A anlise funcional (Bartolini et al. 2004) da consulta fragmentada, em seguida, necessrios para ligar a cabea lexical com as relaes gramaticais (como sujeito, directobject, complementar, modificador e argumento), completando assim a anlise sinttica e permitindo a produo do SR final (Bartolini et al. 2006). A seguir, mostra a abordagem que adotamos para explorar a utilidade ontologia enriquecido para esta tarefa particular. Ns tomamos as metodologias consolidadas disponveis na literatura como ponto de partida para construir o mdulo NL2SR. Na verdade, ns introduzir a ontologia baseada etapa de enriquecimento semntico de representao, formalmente definido na Seo 5.1.

8
Durante esta etapa de traduo preciso tratar explicitamente a referncia ontologia N conceitos, localizao espacial indireta e implcita relacionamentos, como ilustrado nos exemplos a seguir. Para explicar como os conceitos de n so tratados, vamos considerar NLQ1 e um banco de dados contendo os ScienceMuseum ArtMuseum e tabelas. Primeiro de tudo, o mdulo verificar os conceitos da folha na ontologia (Figura 2) a partir do conceito de Museu, encontrando assim ScienceMuseum e ArtMuseum. Ento, um conjunto de SR (chamado SRs1) produzido, onde substitudo pelo Museu duas folhas correspondentes, produzindo duas SRs distintas:

SRs1: <Science Museum> --> is_science_museum(Science Museum), has_guide(Science Museum, english). <Art Museum> --> is_art_museum(Art Museum), has_guide (Art Museum, english). Vamos considerar o NLQ2 consulta. Em primeiro lugar, as verificaes mdulo gazetteer ao descobrir que "Uffizi" um ArtMuseum. Ento, uma vez que a consulta um "Onde est a" consulta, o mdulo verifica o tipo de localizao. Se o conceito "indiretamente" localizada (isto , no tem um has_address e / ou propriedade has_georef), o mdulo explora a propriedade is_at tornando explcito na SR a localizao indireta. Assumindo que a localizao indireta para StreetNumber, como na Figura 2, o
SR da consulta :

SR2: <Art Museum, Street Number> --> is_art_museum(Art Museum), has_name(Art Museum, Uffizi), is_at(Art Museum, Street Number) Vamos considerar o NLQ2 consulta. Em primeiro lugar, as verificaes mdulo gazetteer ao descobrir que "Uffizi" um ArtMuseum. Ento, uma vez que a consulta um "Onde est a" consulta, o mdulo verifica o tipo de localizao. Se o conceito "indiretamente" localizada (isto , no tem um has_address e / ou propriedade has_georef), o mdulo explora a propriedade is_at tornando explcito na SR a localizao indireta. Assumindo que a localizao indireta para StreetNumber, como na Figura 2, o
SR da consulta :

SR3: <Cycle Lane> --> is_cycle_lane(Cycle Lane), is_quarter(San Biagio), cross(Cycle Lane, San Biagio). SR4: <Art Museum> --> is_art_museum(Art Museum), is_pedestrian_area(Pedestrian Area), contain(Pedestrian Area, Art Museum). 5,1 - Fundao da Ontologia baseada etapa de enriquecimento SR Esta seo mostra a fundao formal da metodologia, introduzida pela exemplos nas sees anteriores. Como mostrado anteriormente, os tipos de consultas que o sistema de suporte podero explorar tanto a taxonomia ea localizao direta / indireta de um objeto durante a aplicao do (espacial) relaes
necessrias para responder s perguntas. Ao considerar um conceito, preciso saber se um n ou folha, pois s os conceitos mapeados para tabelas podem ser consultados pelo SQL. Antes de ir para ver como que "navegar" na taxonomia para encontrar as folhas, deixe-nos brevemente recordar o que uma ontologia. Formalmente, uma ontologia um O 5-tuple: = (C, R, HC, rel, A0) onde C um conjunto de conceitos, que representa as entidades no domnio da ontologia; R um conjunto de relaes entre os conceitos definidos; HC uma taxonomia ou hierarquia de conceitos, que define as relaes entre os conceitos is_a (HC (C1, C2) significa que C1 um subconcept de C2, C2 ou em outras palavras,

9
uma me de C1), rel: R C C uma funo que especifica as relaes em R (rel (R) = (C1, C2) tambm escrita como R (C1, C2)). Finalmente, A0 o conjunto de axiomas expressos em uma linguagem lgica, como lgica de primeira ordem. Agora podemos definir a funo das folhas que, dado um conceito na ontologia, Retorna o conjunto de seus filhos que so folhas

(1) Note que a definio recursiva da funo de pra porque a taxonomia do uma relao, finito. O primeiro passo reduzir a zero o nvel de abstrao de cada conceito, substituindo com todas as crianas de suas folhas. Este processo produz um conjunto de representaes semnticas (SRs),
contendo uma SR para cada combinao dos conceitos de folhas. Para executar Nesta etapa, usamos as regras (2) e (3):

(2) A referida regra a regra de terminao, onde SRs o conjunto de Semntica Representaes associadas consulta do usurio, e S a ontologia enriquecido de referncia.Esta regra estabelece que, se cada predicado unrio de cada SR tem como argumento um conceito que pode ser associado a uma folha de ontologia, ento chegamos SRs final definido ea reescrever processo pra. (3) A referida regra a regra de iterao, onde SRs o conjunto de Semntica Representaes da consulta do usurio, e S a ontologia enriquecido de referncia. Essa regra afirma que se uma representao
semntica (s) que tenha pelo menos um predicado unrio conta como um argumento de um conceito que pode ser associado a um n existente na ontologia SRs, em seguida, um novo conjunto de representaes semnticas produzido. Este novo conjunto composto pelo unio das representaes semnticas que no contm o predicado com a reformulao dos SRs contendo o predicado. A reformulao obtido atravs da substituio do unrio predicado (p (a)), na representao semntica com o associado para que a folha substitutos para a entidade (s p (l)). Em seguida, cada referncia a um na representao semntica substituda por uma referncia l. O mesmo acontece para cada conceito no Folhas da entidade. A regra repetido para cada conceito n da ontologia. O processo de reescrita termina porque a taxonomia da relao is_a finito. Uma vez no cho "representaes semnticas so obtidos, temos que verificar a sua forma de localizao. Para cada "Onde est a questo", um predicado is_located produzido na SR inicial, e a presena do predicado (no ter o segundo parmetro especificadas) que nos diz que temos de localizar alguma coisa. Para fazer isso, use a regra:

(4) SRs, onde o conjunto de representaes produzidas pela semntica das regras (2) e (3), e a ssim cada
um dos argumentos predicados referem-se a ontologia Folha, e O o enriquecimento ontologia. Loc (s, S) uma funo definida da seguinte forma: ( 5) O definido em funo de uma representao das tabelas do banco de dados e suas propriedades.

Por exemplo, a folha do Museu Histrico ter uma representao de pelo menos referncias para as propriedades: has_geometry, has_georef, is_at e os conceitos correspondentes: Geometria, GEOREF, StreetNumber. A funo definido como segue: : property = propriedade domnio codomain (6) O ltimo passo na reformulao do SRS verific-los para implcito relaes espaciais que tm que ser explicitadas. Implcita uma relao espacial reconhecvel graas ao predicado produzidos na SR inicial. Esta etapa resolvido pela seguinte regra:
(7)

SRs, onde o conjunto de representaes semnticas obtidos com a regra (4), O o enriquecimento ontologia, e Spa a funo definida na equao (8), onde rel -1 a inversa da rel que, dado dois conceitos, retorna as propriedades que os ligam. (8) 6 - Concluses e Trabalho Futuro

10 Neste artigo apresentamos uma metodologia para traduzir as consultas em lngua natural declaraes directamente ligado s tabelas do banco de dados de explorao de uma semntica geoespaciais enriquecido ontologia desenvolvida a partir de um geodatabase. Temos tambm mostrado que, pela adio de uma semntica camada de abstrao, podemos nos referir a conceitos que no tm correspondncia direta com o banco de dados tabela. Isto d ao usurio um maior poder expressivo e uma viso
semntica dos dados geogrficos. Este um passo rumo a um sistema de consulta geoespacial semntica para melhorar caractersticas padro GIS. Nossos trabalhos em curso incluem a formalizao da abordagem de extenso (Androutsopoulos et al. 1995), a fim de concluir o mdulo OntoNLI detalhando o SR2SQL mdulo. Algumas consultas semntica interessante para aprofundar so: "Quais so os hotis que tm o lugar turstico mais interessante perto deles? "ou" Que lugares tursticos interessantes perto uns aos outros? ". Estas consultas abrangem muitos aspectos interessantes, tanto da lingstica e os pontos de vista semntico, apoiando o usurio na melhor expresso qualitativa relaes espaciais. Para este efeito (Dolbear e Hart 2007) poderia ser um trabalho interessante para o tratamento de "proximidade" e outras implcitas relaes espaciais.