English
Related papers

Related papers: How to Approximate Ontology-Mediated Queries

200 papers

The quest for acquiring a formal representation of the knowledge of a domain of interest has attracted researchers with various backgrounds into a diverse field called ontology learning. We highlight classical machine learning and data…

Artificial Intelligence · Computer Science 2021-04-06 Ana Ozaki

Ontologies are one of the richest sources of knowledge. Real-world ontologies often contain thousands of axioms and are often human-made. Hence, they may contain inconsistency and incomplete information which may impair classical reasoners…

Artificial Intelligence · Computer Science 2024-05-28 Tilman Hinnerichs , Zhenwei Tang , Xi Peng , Xiangliang Zhang , Robert Hoehndorf

We study the problem of fitting ontologies and constraints to positive and negative examples that take the form of a finite relational structure. As ontology and constraint languages, we consider the description logics $\mathcal{E\mkern-2mu…

Artificial Intelligence · Computer Science 2025-08-20 Simon Hosemann , Jean Christoph Jung , Carsten Lutz , Sebastian Rudolph

Large ontologies still pose serious challenges to state-of-the-art ontology alignment systems. In this paper we present an approach that combines a neural embedding model and logic-based modules to accurately divide an input ontology…

Artificial Intelligence · Computer Science 2020-03-12 Ernesto Jiménez-Ruiz , Asan Agibetov , Jiaoyan Chen , Matthias Samwald , Valerie Cross

Being able to efficiently retrieve the required building information is critical for construction project stakeholders to carry out their engineering and management activities. Natural language interface (NLI) systems are emerging as a time…

Computation and Language · Computer Science 2023-03-28 Mengtian Yin , Llewellyn Tang , Chris Webster , Shen Xu , Xiongyi Li , Huaquan Ying

We introduce ontology-mediated planning, in which planning problems are combined with an ontology. Our formalism differs from existing ones in that we focus on a strong separation of the formalisms for describing planning problems and…

Artificial Intelligence · Computer Science 2024-08-15 Tobias John , Patrick Koopmann

An ontology language for ontology mediated query answering (OMQA-language) is universal for a family of OMQA-languages if it is the most expressive one among this family. In this paper, we focus on three families of tractable…

Artificial Intelligence · Computer Science 2019-12-16 Heng Zhang , Yan Zhang , Jia-Huai You , Zhiyong Feng , Guifei Jiang

Large-scale semantic parsing datasets annotated with logical forms have enabled major advances in supervised approaches. But can richer supervision help even more? To explore the utility of fine-grained, lexical-level supervision, we…

Computation and Language · Computer Science 2020-10-23 Tianze Shi , Chen Zhao , Jordan Boyd-Graber , Hal Daumé , Lillian Lee

Recent work on quantitative approaches to explaining query answers employs responsibility measures to assign scores to facts in order to quantify their respective contributions to obtaining a given answer. In this paper, we study the…

Artificial Intelligence · Computer Science 2025-08-01 Meghyn Bienvenu , Diego Figueira , Pierre Lafourcade

Query complexity measures the amount of information an algorithm needs about a problem to compute a solution. On a quantum computer there are different realizations of a query and we will show that these are not always equivalent. Our…

Quantum Physics · Physics 2007-05-23 Arvid J. Bessen

We propose a novel framework to facilitate the on-demand design of data-centric systems by exploiting domain knowledge from an existing ontology. Its key ingredient is a process that we call focusing, which allows to obtain a schema for a…

Logic in Computer Science · Computer Science 2019-04-02 Tomasz Gogacz , Víctor Gutiérrez-Basulto , Yazmín A. Ibáñez-García , Filip Murlak , Magdalena Ortiz , Mantas Šimkus

In ontology-based data access (OBDA), users are provided with a conceptual view of a (relational) data source that abstracts away details about data storage. This conceptual view is realized through an ontology that is connected to the data…

Databases · Computer Science 2018-02-05 Davide Lanti , Guohui Xiao , Diego Calvanese

An ontology makes a special vocabulary which describes the domain of interest and the meaning of the term on that vocabulary. Based on the precision of the specification, the concept of the ontology contains several data and conceptual…

Information Retrieval · Computer Science 2019-10-01 Maryam Alizadeh , Maliheh Heydarpour Shahrezaei , Farajollah Tahernezhad-Javazm

We introduce two approximate variants of inclusion dependencies and examine the axiomatization and computational complexity of their implication problems. The approximate variants allow for some imperfection in the database and differ in…

Logic in Computer Science · Computer Science 2025-05-27 Matilda Häggblom

Ontology-based query answering (OBQA) augments classical query answering in databases by domain knowledge encoded in an ontology. Systems for OBQA use the ontological knowledge to infer new information that is not explicitly given in the…

Logic in Computer Science · Computer Science 2020-03-24 Stefan Borgwardt , Veronika Thost

Certain answers are a principled method for coping with uncertainty that arises in many practical data management tasks. Unfortunately, this method is expensive and may exclude useful (if uncertain) answers. Thus, users frequently resort to…

Databases · Computer Science 2019-04-02 Su Feng , Aaron Huber , Boris Glavic , Oliver Kennedy

Artificial Intelligence federates numerous scientific fields in the aim of developing machines able to assist human operators performing complex treatments -- most of which demand high cognitive skills (e.g. learning or decision processes).…

Artificial Intelligence · Computer Science 2017-04-19 Sébastien Harispe , Sylvie Ranwez , Stefan Janaqi , Jacky Montmain

The question of answering queries over ML predictions has been gaining attention in the database community. This question is challenging because the cost of finding high quality answers corresponds to invoking an oracle such as a human…

Databases · Computer Science 2022-11-18 Dujian Ding , Sihem Amer-Yahia , Laks VS Lakshmanan

Explainable Artificial Intelligence (AI) focuses on helping humans understand the working of AI systems or their decisions and has been a cornerstone of AI for decades. Recent research in explainability has focused on explaining the…

Artificial Intelligence · Computer Science 2024-10-24 Shruthi Chari

The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization,…

Artificial Intelligence · Computer Science 2018-04-24 Elena Botoeva , Boris Konev , Carsten Lutz , Vladislav Ryzhikov , Frank Wolter , Michael Zakharyaschev