Extraction de classes et d'instances à partir des arguments de partOf

Lorsque l'on a une relation du style :part-of (s / system :mod (ii / inner)), je déduis que j'ai une classe et une instance de cette classe. Dans l'exemple, je dois extraire :

• la classe :inner-system
• la classe :system, et la relation :inner-system rdfs:subClassOf :system (déduit de mod)
• une instance :inner-system-xxx où xxx est une référence à la phrase et à la variable (pour différencier plusieurs instances dans une même phrase)

Idem pour les arcs entrants.

L'une des conséquences, c'est que la relation partOf se traduit pas une propriété entre deux instances, et non une restriction.

Ex. : (p / planet :part-of (s / system :mod (ii / inner))) donne :planet-xxx-p :partOf :inner-system-xxx-sii.