Mirabel ontology