English
Related papers

Related papers: Relational Foundations For Functorial Data Migrati…

200 papers

SQL/PGQ and GQL are very recent international standards for querying property graphs: SQL/PGQ specifies how to query relational representations of property graphs in SQL, while GQL is a standalone language for graph databases. The rapid…

Databases · Computer Science 2024-09-05 Amélie Gheerbrant , Leonid Libkin , Liat Peterfreund , Alexandra Rogova

This article aims to provide a novel formalization of the concept of computational irreducibility in terms of the exactness of functorial correspondence between a category of data structures and elementary computations and a corresponding…

Computational Complexity · Computer Science 2023-01-13 Jonathan Gorard

This paper introduces a novel approach to ontology-based robot plan transfer by leveraging functorial data migrations, a structured mapping method derived from category theory. Functors provide structured maps between planning domain…

Robotics · Computer Science 2025-04-15 Angeline Aguinaldo , Evan Patterson , William Regli

The increasing amount of Linked Data and its inherent distributed nature have attracted significant attention throughout the research community and amongst practitioners to search data, in the past years. Inspired by research results from…

Databases · Computer Science 2013-06-10 Nur Aini Rakhmawati , Jürgen Umbrich , Marcel Karnstedt , Ali Hasnain , Michael Hausenblas

Knowledge graphs offer an excellent solution for representing the lexical-semantic structures of lexicographic data. However, working with the SPARQL query language represents a considerable hurdle for many non-expert users who could…

Computation and Language · Computer Science 2025-05-27 Kilian Sennrich , Sina Ahmadi

We survey foundational features underlying modern graph query languages. We first discuss two popular graph data models: edge-labelled graphs, where nodes are connected by directed, labelled edges; and property graphs, where nodes and edges…

Databases · Computer Science 2017-06-19 Renzo Angles , Marcelo Arenas , Pablo Barcelo , Aidan Hogan , Juan Reutter , Domagoj Vrgoc

Background. In the last decades, several life science resources have structured data using the same framework and made these accessible using the same query language to facilitate interoperability. Knowledge graphs have seen increased…

Category theory provides a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the…

Category Theory · Mathematics 2025-11-03 Suddhasattwa Das

The Semantic Web (or Web of Data) represents the successful efforts towards linking and sharing data over the Web. The cornerstones of the Web of Data are RDF as data format and SPARQL as de-facto standard query language. Recent trends show…

Graphs have emerged as an important foundation for a variety of applications, including capturing and reasoning over factual knowledge, semantic data integration, social networks, and providing factual knowledge for machine learning…

Many real world systems need to operate on heterogeneous information networks that consist of numerous interacting components of different types. Examples include systems that perform data analysis on biological information networks; social…

Artificial Intelligence · Computer Science 2017-07-26 Parisa Kordjamshidi , Sameer Singh , Daniel Khashabi , Christos Christodoulopoulos , Mark Summons , Saurabh Sinha , Dan Roth

Graph database query languages feature expressive, yet computationally expensive pattern matching capabilities. Answering optional query clauses in SPARQL for instance renders the query evaluation problem immediately Pspace-complete.…

Databases · Computer Science 2018-10-23 Stephan Mennicke , Jan-Christoph Kalo , Denis Nagel , Hermann Kroll , Wolf-Tilo Balke

We study verification of systems whose transitions consist of accesses to a Web-based data-source. An access is a lookup on a relation within a relational database, fixing values for a set of positions in the relation. For example, a…

Databases · Computer Science 2012-03-30 Michael Benedikt , Pierre Bourhis , Clemens Ley

While current tasks of converting natural language to SQL (NL2SQL) using Foundation Models have shown impressive achievements, adapting these approaches for converting natural language to Graph Query Language (NL2GQL) encounters hurdles due…

Computation and Language · Computer Science 2024-07-02 Yuhang Zhou , Yu He , Siyu Tian , Yuchen Ni , Zhangyue Yin , Xiang Liu , Chuanjun Ji , Sen Liu , Xipeng Qiu , Guangnan Ye , Hongfeng Chai

In this paper, we pursue the discussion of the connections between rational conformal field theories (CFT) and graphs. We generalize our recent work on the relations of operator product algebra (OPA) structure constants of $sl(2)\,$…

High Energy Physics - Theory · Physics 2009-10-28 V. B. Petkova , J. -B. Zuber

The versatility of self-attention mechanism earned transformers great success in almost all data modalities, with limitations on the quadratic complexity and difficulty of training. To apply transformers across different data modalities,…

Machine Learning · Computer Science 2024-08-20 Viet Anh Nguyen , Minh Lenhat , Khoa Nguyen , Duong Duc Hieu , Dao Huu Hung , Truong Son Hy

Although SPARQL has been the predominant query language over RDF graphs, some query intentions cannot be well captured by only using SPARQL syntax. On the other hand, the keyword search enjoys widespread usage because of its intuitive way…

Databases · Computer Science 2014-12-02 Peng Peng , Lei Zou , Dongyan Zhao

The purpose of predictive modeling on relational data is to predict future or missing values in a relational database, for example, future purchases of a user, risk of readmission of the patient, or the likelihood that a financial…

Reasoning over knowledge graphs is traditionally built upon a hierarchy of languages in the Semantic Web Stack. Starting from the Resource Description Framework (RDF) for knowledge graphs, more advanced constructs have been introduced…

Formal Languages and Automata Theory · Computer Science 2020-03-10 Zhangsheng Lai , Aik Beng Ng , Liang Ze Wong , Simon See , Shaowei Lin

While most conversational agents are grounded on either free-text or structured knowledge, many knowledge corpora consist of hybrid sources. This paper presents the first conversational agent that supports the full generality of hybrid data…

Computation and Language · Computer Science 2024-03-14 Shicheng Liu , Jialiang Xu , Wesley Tjangnaka , Sina J. Semnani , Chen Jie Yu , Monica S. Lam