Improvements to P·C·D·M and Ore modelling

[Vocab] / data / object_properties / ore¦aggregates

diff --git a/data/object_properties/ore¦aggregates b/data/object_properties/ore¦aggregates
index 17c4c497b10f5c4f3e07c0c3f66e0df7a6cad802..4fb4e599558380cb5483acfe2213ce0b40c72f20 100644 (file)
--- a/data/object_properties/ore¦aggregates
+++ b/data/object_properties/ore¦aggregates
@@ -17,6 +17,14 @@ SPDX-License-Identifier: CC0-1.0
        <subPropertyOf>
                <resource name="dcterms:hasPart"/>
        </subPropertyOf>
        <subPropertyOf>
                <resource name="dcterms:hasPart"/>
        </subPropertyOf>

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

        <domain>
                <resource name="ore:Aggregation"/>
        </domain>
        <domain>
                <resource name="ore:Aggregation"/>
        </domain>