I) A Sorted-Graph Unification Approach to the Semantic Web
Professeur Hassan AÏT-KACI
IBM Canada Ltd., ILOG Research Projects
II) Towards a New Generation of Schema Matching Tools
Professeur Zohra BELLAHSENE LIRMM, Montpellier
III) Graphes pour les systèmes P2P à grande échelle
Professeur Hamamache Kheddouci
LIESP, Université Claude Bernard, Lyon
IV) Pour une maîtrise de la qualité de service de bout-en-bout :
Vers les réseaux autonomes ?
Professeur Abdelhamid Mellouk
Paris-Est University (UPEC, ex. Paris 12), France
V) Optimisation combinatoire : depuis les approches classiques vers les nouveaux paradigmes.
Professeur Alain Quilliot LIMOS, Université Blaise Pascal, Clermont-Ferrand
Hassan AÏT-KACI, IBM Canada Ltd., ILOG Research Projects
Résumé. Today, the main challenge faced by the Semantic Web (SW) project is to process knowledge expressed in terms of sorted graphs, not only for general-purpose WWW and service-oriented computation, but also and most importantly, for inference and learning. To wit, the mainstream formalisms used in SW - e.g., Description Logic (DL), Resource Description Framework (RDF) - are essentially tools for describing sorted graphs. Yet, sorted graphs have been used for decades now in Artificial Intelligence, Knowledge Representation, and Natural Language processing, in the form of attribute inheritance concept networks. Our approach has consisted in extending the well-known operation of unification on logical terms as used in Automated Theorem-Proving and Logic Programming to work on graphs representing conceptual information. Indeed, Order-Sorted Feature (OSF) unification technology views all data as a constraint formula denoted by a sorted graph. Thus, inference based on such data amounts to constraint-solving in a formal logic of constraints over order-sorted RDF-like triples as the basic building blocks - which incidentally have been used in the Warren Abstract Machine (WAM) technology since the 70's in Prolog compilers. In this talk, I review the essence of the OSF formalism in relation to mainstream SW formalisms for the purpose of making the SW a reality. Doing so, I show examples using LIFE, a Constraint-Logic Programming language combining logical (Horn) rules and functional (rewrite) rules over OSF graph constraints. LIFE rules boost the expressive power of OSF graphs by allowing them to be constrained with user-definable predicates and functions.
Professeur Zohra BELLAHSENE, LIRMM, Montpellier
Résumé. Schema matching is a basic task in almost every data intensive distributed application, namely enterprise information integration, collaborating web services, ontology based agents communication, web catalogue integration and schema based P2P database systems. Schema matching is the task of discovering correspondences between semantically similar elements of two schemas or ontologies. While this is useful for constructing mapping for data translation purpose there are also many cases where attribute correspondences are useful. For example, in ontology matching, simple correspondences are often useful, e.g. to express the relatedness of concepts. Attribute orrespondences can be utilized for analysis tasks (recommendation of related concepts; restriction of query search space), as input for ontology merging, etc. Thus, in several application areas, human decision makers and planers utilize information derived from schema matchers. In this talk, we will give an overview of the latest application domains in which schema matching is being utilized and a detailed insight about the desiderata for (semi) automatic schema matching and integration in the large scale scenarios. We namely review the latest approaches and discuss their capabilities in terms of quality of schema mappings, flexibility and extensibility.
Professeur Hamamache Kheddouci, LIESP, Université Claude Bernard, Lyon
Abstract. La théorie des graphes est un outil puissant de modélisation et de résolution de problèmes. Les recherches actuelles dans les systèmes P2P à grande échelle font appel à des techniques de graphes classiques et posent de nouvelles problématiques intéressantes en graphes. Dans cet exposé, nous ferons un tour d'horizon sur des outils de graphes utiles pour la modélisation et la résolution de problèmes. Nous parlerons notamment des paramètres de graphes pour la résolution de problèmes d'optimisation. Par ailleurs, nous aborderons quelques problématiques de graphes posées dans les systèmes P2P (mobiles). Nous discuterons des solutions à base de graphes pour la découverte de services, la diffusion de messages, la prédiction de la mobilité, etc. Nous montrerons que les paramètres de graphes sont souvent à la base de ces solutions.
Professeur Abdelhamid Mellouk, Paris-Est University (UPEC, ex. Paris 12), France
Abstract.La conférence consiste à développer les concepts permettant la maîtrise de la qualité de service de bout en bout dans des réseaux de plus en plus hétérogènes et offrant des applications de plus en plus nomades. En effet, chaque technologie présente des solidités et des dépendances à son environnement et à sa complexité intrinsèque (longues chaînes de plateformes techniques et de gestion). Bien entendu, plus on combine de technologies, moins l'on maîtrise la garantie des services offerts à l'autre bout de la chaîne. 40 % des pannes de service sont dues à des problèmes de configuration de la part de l'opérateur et 80 % des budgets sont dépensés dans les opérations de maintenance et dans les améliorations mineures. Ce sont rarement les techniciens qui en sont responsables mais plutôt la complexité même de ces chaînes qui les rend fragiles ou insuffisamment opérantes. Par ailleurs, la multiplication des technologies et des plateformes dédiées multiplie le nombre de cas de figure et pose de nouveaux problèmes. La complexité des réseaux est en train de dépasser les capacités de l'être humain à gérer des systèmes complexes. Cette évolution constante des technologies, des moyens de communication et des infrastructures réseaux, fait que les plateformes et architectures déployées actuellement deviennent de plus en plus complexes, et il devient difficile de les administrer. Dans ce contexte, les avancées en terme de technologie d'accès favorisant d'une part la convergence fixe/mobile, et d'autre part des moyens d'accès de plus en plus légers et de plus en plus performants convergent vers une utilisation de services riches et complexes "n'importe quand, de n'importe où et de n'importe comment". Or, la qualité des services, et par extension, la disponibilité de ces derniers et leur garantie, notamment en mobilité, constitue un facteur primordial de leur succès et de la création de valeur qui en découle sous formes de nouveaux services et d'emplois. Allons-nous vers une simple évolution ou une totale révolution des schémas actuels de l'Internet ?
Professeur Alain Quilliot, LIMOS, Université Blaise Pascal, Clermont-Ferrand