http://www.cidoc-crm.org/cidoc-crm/P2i_is_type_of
rdf:Property
Quantification of the inverse property: many to many (0,n:0,n)
Scope note of the inverse property:
This property allows sub-typing of CIDOC CRM entities –a form of specialisation – through the use of a terminological hierarchy, or thesaurus.
The CIDOC CRM is intended to focus on the high-level entities and relationships needed to describe data structures. Consequently, it does not specialise entities any further than is required for this immediate purpose. However, entities in the isA hierarchy of the CIDOC CRM may by specialised into any number of sub-entities, which can be defined in the E55 Type hierarchy. E41 Appellation, for example, may be specialised into “e-mail address”, “telephone number”, “post office box”, “URL”, etc., none of which figures explicitly in the CIDOC CRM class hierarchy. A comprehensive explanation about refining CIDOC CRM concepts by E55 Type is given in the section “About Types” in the section on “Specific Modelling Constructs” of this document.
This property is a shortcut for the path from E1 CRM Entity through P41i was classified by, E17 Type Assignment, P42 assigned to E55 Type.
Examples of the inverse property:
- “enquiries@cidoc-crm.org” (E41) has type e-mail address (E55). (fictitious)
In First Order Logic of the inverse property:
- P2(x,y) ⇒ E1(x)
- P2(x,y) ⇒ E55(y)
- P2(x,y) ⇐ (∃z) [E17(z)] ˄ P41i(x,z) ˄ P42(z,y)]
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E55_Type | :P2i_is_type_of | :E1_CRM_Entity |
@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#> .
:P2i_is_type_of a rdf:Property ;
rdfs:label "ist Typus von"@de,
"είναι ο τύπος του/της"@el,
"is type of"@en,
"est le type de"@fr,
"é o tipo de"@pt,
"явля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 allows sub-typing of CIDOC CRM entities –a form of specialisation – through the use of a terminological hierarchy, or thesaurus.
The CIDOC CRM is intended to focus on the high-level entities and relationships needed to describe data structures. Consequently, it does not specialise entities any further than is required for this immediate purpose. However, entities in the isA hierarchy of the CIDOC CRM may by specialised into any number of sub-entities, which can be defined in the E55 Type hierarchy. E41 Appellation, for example, may be specialised into “e-mail address”, “telephone number”, “post office box”, “URL”, etc., none of which figures explicitly in the CIDOC CRM class hierarchy. A comprehensive explanation about refining CIDOC CRM concepts by E55 Type is given in the section “About Types” in the section on “Specific Modelling Constructs” of this document.
This property is a shortcut for the path from E1 CRM Entity through P41i was classified by, E17 Type Assignment, P42 assigned to E55 Type.
Examples of the inverse property:
- “enquiries@cidoc-crm.org” (E41) has type e-mail address (E55). (fictitious)
In First Order Logic of the inverse property:
- P2(x,y) ⇒ E1(x)
- P2(x,y) ⇒ E55(y)
- P2(x,y) ⇐ (∃z) [E17(z)] ˄ P41i(x,z) ˄ P42(z,y)]
"""@en ;
rdfs:domain :E55_Type ;
rdfs:range :E1_CRM_Entity ;
owl:inverseOf :P2_has_type .