31

Dans cet article nous décrivons une exploration des
possibilités ouvertes par l’interaction gestuelle dans un
système interactif mixte pour les contrôleurs aériens.
Cette exploration repose sur une analyse des gestes des
contrôleurs que nous avons pu observer en tour de
contrôle et en simulateur. La conception exploratoire
que nous proposons nous permet en particulier d'évaluer
la pertinence de l’interaction gestuelle pour les objets
virtuels associés aux objets physiques.

Data warehouses use a multidimensional model. Based on this model, OLAP cubes enable users to analyze data. For correct OLAP analysis, multidimensional models should be checked. In particular, these models should ensure summarizability. Checking multidimensional models and their summarizability is complex and error-prone. To perform this task, formal reasoning is appropriate. In this paper, we propose and illustrate an approach to represent a multidimensional model as an OWL-DL ontology, and reason on this ontology to check the multidimensional model and its summarizability. Beyond the reasoning capabilities of description logic, representing multidimensional models as OWL-DL ontologies is a means to move multidimensional modeling to the semantic Web. To illustrate this, we investigate the complementarities between our approach and the RDF Data Cube vocabulary, and suggest how they could be combined.