Pesquisa de Doutorado da Veronica

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...

 No dia 27/03/2023 realizei uma apresentação interna sobre o conceito Best Possible Answer para o professor Hermann. Segue o vídeo: Comentários: H: Abdução a partir da evidência selecionar a hipótese mais apropriada. Caminho contrário da Dedução. É necessário para o processo exploratório. D: Cada alegação contextualizada do KG seria uma evidência e a camada de confiança seria onde as hipóteses seriam avaliadas. H: Qual a relação entre o Contexto e a Confiança? O contexto refina o conhecimento.  V: As alegações contextualizadas são a entrada para a Camada de Confiança e as políticas de confiança podem utilizar o contexto. Exemplo da população do Brasil em 2010 de acordo com o IBGE.  D: Proveniência também é contexto H: Artigos sobre aplicações móveis que usam Ontologias Contextualizadas, ou seja, Ontologias de Domínio vinculadas a Ontologias de Fundamentação (links a seguir). A álgebra de contexto permite realizar operações de junção de mais de um contexto e operações...

Das leituras que fiz durante a minha pesquisa bibliográfica, a única abordagem que percebi que poderia ser aplicada para relacionar KG e redes sociais seria nas tarefas de fact-checking. Os 3 artigos abaixo apresentam um modelo de Alegações Contextualizados usando a Ontologia Schema.org que separa a proposição (justificativa e representação formal), a declaração (expressão da alegação) e o contexto da declaração realizada. As declarações podem estar associadas a qualquer recurso online (blogs, redes sociais, sites da imprensa, etc ...). É o caso de análise de discurso para identificar "Quem disse o quê", "Quando disse", "Onde disse" e "Por que disse" bem como ter UMA justificativa na forma de proposição para o que é dito mas o modelo NÃO prevê o contexto das proposições para uma avaliação de sua veracidade (uso a revisão de sites de Fact-Checking).     A separação  entre fato e alegação está definida da seguinte forma:  " the notion of a cla...

Prioridade Documento BPA Dados de Pits (8 dias para reunião) para prospectar Estudo de Caso Levantamento adicional WD sobre distinct values para complementar o estudo do artigo Discussões distinct-values constraint (Q21502410) Dois nós origem apontam para o mesmo destino mas o predicado tem uma constraint que está sendo violada. Também é multiplas perspectivas. Contexto default é para completar a query. Vamos sempre completar, se houver. Query completa é respondida como em BD, exato. External ID pode ter distinct values É contexto de proveniência Pode ter uma regra para verificar se mais de um nó aponta para este valor Identidade implica em Uniqueness Conflito não é novo, é de integração de banco de dados

 Thanks so much for sharing this, Daniel.  I found the discussion of how more rigorous use of qualifiers could aid trust very interesting. I also thought the Israel/Palestine and Crimea examples of disputed cases were illustrative and clarifying, as was the table displaying the frequency of disputed subjects (interesting it was so common for the creation of fictional characters).  In broad strokes, we are using wikidata to collect information about ethnic  groups (and to a lesser extent, political parties and armed groups) in Sub-Saharan Africa.  As we were familiarizing ourselves on the way group data is stored on wikidata, we noticed some challenges with the different entries for Irish Republican Army with respect to start date and end date (and in theory, members of IRA splinter groups which are still active or have been active since 2005 might reasonably challenge any of these end dates).  The q nodes which are relevant for this include:...