Dans cette thèse, nous étudions les propriétés d’un mouvement de diffusion intermittent dans un milieu confiné.Dans ce but, nous considérons un modèle minimal de catalyse hétérogène, mettant en jeu une particule soumise à un mouvement de diffusion “surface-mediated”, alternant des phases de diffusion volumique à l’intérieur d’un disque, et des phases de diffusion surfacique sur le pourtour du disque. Pour un tel mouvement, nous obtenons des résultats pour plusieurs observables de premier passage (i) le temps moyen de premier passage d'atteindre une cible, (ii) la probabilité de splitting d’atteindre une cible spécifique, (iii) le territoire exploré avant de sortir du disque (iv) la probabilité de réaction avec des sites catalytiques. Selon la position relative de départ de de ces quantités vis-à-vis du temps d'adsorption moyen sur la surface. Nous avons montré que des excursions volumiques peuvent minimiser le temps de recherche d’une cible, même si celle-ci est située sur la surface. Nous présentons également un modèle simple de milieu poreux ordonné, constitué d’un réseau hypercubique de cavités identiques. Nous présentons deux modèles : (i) pour un mouvement brownien simple, (ii) pour un mouvement intermittent, en introduisant un paramètre de persistance. Nous montrons que ces deux modèles, dans la limite de non-persistance, converge vers le même résultat. Nous avons aussi etudié le comportement et l’optimisation du coefficient de diffusion vis-à-vis du temps moyen d’adsorption. Pour évaluer nos résultats théoriques, nous utilisons des simulations de Monte-Carlo et des résolutions numériques par le méthode des éléments finis. / In this thesis, we study first-passage properties for an intermittent Brownian motion inside a confining domain. We consider a minimal model of heterogenous catalysis in which a molecule performs surface-mediated diffusion inside a confining domain whose boundary contains catalytic sites. We obtain results for several observables : (i) the mean first-passage time to reach a target, (ii) the splitting probabilities that the molecule reach a specific target, (iii) the covered territory on the confining surface before the molecule exits the domain, (iv) the probability of reacting with catalytic sites. These results are exact for point like-targets, and are shown to be accurate also for extended targets, located on the surface or inside the bulk. Depending of the relative positions of the entrance and exit points, very different behaviors with respect to the mean adsorption time of the molecule on the surface are found. Although non-intuitive for bulk targets, it is found that boundary excursions, can minimize the search time. We also present a simple model of an ordered porous media. We present two models : (i) for a simple Brownian motion, (ii) for a surface-mediated diffusion with a parameter of persistence b. This model leads to a less simple result for the efficient diffusion coefficient. Our main result shows that in the limit of non persistence (b=0), both results are the same. We also provide an analysis of the behaviors of the efficient diffusion coefficient with respect to the mean adsorption time, showing optimisation possibilities. Numericals Monte-Carlo simulations and finite element solver have been used to evaluate our theoretical results.

La présente étude tend à replacer le contexte de la construction fédérale américaine à la lumière d'un théisme politique émergent. L'exceptionnalisme procède à ce titre d'un paradoxe originel qui vient directement nourrir nos interrogations : la reconnaissance par la lettre constitutionnelle puis par les juges de la Cour Suprême d'un véritable « mur de séparation » entre le spirituel et le temporel, parfois exacerbé par les instruments du droit, mais qui doit être associé à la mise en place d'une «religion de la République» élaborée et fortement institutionnalisée. De là, l'auteur voit dans la notion d'exceptionnalisme religieux la mise en œuvre d'une rhétorique nouvelle qui entend offrir les instruments conceptuels permettant de revisiter la subtile immixtion de l' « esprit de religion » et de l' « esprit de liberté » chers à Alexis de Tocqueville. Cette perspective a dès lors pour dessein d'entrevoir une résolution de l'impossible oxymore que forme la république théocratico-laïque. Cette apparente dichotomie ne peut être entrevue à travers une lecture exclusivement doctrinale, elle emporte au contraire nombre d'incertitudes sur le plan jurisprudentiel. L'étude démontre à ce titre que les juges, en éludant la notion d'exceptionnalisme américain, ne peuvent construire un paradigme juridique apte à apprécier de manière satisfaisante les dispositions de droit positif en matière religieuse. Aussi, le constitutionnaliste œuvre à étudier les mécanismes juridiques traduisant un phénomène sociologique exceptionnaliste. Cette approche éclaire de telle manière la notion sans cesse revisitée de « laïcité américaine ». / This study tends to put the federal construction in context of an emerging political theism. Exceptionalism reveals an original paradox that directly feeds our questions: the recognition by the Constitution then by the judges of the Supreme Court of a “wall of separation” between spiritual and temporal powers, sometimes exacerbated by the instruments of the law, but which must be associated with the establishment of a “religion of the Republic” highly developed and institutionalized. From there, the author sees the notion of religious exceptionalism as the implementation of a new rhetoric that aims to provide the conceptual tools to revisit the subtle interference of the “spirit of religion” and the “spirit of liberty”, quoted from Alexis de Tocqueville. This perspective has therefore the ambition of establishing a possible resolution of the oxymoron that forms the theocratic-secular republic. This apparent dichotomy cannot be seen through a purely doctrinal reading, it brings on the contrary many uncertainties on the jurisprudential work. The study shows that the judges, eluding the notion of American exceptionalism, cannot build a legal paradigm able to appreciate adequately the provisions of substantive law in religious matters. To this end, the constitutionalist studies the legal mechanisms resulting from an exceptionalist sociological phenomenon. This approach sheds light on the concept so constantly revisited of “American secularism”.

