Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models.

Marvin Grosser, Carsten Lutz

Browse the full KR paper archive.