The Downgrading Axioms Challenge

The ontologies provided here accompany the paper "The Downgrading Axioms Challenge for Qualitative Composition of Food Ingredients"[1]

The ontologies are provided for individual re-configuration, where the core ontologies have been combined (with flattened imports from other ontologies in the BAALL hyper-ontology), i.e.

FOD_Small_all.owl, FOD_Product_all.owl, FOD_Dish_all.owl while the specialised ontologies with various degrees of downgrading have been provided separately for import, i.e.
Ingredient_i016to001.owl, Ingredient_i032to001.owl, Ingredient_i064to001.owl, or Ingredient_down.owl (for all downgrading axioms); thus e.g.
FOD_Small_i032to001.owl will import both FOD_Small_all.owl and Ingredient_i032to001.owl.

For reasoning outside Protégé, e.g. with Konclude (which requires a flat ontology, preferably in OWL_XML syntax), use the flattened versions with downgrading axioms included (cf. performance table in the paper):

Publications

[1]	Krieg-Brückner, B., Nolte, M.R., Pomarlan, M. & Kümpel, M. The Downgrading Axioms Challenge for Qualitative Composition of Food Ingredients. In Semantic Reasoning Evaluation Challenge, 21st International Semantic Web Conference (ISWC 2022), 3337, CEUR Workshop Proceedings, 2022.