Après la Seconde Guerre mondiale, Gérard Philipe est le seul acteur de sa génération, celle émergée à la Libération, à avoir acquis le rang de star. L'objectif de cette thèse est de comprendre l'ampleur du phénomène, comment et pourquoi, lui et pas les autres acteurs. En me référant au contexte de l'époque et inspirée par l'Histoire culturelle et les star studies, je propose l'analyse de sa persona cinématographique, sa construction médiatique, son image d'homme à la ville. Par la suite, j'émets donc l'hypothèse que Gérard Philipe est devenu une star car il a offert une figure nouvelle de masculinité juvénile et engagée, en opposition avec les normes genrées dominantes dans la société et le star-système en France. / After World War II, Gerard Philipe is the only actor of the young generation emerged after the war to become a star. The aim of this thesis is to understand why and how the process took place. Exploring the historic context and inspired by «Histoire culturelle» and the star studies, I try to examine his cinematographic persona, his representation in media, the image of the man in the city. I submit the hypothesis that Gerard Philipe became a star because he offered a figure of young manliness opposed to dominant gender standards in French society and star system.

Cette recherche interroge le champ des objets ethnographiques au prisme de leur circulation entre deux médiateurs situés entre leur production et leur réception : les musées d’ethnographie et les marchés de l’art. Aucune recherche scientifique ne s’est jusqu’à maintenant penchée en profondeur sur les relations entretenues entre ces deux intermédiaires dans le champ de l’art africain et océanien, si ce n’est pour décrire ou critiquer le cas précis de la fondation du Musée du quai Branly-Jacques Chirac.Mobilisant l’anthropologie et la muséologie, ma recherche est basée sur un travail de terrain intensif auprès des galeries, des maisons de ventes aux enchères et des musées en Suisse, en France et en Belgique entre 20013 et 2017. L’analyse, fondamentalement compréhensive, montre les enjeux territoriaux à l’œuvre et souligne l’impact d’une montée de l’événementiel tant du côté des musées que des marchés. Ma recherche dresse un portrait du marché, de son fonctionnement et de ses hiérarchies à l’heure actuelle et propose une typologie des différentes relations et acteurs afin de comprendre le processus de fixation de la valeur des objets. Sur un marché où domine la spéculation et une grande part d’arbitraire, je montre que cette valeur est intimement liée à la maîtrise de l’information. Finalement, l’analyse met en évidence les « prêts-à-penser » et processus développés par l’entier des acteurs du champ pour rationaliser une partie de ces pratiques spéculatives. J’espère souligner dans cette recherche les formes nouvelles de production, d’appropriation, de consommation et de valorisation de l’altérité par notre société aujourd’hui. / This PhD thesis presents the valuation of ethnographic object through the prism of their circulation between two stakeholders : art markets and ethnographic museums. No scientific research has so far looked in depth at the relation between this two actors in the tribal art’s field, except to describe or criticise the specific case of the Musée du quai Branly-Jacques Chirac’s foundation.My research mobilising anthropology and museology is based on intensive fieldwork with galleries, auction houses and museums in Switzerland, France and Belgium between 2013 and 2017. The comprehensive analysis shows the territorial issues between this different stakeholders and highlights the increase in events both in museums and markets. My research also draws a portrait of the market, its functionning and its hierarchies and proposes a typology of the different relations and actors. The main objective was to understand the process of fixing an object’s value. In a market dominated by speculation and a lot of arbitrariness, I highlight that this value is intrinsically linked to the control of information. Finally, the analysis shows the « how-to-think » and processes developped by all the actors in the field to rationalise some of these speculative practices. I hope I have emphasised in this work the new forms of production, appropriation, consumption and the valorisation of otherness by our society today.

