deletions | additions       diff --git a/methods.md b/methods.md  index 190a6e2..87cd5b6 100644  --- a/methods.md  +++ b/methods.md 
...
# Matériel et méthodes ## Matériel  Écriture à partir des ressources pédagogiques du master de physique fondamentale d'Orsay, ainsi que d'ouvrages de référence en sciences physiques.  ## Langage 
...
L'ontologie DUL répond à ces critères et a par conséquent été retenue.  (REF) (onset)  Le lien entre l'ontologie fondationnelle DUL et l'ontologie DUL PSO  a été réalisée.Il est à noter que les sciences physiques sont en partie basées sur les mathématiques.Il est à noter que les mathématiques peuvent être traduits dans une ontologie descriptive (les mathématiques traduisent une représentation du monde) et possibiliste (les objets mathématiques sont des objets abstraits) également. Le choix de DUL est donc en accord avec un développement d'une ontologie de mathématiques en parallèle avec l'ontologie PSO.  ## Traitement à la main  Le développement de l'ontologie est réalisé dans l'optique de traiter des problèmes relevant de la modélisation. Par conséquent, le travail d'écriture de l'ontologie se fait manuellement. La relecture également est réalisée par des individus et est associée à une vérification automatique (résonneur et test conventionnels).  ## Labels  Chaque label est écrit en anglais (afin de permettre l'échange avec d'autres ontologies). Les termes choisis ont pour vocation d'être consensuels. (REF) Ces labels ne proviennent pas de traitement informatisé.  Alignement avec un thésaurus (REF)(ASTRO)  ## Gestion des hypothèses  La question principale adressée par le développement de cette ontologie est la gestion des hypothèses sur lesquelles reposent.  ## Named Graphs  La problématique de la gestion des hypothèses est semblable à celle de l'écriture de métadonnées d'un graph RDF.  Un graph ne peut parler de lui-même donc les Named Graphs ont été développés W3C (et Cambridge???), permettant d'avoir un graph principal où sont stockées des informations sur les Named Graphs et des Named Graphs où sont stockés les triplets d'intérêt.  Dans le cas des ontologies, il n'existe pas de schéma semblable aux Named Graphs. Cependant, il petit module  est possible d'avoir une base de connaissances traitant des ontologies elles-mêmes et un jeu de bases de connaissances contenant des axiomes et assertions correspondant à un cas particulier. disponible.  Dans le cadre de la gestion des hypothèses, Il est à noter que les sciences physiques sont en partie basées sur les mathématiques. Il est à noter que les mathématiques peuvent être traduits dans  une ontologie peut contenir les liens entre notologies descriptive (les mathématiques traduisent une représentation  du jeu d'ontologies. monde) et possibiliste (les objets mathématiques sont des objets abstraits) également.  Le jeu d'ontoloige choix de DUL  est lui constitué d'ontologies contenant uniquement des axiomes valables sous les hypothèses associées à l'ontologie. donc en accord avec un développement d'une ontologie de mathématiques en parallèle avec l'ontologie PSO.  ### Modularité  ## a  Singleton Prpoperties montrée par Cambridge mais crée une quantité de travail est une ontologie résultante de volume repoussant.  Reification mais pas Avant tout,  le triplet lui même dont pas coprus est constitué  de requête  ### Recensement  Recensement des théories et des jeux d'hypothèses sur lesquelles elles reposent. modules.  Cesliens entre cadres théoriques (_Model_ et _Theory_), hypothèses et  modulescontenant les axiomes (_KnowledgePropositionSet_) sont formalisées dans le modules _TH_.  ###   Les modules contenant des axiomes et des assertions contienent un nombre limité d'axiomes et d'assertions du fait qu'ils doivent être valbelse sous les hypothèses déclarées pour ce module.  Il en résulte que des résultats  peuvent être appelés dès lors qu'un jeu d'hypothèses est invoqué. Ce jeu de résultats peut ensuite être complété farie appel les uns aux autres. Cela se traduit  par des axiomes et assertions associées à une nouvelle hypothèse, elle aussi convoquée.  ## Modularité l'import d'une ontologie.  Les sciences physique font appel aux mathématiques, et ces deux domaines sont deux disciplines indépendantes. La modularité est nécessaire afin d'assurer le développement des ontologies de manière indépendante. Ceci permet de développer les ontologies nécessaires à une description fine des sciences physiques séparément et de manière complémentaire (dans le but d'être employées par les sciences physiques mais également dans le développement d'une ontologie indépendante du domaine concerné). 
...
  ## Problématiques de sciences physiques  La définition des objets physiques est réalisée à l'aide de grandeurs physiques et de leur valeur. Par exemple, les particules élémentaires de matière telles que définies par le modèle standard de la physique des particules sont définies par des nombres quantiques. Les classes héritent des grandeurs physiques caractérisant la classe supérieure. Au plus bas niveau, la particule élémentaire est définie de manière unique par un jeu de nombres quantiques, traduit en OWL par un jeu d'axiomes.  Les objets physiques non élémentaires sont eux défénis par leurs parties, d'échelles inférieures. Ceci permet une définition récursive des objets, alignée sur la définition réalisée en nanosciences et en physique atomique, ou encore nucléaire.  Les échelles en sciences physiques sont fondamentales et imposent de différencier les objets élémentaires, non élémentaires et ceux pour lesquels le nombre d'éléments est inconnu (_Objets macroscopiques_). ## Traitement à la main  Le développement de l'ontologie est réalisé dans l'optique de traiter des problèmes relevant de la modélisation. Par conséquent, le travail d'écriture de l'ontologie se fait manuellement. La relecture également est réalisée par des individus et est associée à une vérification automatique (résonneur et test conventionnels).  ## ABox Labels  Les limitations du langage OWL font qu'une partie Chaque label est écrit en anglais (afin  de la modélisation doit être faite sur des individus. Par conséquent, les individus sont créés et permettre l'échange avec d'autres ontologies). Les termes choisis  ont la même URI que la classe de bas niveau dont ils sont des instances. Ceci permet de réaliser un métamodelling pour vocation d'être consensuels.  (REF) Ces labels ne proviennent pas  de façon punning, et ainsi de stocker un maximum d'informations sur un domaine. traitement informatisé.  Alignement avec un thésaurus (REF)(ASTRO)  ### Recensement  Recensement des théories et des jeux d'hypothèses sur lesquelles elles reposent. Ces liens entre cadres théoriques (_Model_ et _Theory_), hypothèses et modules contenant les axiomes (_KnowledgePropositionSet_) sont formalisées dans le modules _TH_.