this is for holding javascript data
J.-B. Bohuon edited methods.md
about 9 years ago
Commit id: 8645665087199799f5d2e11eb23ade97724f38fb
deletions | additions
diff --git a/methods.md b/methods.md
index 7bd609d..02a4c5a 100644
--- a/methods.md
+++ b/methods.md
...
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