25. A method according to claim 24 , wherein the algorithm elaboration step comprises: applying inference or derivation rules of the inference capabilities on the annotated formal model to elaborate an algorithm for building or generating the formal probabilistic graph structure model.
24. A method according to claim 23 , comprising the step of: storing said first formal model, said second formal model and said annotated formal model in ontology holding means.