deletions | additions       diff --git a/results.md b/results.md  index d281cab..4d78483 100644  --- a/results.md  +++ b/results.md 
...
Permet la gestion d'hypothèses.  ## ## Validation 
...
Poursuite du développement des ontologies contenant des axiomes et assertions valables sous une hypothèse.  # Discussion  PSO disponible et système de gestion des hypothèses permet d'écrire autant d'ontologies correspondant à chaque domaine délimité par un jeu d'hypothèses.  Un jeu en cours de développement et continuera à être développé.  ## Problématiques de modélisation des sciences physiques (domaine où les connaissances reposent sur des hypothèses)  ### Gestion des hypothèses - ma gestion des hypothèses (puisque c'est dune des problématiques)  En effet, il n'est pas possible de stocker toutes les connissances des sciences physiques dans une seule et même ontologie. Suivant les hypothèses qui sont faites, des axiomes seront écrits, qui se contrediront.  À l'inverse, si aucun axiome reposant sur une hypothèses n'est écrit, alors aucun axiome ne peut être écrit, à l'exception de la définition des classes et des propriétés. Il en résulte qu'en l'absence d'un système de gestion des hypothèses, seul un thésaurus peut être écrit.  Dans le cas des sciences physiques, toute relation entre deux concepts repose sur un jeu d'hypothèses. Par conséquent toutes les connaissances de sciences physiques ne peuvent être stockées dans une même ontologie sans être confrontées à un problème de gestion de la validité d'un axiome ou d'une assertion.  La modularité permet d'inidiquer qu'une ontologie contient les autres axiomes d'une autre ontologie.  Concrètement, cela permet qu'un jeu d'hypothèses (HypothesisSet) importe les hypothèes qui constituent ce jeu d'hypothèses. Lu fait que ces hypothèses sont écrites séparément, elles peuvent être importées par différentes ontologies et par conséquent être réutilisées de nombreuses fois (exemple : l'hypothèses d'adiabaticité).  La gestion des hypothèses permet ed stocker autant d'infos que tu veux d'un domaine, puisque seules les infos basées sur les hypothèses correspondantes peuvent être stockées. Tout ce qui reposes sur d'auter hypothèses (en particulier les axiones contradictoires) sont stockées dans l'autres ontologies.  ### Problématiques de sciences physiques (puisque c'est le domaine)  Une fois que la question des hypothèses est réglée, dans PSO et dans chaque ontologie du corpus, il y a des classes, propriétés et des axiomes qui sont écrits.  #### Définition par des caractères, parties, valeurs  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_).  #### Rolification  ### Axiomes et patterns  Nobmres d'axiomes font intervernir des propriétés ou des calsses qui relèvent de la boite noire. Par conséquent, la modélisation réellement effective nécessite d'aller plus loin :  - écriture d'équievalenc classes qui contiennent suffisamméent d'infos pour que les résonneurs soient capables de classer les individus seul.s  - rolification pour qu'une propriétét boite noire soit explicite et puisse être prise en compte par le résnneur.  #### Punning  emploi de la même URI pour des calsse et leur individu, lorsque cet individu est unique permet ed faire de la méta modélisation. En effet, cet individu est générique puisqu'il n'est pas un e irstance pure et dure (ne peut être multiplié) et pourtant contient suffisament d'informations pour être exploité par un résonneur.