Sérgio & Daniel
Dentro da definição de Respostas Possíveis cabe esclarecer que existe um entendimento original que é literal e sintático com as variáveis unbounded e também um refinamento de utilizar valores default que são oriundos do Senso Comum
Implementação: queries em Kypher
K1: incompleta, completar com o contexto temporal e proveniência
K2: incompleta, completar com o contexto temporal e proveniência. Adicionar também operações do Contra Domínio para selecionar os "overlaps" dos períodos das alegações envolvidas
Nossa proposta não faz a tradução de linguagem natural para GQL. O ENQUANTO significa "overlap" mas esta tradução não seria nossa porém a infra-estrutura de Contexto permite realizar este tipo de tradução na camada de interface/conversão/tradução. Fazer de fato é trabalho futuro.
A Algebra de Contradomínio permite encontrar relações que não estão explícitamente representadas / materializadas no grafo através de arestas. Não é prático materializar todas as relações mas é possível explicitar na resposta.
Exemplo Ordenar números é uma forma de estabelecer relações como anterior /posterior.
A Lógica ao trabalhar com nulos é diferente. Assumir a data atual para a data final no lugar do nulo.
Unknown pode ser não se aplica ou não sabemos ... trocar por Undefined?
A regra poderia ser se for "capital de" e data de fim não existe ... então trocar por Corrente
O argumento em relação a aplicar a regra em um determinado relacionamento é melhor do que ser genérico.
No mundo aberto é difícil afirmar que algo não aconteceu.
K3: incompleta, e não existe relação entre os nós da consulta
Exemplo mais claro de relacionamentos que não estão explícitos no grafo. Requer o --force ao rodar no kgtk pois é um produto cartesiano.
Ilustrar algum caso com diferentes proveniências e diferentes datas do período para mostrar como é possível estabelecer um "Segundo X" versus "Segundo Y"
Exemplo do IBGE associa um peso a cada fonte (usando uma função) e faz um ranking para decidir de qual fonte um determinado atributo será utilizado
K4 e K5: Antes e Depois no Tempo
O Exemplo Espacial
1) Encontrar Geometrias
2) Estender o kgtk ou sqlite para utilizar operadores da Álgebra de Contradomínio Espacial
Sobre o prazo de defesa: Não posso ultrapassar novembro, final de setembro é o SBBD então a banca deve ser na primeira quinzena de outubro
O escopo do artigo de 6 páginas seria: o framework e o exemplo H4.
A tese será em inglês se houver recursos como o ChatGPT e Grammarly já que não tenho fluência na escrita. O inglês é melhor para os artigos depois. Escrever a tese em português quando a língua começar a atrapalhar e depois traduz.
Comentários
Postar um comentário
Sinta-se a vontade para comentar. Críticas construtivas são sempre bem vindas.