<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>