Les clochers des petites églises rurales de Bourgogne du Sud sont étudiés pour leur architecture et leur décor mural des XIe-XIIe siècles. Ces deux éléments peuvent être à la fois partenaires et étrangers l'un à l'autre. Cette double situation entraîne des jugements parfois erronés quand on les rapproche dans une même classification. De fait, la première impression donnée par leur décor mural rappelle les caractéristiques du « premier art roman ». Or, construire un mur avec des moellons simplement équarris et un abondant mortier correspond au bon usage des matériaux disponibles et ne classe pas automatiquement les clochers en «premier art roman». À partir d'un corpus de 112 clochers, les choix constructifs et décoratifs de leurs commanditaires et maîtres ­maçons font apparaître l'existence d'un «modèle-type» de clocher auquel un décor mural du «premier art roman» est parfois ajouté. Il y a donc un élément invariant : celui du matériau, simple, peu coûteux et un «phénomène de mode». La répétition de ce modèle joue un rôle unificateur dans un paysage qui apparaît alors comme participant de la chrétienté voulue par la Réforme grégorienne. / This thesis studies South Burgundy small rural churches steeple focusing on their 11th-12th centuries architecture and wall decoration. These two elements can be either connected or unrelated. This opens the door to erroneous judgments when both are approached into a single classification. In fact, the first impression mural a decoration often conveys is reminiscent of the "first Romanesque art". However, building a wall out of simply squared rubble stones and heavy mortar corresponds to the proper use of available materials and does not automatically classify the steeples in "first Romanesque art". The analysis of constructive and decorative choices made by master masons and sponsoring benefactors across the corpus of 112 steeples considered in this research reveals the existence of a typical "standard" bell tower constructive design to which a mural decoration is added. This highlights the existence of a clear constant: the choice of construction materials, simple expensive, low-tech, while also fashionable. The recurrence of this model has played a unifying role in the Christian landscape the resulting from and aspired to by the Gregorian reform.

In 1817, the fifth Earl of Selkirk and certain Saulteaux chiefs negotiated the Selkirk Treaty to secure the existence of a fragile Euro-Canadian settlement near the confluence of the Red and Assiniboine Rivers. Selkirk died soon after, and his agents and successors disputed the content of the treaty with the Indigenous negotiating parties. The historiography of the Selkirk Treaty has not reached a consensus on these disputes, in part due to the number of ostensibly contradictory sources it draws upon. This thesis argues that these disputes can be best answered, and these ostensibly contradictory sources best reconciled, by situating them and the Selkirk Treaty within the context of the Indigenous and Imperial land frameworks that operated in Red River in 1817. This thesis first identifies unresolved questions in the historiography of the Selkirk Treaty. Using primary sources cited in the historiography, it then outlines the ideas acting within the Indigenous and Imperial land frameworks operative over Red River. It argues these ideas and frameworks remained intact during the negotiation of the Selkirk Treaty. On the basis of these frameworks, this thesis further argues that neither Lord Selkirk nor the Saulteaux negotiators intended the Selkirk Treaty to consist of a permanent alienation of Indigenous land. However, after Selkirk’s death, his agents and successors came to trust the Indenture of the Selkirk Treaty, a written and signed record of the treaty, as the only trustworthy record of the agreement. Selkirk’s agents and successors then read the Indenture as a permanent alienation of land, but this thesis argues that, on the basis of the borders specified in the Indenture, that document alone is inadequate to interpret the Selkirk Treaty. The primary purpose of this thesis is to provide a point of departure for future research into the Selkirk Treaty. At the same time, it is intended as a corrective against assuming the ideas of either Indigenous or Euro-Canadian actors about land rights in colonization zones. It is also meant to act as a caution against relying any more heavily on the Indenture of the Selkirk Treaty than scholars do on the written records of other treaties. It is further hoped that this thesis contributes to a better understanding of Red River’s Métis population in these early years by situating them within the framework of the broader Iron Alliance.

