Stage : Raisonnement efficace (pourvu)


niveau:Master 1 ou 2 / Cycle ingénieur 2 ou 3
dates:dès que possible
mots clés:Web Sémantique, Rust

English version also available

Contexte

Le Web Sémantique (Shadbolt, Hall et Berners-Lee, 2006) est une extension du Web "classique", dans lequel des données (et non plus seulement des documents) peuvent être publiées, partagées, et liées entre elles. La sémantique de ces données est décrite par des modèles de connaissances (règles, ontologies) qui permettent de raisonner sur les données, et d'inférer de nouvelles connaissances.

Sophia est une implémentation (en cours) des principes du Web Sémantique pour le langage de programmation Rust. Ce langage met en avant la performance et la fiabilité, ce qui en fait un bon candidat pour développer, par exemple, des services distribués ou des systèmes embarqués (objets connectés). Un objectif de Sophia est d'ouvrir ces champs d'application au domaine du Web Sémantique.

Inferray (Subercaze et al. 2016) est un moteur d'inférence pour le Web Sémantique, développé en Java. L'originalité d'Inferray est la manière dont il stocke en mémoire les données sur lesquelles il raisonne, à la fois compacte et très efficace pour le raisonnement.

Objectif du stage

L'objectif du stage est d'implémenter, dans Sophia, les mêmes mécanismes de stockage et de raisonnement développés dans Inferray. On souhaite ensuite évaluer

  • le gain apporté par ces mécanismes par rapport à l'implémentation actuel de Sophia, et
  • le gain apporté par le fait d'implémenter ces mécanismes en Rust plutôt qu'en Java.

Candidature

Ce stage s'adresse à tout étudiant⋅e en formation bac+4 ou bac+5 (Master ou Diplôme d'ingénieur). Une connaissance préalable des technologies du Web Sémantique, d'une part, et du langage Rust, d'autre part, serait un plus, mais n'est pas exigée.

Contacter :

  • Pierre-Antoine Champin (pierre tiret antoine point champin at liris point cnrs point fr)
  • Frédérique Laforest (frederique point laforest at liris point cnrs point fr)
  • Lionel Médini (lionel point medini at liris point cnrs point fr)

Références

Shadbolt, N., Hall, W. and Berners-Lee, T. (2006) ‘The semantic web revisited’, Intelligent Systems, IEEE, 21(3), pp. 96–101. https://eprints.soton.ac.uk/262614/1/Semantic_Web_Revisted.pdf

Subercaze, J. et al. (2016) ‘Inferray: fast in-memory RDF inference’, Proceedings of the VLDB Endowment, 9(6), pp. 468–479. http://www.vldb.org/pvldb/vol9/p468-subercaze.pdf