English
Related papers

Related papers: Modular Path Queries with Arithmetic

200 papers

Relational data sources are still one of the most popular ways to store enterprise or Web data, however, the issue with relational schema is the lack of a well-defined semantic description. A common ontology provides a way to represent the…

Machine Learning · Computer Science 2018-01-31 Natalia Ruemmele , Yuriy Tyshetskiy , Alex Collins

Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems. In particular, there has been a growing interest in adapting…

Artificial Intelligence · Computer Science 2020-06-08 Maxwell Crouse , Ibrahim Abdelaziz , Cristina Cornelio , Veronika Thost , Lingfei Wu , Kenneth Forbus , Achille Fokoue

Answering exact shortest path distance queries is a fundamental task in graph theory. Despite a tremendous amount of research on the subject, there is still no satisfactory solution that can scale to billion-scale complex networks.…

Data Structures and Algorithms · Computer Science 2021-02-18 Muhammad Farhan , Qing Wang , Yu Lin , Brendan Mckay

We present a novel clustering approach for moving object trajectories that are constrained by an underlying road network. The approach builds a similarity graph based on these trajectories then uses modularity-optimization hiearchical graph…

Machine Learning · Statistics 2012-10-08 Mohamed Khalil El Mahrsi , Fabrice Rossi

Optimizing chemical properties is a challenging task due to the vastness and complexity of chemical space. Here, we present a generative energy-based architecture for implicit chemical property optimization, designed to efficiently generate…

Biomolecules · Quantitative Biology 2025-06-19 Luca Miglior , Lorenzo Simone , Marco Podda , Davide Bacciu

We introduce PathQuery, a graph query language developed to scale with Google's query and data volumes as well as its internal developer community. PathQuery supports flexible and declarative semantics. We have found that this enables query…

Databases · Computer Science 2021-06-21 Jesse Weaver , Eric Paniagua , Tushar Agarwal , Nicholas Guy , Alexandre Mattos

We consider a core language of graph queries. These queries are seen as formulas to be solved with respect to graph-oriented databases. For this purpose, we first define a graph query algebra where some operations over graphs and sets of…

Logic in Computer Science · Computer Science 2022-02-22 Dominique Duval , Rachid Echahed , Frederic Prost

Many real life networks present an average path length logarithmic with the number of nodes and a degree distribution which follows a power law. Often these networks have also a modular and self-similar structure and, in some cases -…

Statistical Mechanics · Physics 2009-02-26 Alicia Miralles , Lichao Chen , Zhongzhi Zhang , Francesc Comellas

Ontology-based data access is an approach to organizing access to a database augmented with a logical theory. In this approach query answering proceeds through a reformulation of a given query into a new one which can be answered without…

Logic in Computer Science · Computer Science 2015-06-04 Vladimir V. Podolskii

We consider a database composed of a set of conceptual graphs. Using conceptual graphs and graph homomorphism it is possible to build a basic query-answering mechanism based on semantic search. Graph homomorphism defines a partial order…

Data Structures and Algorithms · Computer Science 2012-07-13 Abdurashid Mamadolimov

Most distributed storage systems provide limited abilities for querying data by attributes other than their primary keys. Supporting efficient search on secondary attributes is challenging as applications pose varying requirements to query…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-13 Dimitrios Vasilas , Marc Shapiro , Bradley King

Regular Path Queries (RPQs), which are essentially regular expressions to be matched against the labels of paths in labeled graphs, are at the core of graph database query languages like SPARQL. A way to solve RPQs is to translate them into…

Data Structures and Algorithms · Computer Science 2024-04-24 Diego Arroyuelo , Adrián Gómez-Brandón , Gonzalo Navarro

Graph simulation (using graph schemata or data guides) has been successfully proposed as a technique for adding structure to semistructured data. Design patterns for description (such as meta-classes and homomorphisms between schema…

Databases · Computer Science 2007-05-23 Christoph Koch

The value proposition of a dataset often resides in the implicit interconnections or explicit relationships (patterns) among individual entities, and is often modeled as a graph. Effective visualization of such graphs can lead to key…

Databases · Computer Science 2017-02-14 Yang Zhang , Yusu Wang , Srinivasan Parthasarathy

Pattern-based, modular ontologies have several beneficial properties that lend themselves to FAIR data practices, especially as it pertains to Interoperability and Reusability. However, developing such ontologies has a high upfront cost,…

Artificial Intelligence · Computer Science 2019-04-12 Cogan Shimizu , Quinn Hirt , Pascal Hitzler

Recent research in molecular discovery has primarily been devoted to small, drug-like molecules, leaving many similarly important applications in material design without adequate technology. These applications often rely on more complex…

We consider the challenge of preference elicitation in systems that help users discover the most desirable item(s) within a given database. Past work on preference elicitation focused on structured models that provide a factored…

Artificial Intelligence · Computer Science 2012-07-19 Ronen I. Brafman , Carmel Domshlak , Tanya Kogan

We address the problem of semantic querying of relational databases (RDB) modulo knowledge bases using very expressive knowledge representation formalisms, such as full first-order logic or its various fragments. We propose to use a…

Logic in Computer Science · Computer Science 2009-05-03 Alexandre Riazanov

Conceptual Graphs (CGs) are a formalism to represent knowledge. However producing a CG database is complex. To the best of our knowledge, existing methods do not fully use the expressivity of CGs. It is particularly troublesome as it is…

Databases · Computer Science 2021-10-28 Adam Faci , Marie-Jeanne Lesot , Claire Laudy

Quantifying the semantic similarity between database queries is a critical challenge with broad applications, ranging from query log analysis to automated educational assessment of SQL skills. Traditional methods often rely solely on…

Databases · Computer Science 2025-03-11 Leo Köberlein , Dominik Probst , Richard Lenz