http://www.cidoc-crm.org/cidoc-crm/P105i_has_right_on
rdf:Property
Quantification of the inverse property: many to many (0,n:0,n)
Scope note of the inverse property:
This property identifies the instance of E39 Actor who holds the instances of E30 Right to an instance of E72 Legal Object.
It is a superproperty of P52 has current owner (is current owner of) because ownership is a right that is held on the owned object.
This property is a shortcut of the fully developed path from E72 Legal Object, P104 is subject to, E30 Right, P75i is possessed by to E39 Actor.
Examples of the inverse property:
- The Beatles back catalogue (E73) right held by Michael Jackson (E21). (Raga, 2016)
In First Order Logic of the inverse property:
- P105(x,y) ⇒ E72(x)
- P105(x,y) ⇒ E39(y)
- P105(x,y) ⇐ (∃z) [E30(z) ˄ P104(x,z) ˄ P75i(z,y)]
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E39_Actor | :P105i_has_right_on | :E72_Legal_Object |
@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#> .
:P105i_has_right_on a rdf:Property ;
rdfs:label "hat Rechte an"@de,
"έχει δικαίωμα σε"@el,
"has right on"@en,
"détient le droit sur"@fr,
"possui direitos sobre"@pt,
"имeeт права на"@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 E39 Actor who holds the instances of E30 Right to an instance of E72 Legal Object.
It is a superproperty of P52 has current owner (is current owner of) because ownership is a right that is held on the owned object.
This property is a shortcut of the fully developed path from E72 Legal Object, P104 is subject to, E30 Right, P75i is possessed by to E39 Actor.
Examples of the inverse property:
- The Beatles back catalogue (E73) right held by Michael Jackson (E21). (Raga, 2016)
In First Order Logic of the inverse property:
- P105(x,y) ⇒ E72(x)
- P105(x,y) ⇒ E39(y)
- P105(x,y) ⇐ (∃z) [E30(z) ˄ P104(x,z) ˄ P75i(z,y)]
"""@en ;
rdfs:domain :E39_Actor ;
rdfs:range :E72_Legal_Object ;
owl:inverseOf :P105_right_held_by .