Research
impact 16
Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models arXiv:2604.26976v1 Announce Type: cross Abstract: We study the problem of fitting a description logic (DL) ontolo…
Why it matters
This adds a new dimension to the fitting conversation. Practitioners should assess exposure to horn changes.