Model-theoretic characterizations of rule-based ontologiesMarco ConsolePhokion G. Kolaitiset al.2021SIGMOD/PODS 2021