English
Related papers

Related papers: Mapping-equivalence and oid-equivalence of single-…

200 papers

Ontology-mediated querying and querying in the presence of constraints are two key database problems where tuple-generating dependencies (TGDs) play a central role. In ontology-mediated querying, TGDs can formalize the ontology and thus…

Databases · Computer Science 2020-01-01 Pablo Barcelo , Victor Dalmau , Cristina Feier , Carsten Lutz , Andreas Pieris

The fitting problem for conjunctive queries (CQs) is the problem to construct a CQ that fits a given set of labeled data examples. When a fitting CQ exists, it is in general not unique. This leads us to proposing natural refinements of the…

Databases · Computer Science 2025-09-25 Balder ten Cate , Victor Dalmau , Maurice Funk , Carsten Lutz

Operational consistent query answering (CQA) is a recent framework for CQA based on revised definitions of repairs, which are built by applying a sequence of operations (e.g., fact deletions) starting from an inconsistent database until we…

Databases · Computer Science 2025-08-25 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

A relational database is said to be uncertain if primary key constraints can possibly be violated. A repair (or possible world) of an uncertain database is obtained by selecting a maximal number of tuples without ever selecting two distinct…

Databases · Computer Science 2015-02-02 Paraschos Koutris , Jef Wijsen

We present a generative method called CQG for constructing cloze questions from a given article using neural networks and WordNet, with an emphasis on generating multigram distractors. Built on sense disambiguation, text-to-text…

Computation and Language · Computer Science 2024-10-08 Yicheng Sun , Jie Wang

We consider the following fundamental problem: given a database D, Boolean conjunctive query (CQ) q, and fact f in D, decide whether f is relevant to q wrt. D, i.e., does f belong to a minimal subset S of D such that S |= q. Despite being…

Databases · Computer Science 2026-04-27 Meghyn Bienvenu , Diego Figueira , Pierre Lafourcade

In this paper, we study the problem of Novel Class Discovery (NCD). NCD aims at inferring novel object categories in an unlabeled set by leveraging from prior knowledge of a labeled set containing different, but related classes. Existing…

Computer Vision and Pattern Recognition · Computer Science 2021-09-30 Enrico Fini , Enver Sangineto , Stéphane Lathuilière , Zhun Zhong , Moin Nabi , Elisa Ricci

Out-of-distribution (OOD) detection is crucial for ensuring the reliability of deep learning models. Existing methods mostly focus on regular entangled representations to discriminate in-distribution (ID) and OOD data, neglecting the rich…

Computer Vision and Pattern Recognition · Computer Science 2026-05-11 Boyang Dai , Chaoqi Chen , Yizhou Yu

Many efforts have been dedicated to identifying restrictions on ontologies expressed as tuple-generating dependencies (tgds), a.k.a. existential rules, that lead to the decidability for the problem of answering ontology-mediated queries…

Databases · Computer Science 2017-04-20 Pablo Barcelo , Gerald Berger , Andreas Pieris

There is often a sort of a protocol associated to each class, stating when and how certain methods should be called. Given that this protocol is, if at all, described in the documentation accompanying the class, current mainstream…

Programming Languages · Computer Science 2011-10-20 Joana Campos , Vasco T. Vasconcelos

Description Logics are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries, the standard query language in databases, have recently gained significant…

Logic in Computer Science · Computer Science 2014-01-17 Sebastian Rudolph , Birte Glimm

Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood…

Artificial Intelligence · Computer Science 2011-11-02 Birte Glimm , Ian Horrocks , Carsten Lutz , Ulrike Sattler

In the framework of computable queries in Database Theory, there are many examples of queries to (properties of) relational database instances that can be expressed by simple and elegant third order logic ($\mathrm{TO}$) formulae. In many…

Logic in Computer Science · Computer Science 2016-12-12 Flavio Ferrarotti , Loredana Tec , José María Turull-Torres

Conjunctive query (CQ) evaluation is NP-complete, but becomes tractable for fragments of bounded hypertreewidth. Approximating a hard CQ by a query from such a fragment can thus allow for an efficient approximate evaluation. While…

Databases · Computer Science 2019-04-02 Pablo Barceló , Miguel Romero , Thomas Zeume

We study the problem of counting answers to unions of conjunctive queries (UCQs) under structural restrictions on the input query. Concretely, given a class C of UCQs, the problem #UCQ(C) provides as input a UCQ Q in C and a database D and…

Discrete Mathematics · Computer Science 2026-02-24 Jacob Focke , Leslie Ann Goldberg , Marc Roth , Stanislav Živný

We describe a new approach to data modeling, called the concept-oriented model (COM), and a novel concept-oriented query language (COQL). The model is based on three principles: duality principle postulates that any element is a couple…

Databases · Computer Science 2010-08-03 Alexandr Savinov

Though many ontologies have huge number of classes, one cannot find a good number of object properties connecting the classes in most of the cases. Adding object properties makes an ontology richer and more applicable for tasks such as…

Databases · Computer Science 2020-09-15 Subhashree S , P Sreenivasa Kumar

Our concern is the problem of efficiently determining the data complexity of answering queries mediated by description logic ontologies and constructing their optimal rewritings to standard database queries. Originated in ontology-based…

Artificial Intelligence · Computer Science 2022-05-06 Olga Gerasimova , Stanislav Kikot , Agi Kurucz , Vladimir Podolskii , Michael Zakharyaschev

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

Visual tasks vary a lot in their output formats and concerned contents, therefore it is hard to process them with an identical structure. One main obstacle lies in the high-dimensional outputs in object-level visual tasks. In this paper, we…

Computer Vision and Pattern Recognition · Computer Science 2022-09-29 Zhiyang Chen , Yousong Zhu , Zhaowen Li , Fan Yang , Wei Li , Haixin Wang , Chaoyang Zhao , Liwei Wu , Rui Zhao , Jinqiao Wang , Ming Tang
‹ Prev 1 2 3 10 Next ›