deletions | additions       diff --git a/state-of-the-art.md b/state-of-the-art.md  index 3294e90..87cd5b6 100644  --- a/state-of-the-art.md  +++ b/state-of-the-art.md 
...
# État de l'art Matériel et méthodes  ## 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é. ## Matériel  ## Des tentatives Écriture à partir des ressources pédagogiques du master de physique fondamentale d'Orsay, ainsi que d'ouvrages de référence en sciences physiques.  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), ## Langage  et les auteurs n'ont pas favorisé l'approche modulaire permettant le développement d'une ontologie Le langage choisis est OWL, du fait  de mathématiques.  Par ailleurs, cette ontologie ne met pas en place son adaptation pour les ontologies et qu'il est répandu (REF). En effet, ce langage permet  de gestion stocker  des hypothèses. Par conséquent, ce qui est stocké dans QuONTOm relève d'axiomes valables dès lors que les hypothèses informations relevant  de la physique quantique sont vérifiées. …  ## Le cas de l'astronomie Ontologie fondationnelle  L'astronomie est confronté à la gestion L'ontologie  de grands nombres d'astres. Par conséquent, afin sciences physiques écrite a trois classes  de partager des données concernant ces astres, des catalogues d'astres existent (REF) (Nasa, Strasbourg, thésaurus). Une tentative plus haut niveau (_PhysicalObject_, _Property/Attribute_, _KnowledgeElement_). Il  a étéfaite pour traduire le thésaurus (?) en au format OWL. L'ontologie produite  fait appel à différents concepts le choix  de physique, placer ces classes  de géométrie… haut niveau au plus bas niveau d'une ontologie fondationnelle. Les sciences physiques constituent une représentation du monde,  et a donc nécessité par conséquent, l'ontologie fondationnelle doit être descriptive. Par ailleurs,  la traduiction au format OWL de thésaurus correspordants. prise en compte des connaissances (_knowledgeElement_) requiert une ontologie possibliste.  Cette ontologie inclut des _domain_ L'ontologie DUL répond à ces critères  et _range_ des propriétés crées. Cependant aucun axiome de définition (équivalent classes) n'a a par conséquent  é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. retenue.  (REF) (onset)  ## Le cas d'OPB lien entre l'ontologie fondationnelle DUL et l'ontologie PSO a été réalisée. Un petit module est disponible.  Les biologistes faisant appel Il est  à 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 noter que les sciences physiques  sontemployés  en biologie. Cette ontologie partie basées sur les mathématiques. Il  estdonc  à visée appliquée, sans objectif de modéliser. Par ailleurs, de la même manière noter  que les ontologies 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 biologie ne mettent pas DUL est donc  en place accord avec un développement d'une ontologie  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. mathématiques en parallèle avec l'ontologie PSO.  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. ### Modularité  Avant tout, le coprus est constitué de modules. Ces modules peuvent farie appel les uns aux autres. Cela se traduit par 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é).  ## Une 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.  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.     ## Modélisation (classes riches et propriétés riches) Traitement à la main  peu d'axiomes écrits. 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).  ## Gérer les hypothèses  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. ## Labels   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)  ### 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_.