Le 1er transfert de brin, étape cruciale de la transcription inverse impliquant la protéine de nucléocapside du VIH-1 (NC), repose sur l’appariement de la séquence r de l’ADN « strong stop » (ADNss) avec la séquence 3’ R de l’ARN viral (3’UTR) qui forme les tiges-boucles TAR et polyA. La séquence r est supposé former les tiges-boucles cTAR et cpolyA. Le transfert repose donc probablement sur l’hybridation de molécules structurées. La structure secondaire de l’ADNss n’a jamais été déterminée. L’objectif a été d’identifier les interactions et structures gouvernant l’hybridation de l’ADNss avec l’ARN 3’UTR. Les outils de la biologie moléculaire et trois sondes de structure ciblant l’ADN ont été utilisés pour atteindre cet objectif. Nos résultats sont les suivants : 1) l’ADN cTAR nu se replie sous la forme de deux conformations différentes qui sont en équilibre ; 2) la NC peut déplacer l’équilibre vers l’une des conformations et se fixer préférentiellement sur la boucle interne du cTAR ; 3) la NC est exigée pour former un hétéroduplex constitué de l’intégralité de l’ADNss et du 3’ UTR ; 4) l’hybridation ADNss-3’UTR peut être initiée à partir de plusieurs sites dans 0,2 mM MgCl2 ; 5) l’ADNss forme deux conformations en équilibre dans 0,2 mM MgCl2 et principalement une seule dans 2 mM MgCl2 ; 6) dans l’ADNss, la NC se fixe préférentiellement au niveau de la région simple-brin qui relie les tiges-boucles cTAR et cpolyA. Cette fixation joue probablement un rôle important dans l’hybridation des tiges-boucles ARN et ADN complémentaires. Notre étude permet de mieux comprendre la transcription inverse et la recombinaison qui dépend du transfert de brin interne. / The 1st strand transfer, a crucial step of reverse transcription involving the HIV-1 nucleocapsid protein (NC), relies on base pairing of the r sequence of strong-stop DNA (ssDNA) with the 3’ R sequence of viral RNA (3’ UTR) which forms the TAR and polyA stem-loops. The r sequence can form the cTAR and cpolyA stem-loops. Therefore, the transfer relies probably on annealing of folded molecules. This process is not well known at the molecular and structural level. The tools of molecular biology and three DNA-targeted probes were used to get insights into the annealing process. Our results were the following: 1) in the absence of NC, the cTAR DNA folds into two distinct conformations in equilibrium; 2) NC slightly shifts the equilibrium toward one conformation and binds tightly the internal loop of the cTAR hairpin; 3) NC is required for the formation of heteroduplex of the full-length ssDNA and 3’ UTR; 4) the annealing of ssDNA to 3’ UTR can be initiated from different sites in the presence of 0.2 mM MgCl2; 5) the full-length ssDNA folds into two conformations in equilibrium in 0.2 mM MgCl2 but mainly into one conformation in 2 mM MgCl2 ; 6) NC preferentially binds to the single-stranded region between the cTAR and cpolyA hairpins in ssDNA. This binding site probably plays an important role in the annealing of complementary DNA and RNA hairpins. This study helps us to gain insights into the reverse transcription process and the associated genetic recombination.

