reification

expanded after reification as follows (we show here the SWRL syntax):

élargi après la réification comme suit (nous montrons ici la syntaxe SWRL):