tdkg algebra II : distance

A. tdkg introduit plusieurs opérations :

< : oriented edge : généralement hiérarchique.
_ : a_b, équivalent d'un eco_logie, eco_nomie etc. par exemple data_storage.
+ : plusieurs parents (multi_héritage) : cloud computing < N_data_comput + N_data_storage
- : résulte de la composition < * _ : il est clair qu'en général u < a_b, a<x, b<y '=>' u < x_y, les guillemets marquant que le résultat est une prédiction plus qu'une déduction, et que donc il est raisonnable de noter plutôt u < a-b pour marquer la différence de certitude. Ex : M_storage_data < decentralized_polis-storage-data, sachant que M< decentralized_polis et que storage ni data n'ont de parent. S 'agisant d'une composition approximative, on note '-' au lieu de '_'. On peut néanmoins entériner un '-' et le promouvoir en '_'.







B. On a alors une distance relativement fine :




si u < a(_...) et v < a(_...), alors u→v < a (level 1 )




si u < a(_...) et v < c(_...) et c < a(_...) , alors u→v < a (level 2)




si u < a-c (≠ a_c), v < a(_...-...), alors u→v ≾ a (level 1)




si u < a_b, v < c(_...-...) et b < c(_...-...), alors u→v ≾ c (level 2)




etc