Development of platform-independent multi-user choreographies for virtual worlds based on ontology combination and mapping | IEEE Conference Publication | IEEE Xplore