crm:P102_has_title leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P102_has_title

Label

P102 has title

Description

Scope note:
This property describes the E35 Title applied to an instance of E71 Man-Made Thing. The E55 Type of Title is assigned in a sub property.

The P102.1 has type property of the P102 has title (is title of) property enables the relationship between the Title and the thing to be further clarified, for example, if the Title was a given Title, a supplied Title etc.
It allows any man-made material or immaterial thing to be given a Title. It is possible to imagine a Title being created without a specific object in mind.

Examples:
- the first book of the Old Testament (E33) has title "Genesis" (E35) has type translated (E55)

In First Order Logic:
P102(x,y) ⊃ E71(x)
P102(x,y) ⊃ E35(y)
P102(x,y,z) ⊃ [P102(x,y) ∧ E55(z)]
P102(x,y) ⊃ P1(x,y)

Properties: P102.1 has type: E55 Type

Inherits from

Usage

DOMAINPROPERTYRANGE
crm:E71_Man-Made_Thing crm:P102_has_title crm:E35_Title

Implementation

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

crm:P102_has_title a owl:ObjectProperty ;
    rdfs:label "P102 has title"@en ;
    rdfs:comment """Scope note:
This property describes the E35 Title applied to an instance of E71 Man-Made Thing. The E55 Type of Title is assigned in a sub property.

The P102.1 has type property of the P102 has title (is title of) property enables the relationship between the Title and the thing to be further clarified, for example, if the Title was a given Title, a supplied Title etc.
It allows any man-made material or immaterial thing to be given a Title. It is possible to imagine a Title being created without a specific object in mind.

Examples:
- the first book of the Old Testament (E33) has title "Genesis" (E35) has type translated (E55)

In First Order Logic:
P102(x,y) ⊃ E71(x)
P102(x,y) ⊃ E35(y)
P102(x,y,z) ⊃ [P102(x,y) ∧ E55(z)]
P102(x,y) ⊃ P1(x,y)

Properties: P102.1 has type: E55 Type"""@en ;
    rdfs:domain crm:E71_Man-Made_Thing ;
    rdfs:range crm:E35_Title ;
    rdfs:subPropertyOf crm:P1_is_identified_by ;
    owl:equivalentProperty ecrm:P102_has_title ;
    owl:inverseOf crm:P102i_is_title_of ;
    skos:notation "P102"^^xsd:string .