English
Related papers

Related papers: QDEF and Its Approximations in OBDM

200 papers

Large language models (LLMs) have excelled in various natural language processing tasks, but challenges in interpretability and trustworthiness persist, limiting their use in high-stakes fields. Causal discovery offers a promising approach…

Artificial Intelligence · Computer Science 2024-06-10 Wei Zhou , Hong Huang , Guowen Zhang , Ruize Shi , Kehan Yin , Yuanyuan Lin , Bang Liu

We present EntropyDB, an interactive data exploration system that uses a probabilistic approach to generate a small, query-able summary of a dataset. Departing from traditional summarization techniques, we use the Principle of Maximum…

Databases · Computer Science 2019-11-13 Laurel Orr , Magdalena Balazinska , Dan Suciu

Competency Questions (CQs) are pivotal in knowledge engineering, guiding the design, validation, and testing of ontologies. A number of diverse formulation approaches have been proposed in the literature, ranging from completely manual to…

Computation and Language · Computer Science 2026-04-03 Reham Alharbi , Valentina Tamma , Terry R. Payne , Jacopo de Berardinis

Mathematical optimization, although often leading to NP-hard models, is now capable of solving even large-scale instances within reasonable time. However, the primary focus is often placed solely on optimality. This implies that while…

Optimization and Control · Mathematics 2025-12-23 Kevin-Martin Aigner , Marc Goerigk , Michael Hartisch , Frauke Liers , Arthur Miehlich , Florian Rösel

Debugging of ontologies is an important prerequisite for their wide-spread application, especially in areas that rely upon everyday users to create and maintain knowledge bases, as in the case of the Semantic Web. Recent approaches use…

Logic in Computer Science · Computer Science 2015-03-17 Kostyantyn Shchekotykhin , Gerhard Friedrich , Philipp Fleiss , Patrick Rodler

Textual queries are largely employed in information retrieval to let users specify search goals in a natural way. However, differences in user and system terminologies can challenge the identification of the user's information needs, and…

Information Retrieval · Computer Science 2020-03-31 Noemi Mauro , Liliana Ardissono , Adriano Savoca

Ontology-mediated query answering (OMQA) is a promising approach to data access and integration that has been actively studied in the knowledge representation and database communities for more than a decade. The vast majority of work on…

Logic in Computer Science · Computer Science 2020-09-22 Meghyn Bienvenu , Quentin Manière , Michaël Thomazo

In this paper, we investigate finite representations of DatalogMTL models. First, we discuss sufficient conditions for detecting programs that have finite models. Then, we study infinite models that eventually become constant and introduce…

Logic in Computer Science · Computer Science 2022-02-17 Luigi Bellomarini , Markus Nissl , Emanuel Sallinger

We propose an ontology enhanced model for sentence based claim detection. We fused ontology embeddings from a knowledge base with BERT sentence embeddings to perform claim detection for the ClaimBuster and the NewsClaims datasets. Our…

Computation and Language · Computer Science 2024-02-20 Zehra Melce Hüsünbeyi , Tatjana Scheffler

Ontology-based data access (OBDA) is a novel paradigm facilitating access to relational data, realized by linking data sources to an ontology by means of declarative mappings. DL-Lite_R, which is the logic underpinning the W3C ontology…

Artificial Intelligence · Computer Science 2015-12-02 Elena Botoeva , Diego Calvanese , Valerio Santarelli , Domenico Fabio Savo , Alessandro Solimando , Guohui Xiao

Past research on probabilistic databases has studied the problem of answering queries on a static database. Application scenarios of probabilistic databases however often involve the conditioning of a database using additional information…

Databases · Computer Science 2008-06-16 Christoph Koch , Dan Olteanu

Querying graph databases has recently received much attention. We propose a new approach to this problem, which balances competing goals of expressive power, language clarity and computational complexity. A distinctive feature of our…

Databases · Computer Science 2017-10-13 Jakub Michaliszyn , Jan Otop , Piotr Wieczorek

Ontologies usually suffer from the semantic heterogeneity when simultaneously used in information sharing, merging, integrating and querying processes. Therefore, the similarity identification between ontologies being used becomes a…

Artificial Intelligence · Computer Science 2010-06-24 Amjad Farooq , Syed Ahsan , Abad Shah

Ontologies are known for their ability to organize rich metadata, support the identification of novel insights via semantic queries, and promote reuse. In this paper, we consider the problem of automated planning, where the objective is to…

Artificial Intelligence · Computer Science 2024-07-09 Bharath Muppasani , Vishal Pallagani , Biplav Srivastava , Raghava Mutharaju , Michael N. Huhns , Vignesh Narayanan

Quantified CTL (QCTL) is a well-studied temporal logic that extends CTL with quantification over atomic propositions. It has recently come to the fore as a powerful intermediary framework to study logics for strategic reasoning. We extend…

Logic in Computer Science · Computer Science 2018-09-05 Raphaël Berthon , Bastien Maubert , Aniello Murano

Unionable table search techniques input a query table from a user and search for data lake tables that can contribute additional rows to the query table. The definition of unionability is generally based on similarity measures which may…

Databases · Computer Science 2025-09-03 Aamod Khatiwada , Roee Shraga , Renée J. Miller

We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint…

Databases · Computer Science 2024-02-14 Cristina Feier , Carsten Lutz , Marcin Przybyłko

Database query performance problem determination is often performed by analyzing query execution plans (QEPs) in addition to other performance data. As the query workloads that organizations run, have become larger and more complex,…

Databases · Computer Science 2015-10-13 Guilherme Damasio , Piotr Mierzejewski , Jaroslaw Szlichta , Calisto Zuzarte

We study the complexity of various fundamental counting problems that arise in the context of incomplete databases, i.e., relational databases that can contain unknown values in the form of labeled nulls. Specifically, we assume that the…

Databases · Computer Science 2021-04-29 Marcelo Arenas , Pablo Barceló , Mikaël Monet

We introduce derivation depth-a computable metric of the reasoning effort needed to answer a query based on a given set of premises. We model information as a two-layered structure linking abstract knowledge with physical carriers, and…

Information Theory · Computer Science 2026-02-24 Jianfeng Xu
‹ Prev 1 4 5 6 7 8 10 Next ›