Model-theoretic characterizations of rule-based ontologiesMarco ConsolePhokion G. Kolaitiset al.2021WDL 2021