Showing cs.AIShow all
2 papers · 1 filter
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…
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…