:P52_has_current_owner leaf node

@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:P52_has_current_owner a rdf:Property ;
    rdfs:label "hat derzeitigen Besitzer"@de,
        "έχει ιδιοκτήτη"@el,
        "has current owner"@en,
        "a pour propriétaire actuel"@fr,
        "é propriedade de"@pt,
        "имeeт тeкущeго владeльца"@ru,
        "有当前所有者"@zh ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This property identifies the instance of E21 Person or E74 Group that was the owner of an instance of E18 Physical Thing at the time of validity of the record or database containing the statement that uses this property.
This property is a shortcut for the more detailed path from E18 Physical Thing through, P24i changed ownership through, E8 Acquisition, P22 transferred title to to E39 Actor, if and only if this acquisition event is the most recent.

Examples:
- The paintings from the Iveagh Bequest (E78) has current owner Historic England (E74). [This is still valid 2021 CE. The important collection of Old Master and British portraits was bequeathed to Kenwood by Edward Cecil Guinness, 1(st) Earl of Iveagh, in 1927.] (Iveagh Bequest, 1975; Bryant, 1990)

In First Order Logic:
- P52(x,y) ⇒ E18(x)
- P52(x,y) ⇒ E39(y) 
- P52(x,y) ⇒ P51(x,y)
- P52(x,y) ⇒ P105(x,y)
- P52(x,y) ⇐ (∃z) [[E8(z) ˄ P24i(x,z) ˄ P22(z,y) ]
- ˄ ¬ (∃w) [E8(w) ˄ P24i(x,w) ˄ P23(w,y)˄ P182(z,w)]]
"""@en ;
    rdfs:domain :E18_Physical_Thing ;
    rdfs:range :E39_Actor ;
    rdfs:subPropertyOf :P105_right_held_by,
        :P51_has_former_or_current_owner ;
    owl:inverseOf :P52i_is_current_owner_of .