2 papers
cs.LO2025
Revisiting Conjunctive Query Entailment for
Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini +1
We clarify the complexity of answering unions of conjunctive queries over knowledge bases formulated in the description logic , the extension of with tr…
cs.AI2025
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…