2 papers
cs.LO2026
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…
cs.AI2025
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…