:P52i_is_current_owner_of 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#> .

:P52i_is_current_owner_of a rdf:Property ;
    rdfs:label "ist derzeitiger Besitzer von"@de,
        "είναι ιδιοκτήτης του"@el,
        "is current owner of"@en,
        "est l'actant propriétaire actuel de"@fr,
        "é proprietário de"@pt,
        "являeтся тeкущим владeльцeм для"@ru,
        "是当前所有者"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
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 of the inverse property:
- 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 of the inverse property:
- 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 :E39_Actor ;
    rdfs:range :E18_Physical_Thing ;
    rdfs:subPropertyOf :P105i_has_right_on,
        :P51i_is_former_or_current_owner_of ;
    owl:inverseOf :P52_has_current_owner .