Reasoning about Ingredient Substitutions with Ontologies and Rules. - Weronika T. Adrian; Maciej Kutyla; Jedrzej Potoniec; Agnieszka Lawrynowicz (RuleML+RR (Companion), 2023)