Change of the ontology.
Added commant on inference on pizzas.