(
)
No new resources with IRI are created from an inference engine, only relationships between resources with IRI . This particular way of reifying a relation is suited with reasonning based on Descriptive Logic, but it prevents reification of relation as individual with property (at least with explicit formalization based on a specific language construct)