deletions | additions       diff --git a/methods.md b/methods.md  index 5184b7c..f13d08b 100644  --- a/methods.md  +++ b/methods.md 
...
Axiomes et Assertions  ### 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_ _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é par des axiomes et assertions associées à une nouvelle hypothèse, elle aussi convoquée.  ## Modularité  
...
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.   ## 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.  ## ABox  Les limitations du langage OWL font qu'une partie de la modélisation doit être faite sur des individus. Par conséquent, les individus sont créés et ont la même URI que la classe de bas niveau dont ils sont des instances. Ceci permet de réaliser un métamodelling (REF) de façon punning, et ainsi de stocker un maximum d'informations sur un domaine.