6 citations · 7 across the 5 of their papers we have counts for
6 papers
Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
Marvin Grosser, Carsten Lutz
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…
Let's Play Tag: Linear Time Evaluation of Conjunctive Queries under TGD Constraints
Nofar Carmeli, Carsten Lutz, Marcin Przybyłko
We study the limits of linear time evaluation of conjunctive queries under constraints expressed as tuple-generating dependencies (TGDs), across several modes of query evaluation:…
Fitting Description Logic Ontologies to ABox and Query Examples
Maurice Funk, Marvin Grosser, Carsten Lutz
We study a fitting problem inspired by ontology-mediated querying: given a collection of positive and negative examples of the form with an ABox and…
Fitting Ontologies and Constraints to Relational Structures
Simon Hosemann, Jean Christoph Jung, Carsten Lutz +1
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 languag…
Extremal Fitting CQs do not Generalize
Balder ten Cate, Maurice Funk, Jean Christoph Jung +1
A fitting algorithm for conjunctive queries (CQs) produces, given a set of positively and negatively labeled data examples, a CQ that fits these examples. In general, there may be…
Towards Ontology Construction with Language Models
Maurice Funk, Simon Hosemann, Jean Christoph Jung +1
We present a method for automatically constructing a concept hierarchy for a given domain by querying a large language model. We apply this method to various domains using OpenAI's…