J.-B. Bohuon edited methods.md  about 9 years ago

Commit id: ee94d7505127a9d3ad8f6c4b280bfc8894daac62

deletions | additions      

       

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.    ### URI et namespace  Toutes les URI créées font partie de l'espace de nom ayant pour base _http://jibe-b.github.io/ontology/pso_. Les modules d'ontologie reposant sur des hypothèses doivent être fusionnés avec pso avant d'être exploitables. Par conséquent, un graph basé sur pso doit indiquer dans ses métadonnées les hypothèses sur lesquelles il est basé, ainsi que la version du corpus d'ontologies considéré (présent dans l'IRI), afin qu'une application ou un utilisateur puisse fusionner les bons modules et produire l'ontologie adéquate.   ??? ->  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.  ## Traitement à la main