<inverseOf>
                <resource name="ore:aggregates"/>
        </inverseOf>
+       <propertyChainAxiom>
+               <ObjectProperty>
+                       <inverseOf>
+                               <resource name="ore:proxyFor"/>
+                       </inverseOf>
+               </ObjectProperty>
+               <resource name="ore:proxyIn"/>
+       </propertyChainAxiom>
        <domain>
                <resource name="ore:AggregatedResource"/>
        </domain>