Cette thèse propose de réévaluer nos connaissances sur le mobilier de parure daté du Premier âge du Fer (800-400 a.C.) dans une zone comprise entre le sud-ouest de la France et le nord-ouest de l'Espagne. La large emprise géographique de ce travail, à cheval sur deux pays aux traditions de recherche distinctes, est déterminée par des résultats antérieurs qui avaient pu mettre en exergue plusieurs rapprochements typologiques entre ces deux régions sans en dessiner précisément les contours. L'objectif est donc de pallier ce manque et de porter une analyse à la fois chronologique, spatiale, culturelle et sociale du mobilier d'apparat. Pour ce faire, cette thèse s'appuie sur un corpus de parures issues de fouilles anciennes et récentes rassemblées dans une base de données relationnelles. La première étape d'analyse est réservée à la mise en place de typologies. Les relations taphonomiques des objets et les comparaisons avec les vestiges similaires venant de régions extérieures à notre cadre d'étude permettent d'actualiser les chronologies connues jusqu'alors pour les parures. Lors d'une seconde étape, la synthèse typo-chronologique du corpus découvert en contexte funéraire mène à la reconnaissance d'un phasage chronologique général. Ce phasage, qui partitionne en trois horizons l'intervalle retenu, est marqué d'une part par sa proximité avec celui reconnu dans le sud-est de la France, et d'autre part par un léger décalage entre les phénomènes observés sur les sites établis au nord et au sud des Pyrénées. Fondée sur cette trame chronologique, l'analyse spatiale du corpus permet de rendre compte de l'emprise territoriale de faciès mobiliers locaux et de leurs évolutions dans le temps. L'identification d'un faciès "pyrénéen" et son expansion à la fin du Premier âge du Fer est l'un des apports majeurs de cette étude. Enfin, lors d'une troisième et dernière étape, cette thèse propose une analyse sur les porteurs de parures. L'utilisation d'analyses factorielles de correspondances (AFC) autorisent la reconnaissance de divers costumes funéraires pour lesquels les parures jouent un rôle prépondérant dans la représentation d'un système social organisé et complexe. / This thesis proposes to re-evaluate our knowledge on ornamental furniture dated to the Early Iron Age (800-400 BC) in an area between southwest France and northwest Spain. The wide geographical scope of this work, taking place between two countries with distinct research traditions, is determined by previous results that had been able to highlight several typological similarities between these two regions without precisely drawing their outlines. The objective is to fill this gap and to provide an analysis that is chronological, spatial, cultural and social of the ceremonial furniture. To do this, this thesis is based on a corpus of ornaments from ancient and recent excavations gathered in a relational database. The first stage of analysis is reserved for the implementation of typologies. The taphonomic relationships of these objects and comparisons with similar remains from regions outside our study allow us to update the chronologies known until then. During a second stage, the typo-chronological synthesis of the corpus discovered in the funeral context leads to the recognition of a general chronological phasing. This phasing, which divides the selected interval into three horizons, is marked on the one hand by its proximity to what is knows in south-eastern France, and on the other hand by a slight discrepancy between the phenomena observed on the sites established to the north and south of the Pyrenees. Based on this chronological framework, the spatial analysis of the corpus makes it possible to account for the territorial hold of local movable facies and their evolution over time. The identification of a "Pyrenean" facies and its expansion at the end of the Early Iron Age is one of the major contribution of this study. Finally, during a third and last stage, this thesis proposes an analysis on the wearers of ornamentals. The use of correspondence factor analysis (CFA) allows the recognition of various funeral costumes for which the ornamentals plays a predominant role in the representation of an organized and complex social system.

Le sud-est du Domaine royal capétien est longtemps resté ignoré des études sur les débuts de l’architecture romane. Ceci est en grande partie lié à la position marginale qu’il occupe par rapport aux grands ensembles de l’historiographie, un état de fait qui découle comme nous avons eu l’occasion de le montrer d’une longue évolution historique depuis l’époque celtique où la zone fut subdivisée entre Sénons et Carnutes. Les premiers souverains capétiens ont toutefois porté un intérêt particulier à cette région, tentant au XIe siècle d’unifier l’espace compris entre leurs trois grands centres : Orléans, Étampes et Melun, face aux poussées de leurs rivaux bléso-champenois. L’activité architecturale semble alors battre son plein, avec de très nombreuses constructions, certes secondaires, mais témoignant d’un certain dynamisme architectural à cette époque. L’examen des monuments les plus importants, confrontés aux autres réalisations phares menées par les Capétiens dans le reste de leur Domaine royal, permet d’envisager le développement d’une politique édilitaire, favorisant certaines formes architecturales monumentales comme la tour-porche ou le chevet dit harmonique, dans une volonté claire de la part des nouveaux souverains de s’imposer visuellement dans le paysage, de se positionner en héritiers de leurs prédécesseurs carolingiens et de s’imposer face à leurs contemporains ottoniens, en reprenant certaines de leurs formes architecturales les plus emblématiques. Ces résultats ne doivent pas cacher en revanche des questions laissées en suspens, notamment en ce qui concerne les datations des édifices considérés ici. L’architecture apparaît en effet assez uniforme, entre petit appareil de tradition antique, opus spicatum, remplois de sarcophages haut-médiévaux et débuts du moyen appareil ; et les critères de datation généralement admis s’opposent à ceux des rares décors conservés. / The southeast of the Capetian royal Domain remained for a long time unknown by studies on the beginnings of Romasnesque architecture. This is largely connected to the marginal position which it occupies compared with the large sets of the historiography, an established fact which ensues as we had the opportunity to show it of a long historic evolution since the Celtic period when the zone was subdivided between Sénons and Carnutes. The first Capetian sovereigns however carried a particular interest in this region, trying in the 11th century to unify the space between their three big centers : Orléans, Étampes and Melun, in front of pushes of their bléso-champenois rivals. The architectural activity then seems to be in full swing, with very numerous constructions, certainly secondary, but testifying of a certain architectural dynamism at that time. The examination of the most important buildings, confronted with the other key realizations led by the Capetians in the rest of their royal Domain, allows us to envisage the development of a artistic policy, favoring certain architectural monumental forms as tower-hall and harmonious bedhead, in a clear will on behalf of the new sovereigns to stand out visually in the landscape, to position in heirs of their Carolingian predecessors and to stand out in front of their ottonian contemporaries, by taking back their most symbolic architectural forms. These results can’t hide on the other hand questions left unsettled, in particular as regards the datings of buildings considered here. The architecture indeed seems rather uniform, between walls with small rubbles, opus spicatum, re-uses of high-medieval sarcophagus, and beginnings of carved stone ; and the generally admitted criteria of dating oppose those of the rare preserved decorations.

