deletions | additions       diff --git a/methods.md b/methods.md  index c294767..a22a327 100644  --- a/methods.md  +++ b/methods.md 
...
# Matériel et méthodes ## Ontologie fondationnelle  L'ontologie de sciences physiques écrite a trois classes de plus haut niveau (_PhysicalObject_, _Property/Attribute_, _KnowledgeElement_). Il a été fait le choix de placer ces classes de haut niveau au plus bas niveau d'une ontologie fondationnelle. Les sciences physiques constituent une représentation du monde, et par conséquent, l'ontologie fondationnelle doit être descriptive. Par ailleurs, la prise en compte des connaissances (_knowledgeElement_) requiert une ontologie possibliste.  L'ontologie DUL répond à ces critères et a par conséquent été retenue.  (REF) (onset)  Par ailleurs, 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.  ## 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)  ## Modularité   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é).  Par ailleurs, la gestion des hypothèses requiert que les seuls axiomes (TBox) et assertions (ABox) inclus dans une ontologie de type PSO-x soit des axiomes et assertions valables sous les hypothèses correspondantes. Par conséquent, des modules sont nécessaires.