Pesquisa de Doutorado da Veronica

Com Daniel Schwabe Planilha com os exemplos de Query e Operações de contexto em H4: aqui Query Rewrite by Contextual Meta-Query: transformar uma consulta em grafo (K) com contexto incompleto em uma consulta em grafo (K') com contexto completo (em relação ao CKG) Tradutor NL em GQL : também faria uma meta-query para descobrir se existe um contexto que possa ligar duas entidades ou alegações no casos onde não encontrou um grafo de caminho mínimo (Steiner Tree). A meta-query seria para encontrar o que há de contexto em comum. Períodos sobrepostos ou consecutivos. Locais na mesma região ou próximos. Fontes com linha ideológica similar. Não é algoritmo de caminho usando igualdade de rótulos, o caminho depende de uma distância/proximidade semântica que está relacionada com o tipo de contexto. Exemplo: Duas alegações citadas em um mesmo documento, é uma relação implícita que com a exploração do contexto pode ser revelada de modo explícito. A interpretação semântica para determinar se est...

Apresentando o exemplo do H4 - História Geo-Politica do Brasil Dimensões: Temporal, Localização, Proveniência e Domínio Tipo de Contexto Genérico: é um tipo onde o engenheiro especifique que é importante mapear como contexto mas sem detalhar qual Exemplos de consulta 1) Estado do Brasil: caso onde o usuário conhece a entidade que existe no grafo 2) Brasil Colonial: caso onde o usuário não conhece as entidades concretas mas tem uma entidade abstrata em seu modelo mental que corresponde ao um período histórico A interface traduz para 3 nós de entidades concretas na consulta 3) Brasil de acordo com um sistema administrativo concreto: a interface constrói a query como um sub-grafo mas a query está incompleta quanto ao contexto.  A query está sintaticamente correta e produz um resultado correto pq a instância não tem casos adicionais mas para estar semanticamente correta deve incluir o contexto. Aqui se faz necessário uma meta-query para identificar que está incompleta e completar. Depo...

https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=a5db01c09691ef6da94774aedb7aca037c0fcbff Cafezeiro, I., Haeusler, E.H.: Semantic interoperability via category theory. In: Conferences in Research and Practice in Information Technology, vol. 83 (2006) Abstract The paper uses categorical limit and colimit to define operations of breaking and composing ontologies, formalizing usual concepts in ontologies (alignment, merge, integration, matching) and proposing a new operation (the hide operation). 1 Introduction In addition, restrictions are stated by the use of logical axioms given in some expressive language whose model-theoretic semantics provides meaning. [Além de classes e propriedades Ontologias também tem regras mas não fala de instâncias] Category Theory is an appropriate formal framework. First of all, because of the focus that is put in relationship (categorical morphisms) and not in entities (categorical object). In agreement with (i), entities are describe...