English
Related papers

Related papers: From Line Knowledge Digraphs to Sheaf Semantics: A…

200 papers

Human knowledge provides a formal understanding of the world. Knowledge graphs that represent structural relations between entities have become an increasingly popular research direction towards cognition and human-level intelligence. In…

Computation and Language · Computer Science 2021-04-02 Shaoxiong Ji , Shirui Pan , Erik Cambria , Pekka Marttinen , Philip S. Yu

Every known artificial deep neural network (DNN) corresponds to an object in a canonical Grothendieck's topos; its learning dynamic corresponds to a flow of morphisms in this topos. Invariance structures in the layers (like CNNs or LSTMs)…

Algebraic Topology · Mathematics 2022-06-17 Jean-Claude Belfiore , Daniel Bennequin

We present a hierarchical knowledge graph framework for the structured semantic understanding of visual narratives, using comics as a representative domain for multimodal storytelling. The framework organizes narrative content across three…

Multimedia · Computer Science 2025-11-18 Yi-Chun Chen

Scene graphs are powerful representations that parse images into their abstract semantic elements, i.e., objects and their interactions, which facilitates visual comprehension and explainable reasoning. On the other hand, commonsense…

Computer Vision and Pattern Recognition · Computer Science 2020-07-21 Alireza Zareian , Svebor Karaman , Shih-Fu Chang

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

Logic in Computer Science · Computer Science 2026-05-07 Matthijs Vákár

Natural language definitions of terms can serve as a rich source of knowledge, but structuring them into a comprehensible semantic model is essential to enable them to be used in semantic interpretation tasks. We propose a method and…

Computation and Language · Computer Science 2018-06-21 Vivian S. Silva , André Freitas , Siegfried Handschuh

What is a time-varying graph, a time-varying topological space, or, more generally, a mathematical structure that evolves over time? In this work, we lay the foundations for a general theory of temporal data by introducing categories of…

Category Theory · Mathematics 2026-04-22 Benjamin Merlin Bumpus , James Fairbanks , Martti Karvonen , Wilmer Leal , Frédéric Simard

We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…

Logic · Mathematics 2014-09-05 Fabio Pasquali

Large knowledge graphs combine human knowledge garnered from projects ranging from academia and institutions to enterprises and crowdsourcing. Within such graphs, each relationship between two nodes represents a basic fact involving these…

Artificial Intelligence · Computer Science 2024-06-11 Loïck Lhote , Béatrice Markhoff , Arnaud Soulet

The knowledge-grounded dialogue task aims to generate responses that convey information from given knowledge documents. However, it is a challenge for the current sequence-based model to acquire knowledge from complex documents and…

Computation and Language · Computer Science 2024-05-17 Yizhe Yang , Heyan Huang , Yang Gao , Jiawei Li and

Foundation models excel at language, where sentences become tokens, and vision, where images become pixels, because both reduce to discrete symbols on a shared, fixed grid. Knowledge Graphs share the discreteness, but not the geometry.…

Artificial Intelligence · Computer Science 2026-05-08 Kossi Amouzouvi , Robert Wardenga , Jens Lehmann , Sahar Vahdati

Topology identification and inference of processes evolving over graphs arise in timely applications involving brain, transportation, financial, power, as well as social and information networks. This chapter provides an overview of graph…

Signal Processing · Electrical Eng. & Systems 2025-12-12 Gonzalo Mateos , Yanning Shen , Georgios B. Giannakis , Ananthram Swami

In this paper, we propose a novel method for question answering over knowledge graphs based on graph-to-segment mapping, designed to improve the understanding of natural language questions. Our approach is grounded in semantic parsing, a…

Computation and Language · Computer Science 2025-09-03 Sijia Wei , Wenwen Zhang , Qisong Li , Jiang Zhao

We construct Grothendieck topologies on the path category of a finite graph, examining both coarse and discrete cases that offer different perspectives on quiver representations. The coarse topology declares each vertex covered by all…

Category Theory · Mathematics 2025-10-28 Eric M. Schmid , Fernando Tohmé , William Chin

Research on knowledge graph embeddings has recently evolved into knowledge base embeddings, where the goal is not only to map facts into vector spaces but also constrain the models so that they take into account the relevant conceptual…

Artificial Intelligence · Computer Science 2024-08-12 Camille Bourgaux , Ricardo Guimarães , Raoul Koudijs , Victor Lacerda , Ana Ozaki

We introduce an approach to discovery informatics that uses so called knowledge graphs as the essential representation structure. Knowledge graph is an umbrella term that subsumes various approaches to tractable representation of large…

Artificial Intelligence · Computer Science 2015-04-29 Vit Novacek

Knowledge graphs can represent information about the real-world using entities and their relations in a structured and semantically rich manner and they enable a variety of downstream applications such as question-answering, recommendation…

Computation and Language · Computer Science 2023-05-16 Hanieh Khorashadizadeh , Nandana Mihindukulasooriya , Sanju Tiwari , Jinghua Groppe , Sven Groppe

We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define…

Category Theory · Mathematics 2022-10-18 Kevin Coulembier

Knowledge graph embedding, which projects symbolic entities and relations into continuous vector spaces, is gaining increasing attention. Previous methods allow a single static embedding for each entity or relation, ignoring their intrinsic…

Artificial Intelligence · Computer Science 2020-04-07 Quan Wang , Pingping Huang , Haifeng Wang , Songtai Dai , Wenbin Jiang , Jing Liu , Yajuan Lyu , Yong Zhu , Hua Wu

The most approaches to Knowledge Base Question Answering are based on semantic parsing. In this paper, we address the problem of learning vector representations for complex semantic parses that consist of multiple entities and relations.…

Computation and Language · Computer Science 2018-08-14 Daniil Sorokin , Iryna Gurevych