Les bibliothèques numériques sont des systèmes d'information complexes stockant des ressources numériques (par exemple, texte, images, sons, audio), ainsi que des informations sur les ressources numériques ou non-numériques; ces informations sont appelées des métadonnées. Nous proposons un modèle de données pour les bibliothèques numériques permettant l'identification des ressources, l’utilisation de métadonnées et la réutilisation des ressources stockées, ainsi qu’un langage de requêtes pour l’interrogation de ressources. Le modèle que nous proposons est inspiré par l'architecture du Web, qui forme une base solide et universellement acceptée pour les notions et les services attendus d'une bibliothèque numérique. Nous formalisons notre modèle comme une théorie du premier ordre, afin d’exprimer les concepts de bases de la bibliothèque numérique, sans aucune contrainte technique. Les axiomes de la théorie donnent la sémantique formelle des notions du modèle, et en même temps fournissent une définition de la connaissance qui est implicite dans une bibliothèque numérique. La théorie est traduite en un programme Datalog qui, étant donnée une bibliothèque numérique, permet de la compléter efficacement avec les connaissances implicites. Le but de notre travail est de contribuer à la technologie de gestion des informations des bibliothèques numériques. De cette façon, nous pouvons montrer la faisabilité théorique de notre modèle, en montrant qu'il peut être efficacement appliqué. En outre, nous démontrons la faisabilité pratique du modèle en fournissant une traduction complète du modèle en RDF et du langage de requêtes en SPARQL.Nous fournissons un calcul sain et complet pour raisonner sur les graphes RDF résultant de la traduction. Selon ce calcul, nous prouvons la correction de ces deux traductions, montrant que les fonctions de traduction préservent la sémantique de la bibliothèque numérique et de son langage de requêtes. / Digital Libraries are complex information systems, storing digital resources (e.g., text, images, sound, audio), as well as knowledge about digital or non-digital resources; this knowledge is referred to as metadata. We propose a data model for digital libraries supporting resource identification, use of metadata and re-use of stored resources, as well as a query language supporting discovery of resources. The model that we propose is inspired by the architecture of the Web, which forms a solid, universally accepted basis for the notions and services expected from a digital library. We formalize our model as a first-order theory, in order to be able to express the basic concepts of digital libraries without being constrained by any technical considerations. The axioms of the theory give the formal semantics of the notions of the model, and at the same time, provide a definition of the knowledge that is implicit in a digital library. The theory is then translated into a Datalog program that, given a digital library, allows to efficiently complete the digital library with the knowledge implicit in it. The goal of our research is to contribute to the information management technology of digital libraries. In this way, we are able to demonstrate the theoretical feasibility of our digital library model, by showing that it can be efficiently implemented. Moreover, we demonstrate our model’s practical feasibility by providing a full translation of the model into RDF and of the query language into SPARQL. We provide a sound and complete calculus for reasoning on the RDF graphs resulting from translation. Based on this calculus, we prove the correctness of both translations, showing that the translation functions preserve the semantics of the digital library and of the query language.