English
Related papers

Related papers: Deep Separability of Ontological Constraints

200 papers

In this paper, we focus on the problem of determining whether two conjunctive ("CQ") queries posed on relational data are combined-semantics equivalent [9]. We continue the tradition of [2,5,9] of studying this problem using the tool of…

Databases · Computer Science 2014-08-15 Rada Chirkova

We study the fine-grained complexity of conjunctive queries with grouping and aggregation. For common aggregate functions (e.g., min, max, count, sum), such a query can be phrased as an ordinary conjunctive query over a database annotated…

Databases · Computer Science 2026-04-22 Idan Eldar , Nofar Carmeli , Benny Kimelfeld

Order Dependencies (ODs) have many applications, such as query optimization, data integration, and data cleaning. Although many works addressed the problem of discovering OD (and its variants), they do not consider datasets with missing…

Databases · Computer Science 2024-01-01 Alejandro Ramos , Takuya Uemura , Daichi Amagata , Ryo Shirai , Takahiro Hara

An uncertain database is defined as a relational database in which primary keys need not be satisfied. A repair (or possible world) of such database is obtained by selecting a maximal number of tuples without ever selecting two distinct…

Databases · Computer Science 2013-01-08 Jef Wijsen

Ontology embeddings map classes, roles, and individuals in ontologies into $\mathbb{R}^n$, and within $\mathbb{R}^n$ similarity between entities can be computed or new axioms inferred. For ontologies in the Description Logic…

Artificial Intelligence · Computer Science 2026-02-24 Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf

We study the problem of entity-relation extraction in the presence of symbolic domain knowledge. Such knowledge takes the form of an ontology defining relations and their permissible arguments. Previous approaches set out to integrate such…

Machine Learning · Computer Science 2021-03-23 Kareem Ahmed , Eric Wang , Guy Van den Broeck , Kai-Wei Chang

Query answering under existential rules -- implications with existential quantifiers in the head -- is known to be decidable when imposing restrictions on the rule bodies such as frontier-guardedness [BLM10, BLMS11]. Query answering is also…

Databases · Computer Science 2019-08-28 Antoine Amarilli , Michael Benedikt

We consider the complexity of the open-world query answering problem, where we wish to determine certain answers to conjunctive queries over incomplete datasets specified by an initial set of facts and a set of guarded TGDs. This problem…

Logic in Computer Science · Computer Science 2026-05-20 Antoine Amarilli , Michael Benedikt

Many successful approaches to semantic parsing build on top of the syntactic analysis of text, and make use of distributional representations or statistical models to match parses to ontology-specific queries. This paper presents a novel…

Computation and Language · Computer Science 2014-04-30 Edward Grefenstette , Phil Blunsom , Nando de Freitas , Karl Moritz Hermann

We consider the problem of finding equivalent minimal-size reformulations of SQL queries in presence of embedded dependencies [1]. Our focus is on select-project-join (SPJ) queries with equality comparisons, also known as safe conjunctive…

Databases · Computer Science 2009-06-27 Rada Chirkova , Michael Genesereth

An important class of decidable first-order logic fragments are those satisfying a guardedness condition, such as the guarded fragment (GF). Usually, decidability for these logics is closely linked to the tree-like model property - the fact…

Logic in Computer Science · Computer Science 2021-03-26 Kevin Kappelmann

Probabilistic databases (PDBs) model uncertainty in data. The current standard is to view PDBs as finite probability spaces over relational database instances. Since many attributes in typical databases have infinite domains, such as…

Databases · Computer Science 2022-06-01 Martin Grohe , Peter Lindner

Temporal knowledge graph (TKG) extrapolation is an important task that aims to predict future facts through historical interaction information within KG snapshots. A key challenge for most existing TKG extrapolation models is handling…

Artificial Intelligence · Computer Science 2026-04-08 Dongying Lin , Yinan Liu , Shengwei tang , Bin Wang , Xiaochun Yang

Contextuality was originally defined only for consistently connected systems of random variables (those without disturbance/signaling). Contextuality-by-Default theory (CbD) offers an extension of the notion of contextuality to…

Quantum Physics · Physics 2023-04-12 Ehtibar Dzhafarov , Janne V. Kujala

The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and…

Logic in Computer Science · Computer Science 2019-11-20 Laura Bozzelli , Aniello Murano , Adriano Peron

Evidential Deep Learning (EDL) has emerged as an efficient, sampling-free strategy for uncertainty estimation. A series of EDL variants have been proposed to address specific limitations of the original framework, achieving notable success.…

Machine Learning · Computer Science 2026-05-26 Yuanye Liu , Yibo Gao , Yuanyang Chen , Xiahai Zhuang

We propose a new framework for combining entity resolution and query answering in knowledge bases (KBs) with tuple-generating dependencies (tgds) and equality-generating dependencies (egds) as rules. We define the semantics of the KB in…

Databases · Computer Science 2023-10-20 Ronald Fagin , Phokion G. Kolaitis , Domenico Lembo , Lucian Popa , Federico Scafoglieri

In ontology-based data access (OBDA), ontologies have been successfully employed for querying possibly unstructured and incomplete data. In this paper, we advocate using ontologies not only to formulate queries and compute their answers,…

Logic in Computer Science · Computer Science 2018-08-09 Medina Andreşel , Yazmin Ibáñez-García , Magdalena Ortiz , Mantas Šimkus

Ontology-based data access is concerned with querying incomplete data sources in the presence of domain-specific knowledge provided by an ontology. A central notion in this setting is that of an ontology-mediated query, which is a database…

Databases · Computer Science 2013-06-07 Meghyn Bienvenu , Balder ten Cate , Carsten Lutz , Frank Wolter

Concept-based explanations have emerged as a popular way of extracting human-interpretable representations from deep discriminative models. At the same time, the disentanglement learning literature has focused on extracting similar…

Machine Learning · Computer Science 2021-04-15 Dmitry Kazhdan , Botty Dimanov , Helena Andres Terre , Mateja Jamnik , Pietro Liò , Adrian Weller
‹ Prev 1 3 4 5 6 7 10 Next ›