deletions | additions       diff --git a/state-of-the-art.md b/state-of-the-art.md  index 6bc822b..3294e90 100644  --- a/state-of-the-art.md  +++ b/state-of-the-art.md 
...
# État de l'art  ## Pas d'ontologie adoptée en sciences physiques  Contrairement aux biologistes et aux médecins qui sont confrontés à des grands nombres de concepts à classifier (REF) (gènes pour les biologistes, maladies pour la médecine), il y a peu de problèmes en physique faisant intervenir de grans nombres de concepts. Seule l'astronomie traite d'un grand nombre d'objets cosmiques (astres, galaxies, etc). Par conséquent, aucun travail de développement d'ontologies comparable à celui de la biologie n'a été lancé.  ## Des tentatives  La physique quantique est une théorie fondatrice en sciences physiques et l'ontologie QuONTOm vise à modéliser la physique quantique. Cependant, les auteurs se sont confrontés à différents problèmes. En particulier, l'écriture d'opérateurs mathématiques n'a pas été possible, du fait de l'absence d'ontologie de mathématiques(REF),  et les auteurs n'ont pas favorisé l'approche modulaire permettant le développement d'une ontologie de mathématiques.  Par ailleurs, cette ontologie ne met pas en place de gestion des hypothèses. Par conséquent, ce qui est stocké dans QuONTOm relève d'axiomes valables dès lors que les hypothèses de la physique quantique sont vérifiées.  ## Le cas de l'astronomie  L'astronomie est confronté à la gestion de grands nombres d'astres. Par conséquent, afin de partager des données concernant ces astres, des catalogues d'astres existent (REF) (Nasa, Strasbourg, thésaurus). Une tentative a été faite pour traduire le thésaurus (?) en au format OWL. L'ontologie produite fait appel à différents concepts de physique, de géométrie… et a donc nécessité la traduiction au format OWL de thésaurus correspordants.  Cette ontologie inclut des _domain_ et _range_ des propriétés crées. Cependant aucun axiome de définition (équivalent classes) n'a été écrit. Seuls des assertions (sur les individus) de valeurs (DatProperty) sont présents. Par ailleurs, les hypothèses ne sont pas implémentées et donc les informations qui sont stockées relèvent d'un type unique : l'existence d'un concept (class) ou d'une relation.  ## Le cas d'OPB  Les biologistes faisant appel à des concepts de physique ont implémentés une ontologie de physique pour la biologie. Cette ontologie définit donc des concepts de physique, de la manière dont ils sont employés en biologie. Cette ontologie est donc à visée appliquée, sans objectif de modéliser. Par ailleurs, de la même manière que les ontologies de biologie ne mettent pas en place de gestion des hypothèses, OBP ne définit que des termes valables à condition que les hypothèses minimales pour la biologie soient vérifées.  On remarque donc qu'il n'y a pas d'ontologie de description des sciences physiques, et que bien que les sciences physiques soient basées sur la gestion des hypothèses, dans les quelques ontologies existantes, la gestion des hypothèses n'est pas mise en place. 
...
---  ## Une ontologie ?  L'écriture d'une ontologie dont le but est de modéliser un domaine de connaissances consiste à identifier les concepts et relations entre concepts qui relèvent de l'implicite et d'écrire ces relations implicites dans un langage formel, comme OWl dans le cas présent, afin de permettre des requêtes sur ces informations implicites dans une approche informatisée de la gesiton des connaissances.    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. ## Modélisation (classes riches et propriétés riches)   peu d'axiomes écrits.  ## Gérer les hypothèses  Contrairement à la biologie, 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 sont ne peuvent être stockées dans une même ontologie sans être  confrontées à peu un problème  de domaines problèmes relevant gestion  de la multiplication des concepts, comme le peuvent être les biologistes. Seule l'astronomie a un grand nombre d'objets à classifier (étoiles, comètes, galaxies…). Peu d'ontologies de sciences physiques sont disponibles. validité d'un axiome ou d'une assertion.  Néanmoins, la biologie fait appel à des concepts