Soit la série de déclarations suivantes :

1. Directeur > Chef_de_service
2. Chef_de_service > Ingénieur
3. Directeur > Directeur_technique
4. Directeur_technique > Ingénieur
5. Ingénieur > Technicien
6. Technicien > Ouvrier
7. Jean = Chef_de_service
8. Jacques = Ingénieur
9. Pierre = Ingénieur
10. Robert = Directeur_technique
11. Jeanne = Chef_de_service
12. Yvonne = Ingénieur
13. Paule = Directeur
14. Marthe = Ouvrier
15. Auguste = Technicien
16. Sylvie = Ingénieur
17. Marie = Chef_de_service
18. Jean :: Informatique
19. Jacques :: Informatique
20. Pierre :: Maintenance
21. Robert :: Maintenance
22. Paule :: Direction
23. Jeanne :: Maintenance
24. Yvonne :: Maintenance
25. Marthe :: Maintenance
26. Auguste :: Informatique
27. Sylvie :: Commercial
28. Marie :: Commercial
29. Commercial = Type_de_service
30. Direction = Type_de_service
31. Maintenance = Type_de_service
32. Informatique = Type_de_service
33. Jean = personne
34. Jacques = personne
35. Pierre = personne
36. Robert = personne
37. Jeanne = personne
38. Yvonne = personne
39. Paule = personne
40. Marthe = personne
41. Auguste = personne
42. Sylvie = personne
43. Marie = personne
44. Ingénieur = grade
45. Technicien = grade
46. Chef_de_service = grade
47. Directeur = grade
48. Ouvrier = grade

Il faudrait aussi que je donne les règles permettant de faire des calculs cohérents avec le fait que "=" doit être lu comme "sorte_de" (donc permet l'héritage des propriétés), que "::" doit être lu comme "appartient_à" (donc permet de déduire les composants et les composés), que ">" veut dire "plus_gradé_que" (donc permet de calculer une transitivité sur cette relation!).

A partir de ces déclarations et moyennant un peu de patience, je peux "dessiner" les relations entre les différents éléments déclarés.

Dessiner le graphe des relations des "personne" pour la relation "::".

Solution