English
Related papers

Related papers: Learning Query Inseparable ELH Ontologies

200 papers

We investigate the problem of learning XML queries, path queries and tree pattern queries, from examples given by the user. A learning algorithm takes on the input a set of XML documents with nodes annotated by the user and returns a query…

Databases · Computer Science 2012-04-24 Sławomir Staworko , Piotr Wieczorek

We investigate an approach for extracting knowledge from trained neural networks based on Angluin's exact learning model with membership and equivalence queries to an oracle. In this approach, the oracle is a trained neural network. We…

Machine Learning · Computer Science 2023-09-14 Sophie Blum , Raoul Koudijs , Ana Ozaki , Samia Touileb

In ontology-mediated querying, description logic (DL) ontologies are used to enrich incomplete data with domain knowledge which results in more complete answers to queries. However, the evaluation of ontology-mediated queries (OMQs) over…

Databases · Computer Science 2020-07-30 Pablo Barcelo , Cristina Feier , Carsten Lutz , Andreas Pieris

Machine learning researchers and practitioners steadily enlarge the multitude of successful learning models. They achieve this through in-depth theoretical analyses and experiential heuristics. However, there is no known general-purpose…

Computational Complexity · Computer Science 2023-10-18 Matthias C. Caro

In active learning, membership queries (MQs) allow a learner to pose questions to a teacher, such as ''Is every apple a fruit?'', to which the teacher responds correctly with yes or no. These MQs can be viewed as subsumption tests with…

Artificial Intelligence · Computer Science 2026-04-21 Haoruo Zhao , Wenshuo Tang , Duncan Guthrie , Michele Sevegnani , David Flynn , Paul Harvey

We aim to determine which temporal instance queries can be uniquely characterised by a (polynomial-size) set of positive and negative temporal data examples. We start by considering queries formulated in fragments of propositional linear…

Logic in Computer Science · Computer Science 2022-05-04 Marie Fortin , Boris Konev , Vladislav Ryzhikov , Yury Savateev , Frank Wolter , Michael Zakharyaschev

When data schemata are enriched with expressive constraints that aim at representing the domain of interest, in order to answer queries one needs to consider the logical theory consisting of both the data and the constraints. Query…

Databases · Computer Science 2014-01-03 Andrea Calì , Marco Console , Riccardo Frosini

Querying large datasets with incomplete and vague data is still a challenge. Ontology-based query answering extends standard database query answering by background knowledge from an ontology to augment incomplete data. We focus on…

Logic in Computer Science · Computer Science 2018-08-07 Rafael Peñaloza , Veronika Thost , Anni-Yasmin Turhan

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

Large Language Models (LLMs), despite their success in question answering, exhibit limitations in complex multi-hop question answering (MQA) tasks that necessitate non-linear, structured reasoning. This limitation stems from their inability…

Computation and Language · Computer Science 2025-09-25 Haonan Bian , Yutao Qi , Rui Yang , Yuanxi Che , Jiaqian Wang , Heming Xia , Ranran Zhen

In-context learning (ICL) enables large language models to perform new tasks by conditioning on a sequence of examples. Most prior work reasonably and intuitively assumes that which examples are chosen has a far greater effect on…

Computation and Language · Computer Science 2025-11-14 Warren Li , Yiqian Wang , Zihan Wang , Jingbo Shang

In the problem of learning with label proportions, which we call LLP learning, the training data is unlabeled, and only the proportions of examples receiving each label are given. The goal is to learn a hypothesis that predicts the…

Machine Learning · Computer Science 2020-04-08 Benjamin Fish , Lev Reyzin

We study the problem of fitting a description logic (DL) ontology to a given set of positive and negative examples that take the form of an ABox and a Boolean query. While previous work has investigated this problem for the expressive DLs…

Logic in Computer Science · Computer Science 2026-05-01 Marvin Grosser , Carsten Lutz

In the context of ontology-mediated querying with description logics (DLs), we study the data complexity of queries in which selected predicates can be closed (OMQCs). We provide a non-uniform analysis, aiming at a classification of the…

Logic in Computer Science · Computer Science 2023-06-22 Carsten Lutz , Inanc Seylan , Frank Wolter

We provide an ultimately fine-grained analysis of the data complexity and rewritability of ontology-mediated queries (OMQs) based on an EL ontology and a conjunctive query (CQ). Our main results are that every such OMQ is in AC0,…

Computational Complexity · Computer Science 2019-05-02 Carsten Lutz , Leif Sabellek

We consider the problem of adaptively PAC-learning a probability distribution $\mathcal{P}$'s mode by querying an oracle for information about a sequence of i.i.d. samples $X_1, X_2, \ldots$ generated from $\mathcal{P}$. We consider two…

Machine Learning · Computer Science 2019-11-20 Dhruti Shah , Tuhinangshu Choudhury , Nikhil Karamchandani , Aditya Gopalan

We analyse the complexity of learning first-order queries in a model-theoretic framework for supervised learning introduced by (Grohe and Tur\'an, TOCS 2004). Previous research on the complexity of learning in this framework focussed on the…

Logic in Computer Science · Computer Science 2021-06-29 Steffen van Bergerem , Martin Grohe , Martin Ritzert

Large Language Models (LLMs) serve as repositories of extensive world knowledge, enabling them to perform tasks such as question-answering and fact-checking. However, this knowledge can become obsolete as global contexts change. In this…

Computation and Language · Computer Science 2023-11-17 Yuhao Wu , Tongjun Shi , Karthick Sharma , Chun Wei Seah , Shuhao Zhang

Starting from an unsolved problem of information retrieval this paper presents an ontology-based model for indexing and retrieval. The model combines the methods and experiences of cognitive-to-interpret indexing languages with the…

Information Retrieval · Computer Science 2013-12-17 Winfried Gödert

We study the problem of learning robust classifiers where the classifier will receive a perturbed input. Unlike robust PAC learning studied in prior work, here the clean data and its label are also adversarially chosen. We formulate this…

Machine Learning · Computer Science 2026-03-02 Sajad Ashkezari