ontological choreography