Commit e0746f0e authored by Elias Tzortzakakis's avatar Elias Tzortzakakis
Browse files

Merge branch 'v7.2_and_7.1.2_preparation' into 'master'

7.1.2 release

See merge request !2
parents da240f5d ad509c24
Showing with 34027 additions and 317 deletions
+34027 -317
_draft/
......@@ -7,7 +7,7 @@ This is the implementation approved by the 51st CRM-SIG meeting (October 2021)
as the current RDFS version for the CIDOC CRM namespace.
Note that this is NOT a definition of the CIDOC CRM, but a CIDOC CRM compatible implementation
of an RDF Schema derived from the authoritative release of the CIDOC CRM v7.1.1 on May 2021
http://cidoc-crm.org/Version/version-7.1.1 by an automated algorithm. It is intended for an
https://cidoc-crm.org/Version/version-7.1.1 by an automated algorithm. It is intended for an
assumed majority of uses. Depending on the application, users may create adequate extensions
compatible with the logical definitions of the CIDOC CRM.
......@@ -4724,7 +4724,7 @@ Figure 17: Temporal entity A ends before or with the start of temporal entity B.
<rdf:Property rdf:about="P183_ends_before_the_start_of">
<rdfs:label xml:lang="en">ends before the start of</rdfs:label>
<rdfs:comment>This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends definitely before the start of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end &amp;lt; B-start is true.
In other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end &amp;lt; B-start is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to the following Allen temporal relation (Allen, 1983) : {before}.
This property is transitive.
......
......@@ -13925,7 +13925,7 @@
"@language": "en",
"@value": "ends before the start of"
},
"rdfs:comment": "This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends definitely before the start of the temporal extent of the range instance B of E2 Temporal Entity.\nIn other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end &lt; B-start is true.\nThis property is part of the set of temporal primitives P173 – P176, P182 – P185.\nThis property corresponds to the following Allen temporal relation (Allen, 1983) : {before}.\nThis property is transitive.\n\nFigure 18: Temporal entity A ends before the start of temporal entity B. Here A is longer than B\n\nFigure 19: Temporal entity A ends before the start of temporal entity B. Here A is shorter than B",
"rdfs:comment": "This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends definitely before the start of the temporal extent of the range instance B of E2 Temporal Entity.\nIn other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end &lt; B-start is true.\nThis property is part of the set of temporal primitives P173 – P176, P182 – P185.\nThis property corresponds to the following Allen temporal relation (Allen, 1983) : {before}.\nThis property is transitive.\n\nFigure 18: Temporal entity A ends before the start of temporal entity B. Here A is longer than B\n\nFigure 19: Temporal entity A ends before the start of temporal entity B. Here A is shorter than B",
"rdfs:domain": {
"id": "crm:E2_Temporal_Entity"
},
......
......@@ -3742,7 +3742,7 @@
<http://www.cidoc-crm.org/cidoc-crm/P182i_starts_after_or_with_the_end_of> <http://www.w3.org/2002/07/owl#inverseOf> <http://www.cidoc-crm.org/cidoc-crm/P182_ends_before_or_with_the_start_of> .
<http://www.cidoc-crm.org/cidoc-crm/P183_ends_before_the_start_of> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
<http://www.cidoc-crm.org/cidoc-crm/P183_ends_before_the_start_of> <http://www.w3.org/2000/01/rdf-schema#label> "ends before the start of"@en .
<http://www.cidoc-crm.org/cidoc-crm/P183_ends_before_the_start_of> <http://www.w3.org/2000/01/rdf-schema#comment> "This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends definitely before the start of the temporal extent of the range instance B of E2 Temporal Entity.\nIn other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end &lt; B-start is true.\nThis property is part of the set of temporal primitives P173 \u2013 P176, P182 \u2013 P185.\nThis property corresponds to the following Allen temporal relation (Allen, 1983) : {before}.\nThis property is transitive.\n\nFigure 18: Temporal entity A ends before the start of temporal entity B. Here A is longer than B\n\nFigure 19: Temporal entity A ends before the start of temporal entity B. Here A is shorter than B" .
<http://www.cidoc-crm.org/cidoc-crm/P183_ends_before_the_start_of> <http://www.w3.org/2000/01/rdf-schema#comment> "This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends definitely before the start of the temporal extent of the range instance B of E2 Temporal Entity.\nIn other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end &lt; B-start is true.\nThis property is part of the set of temporal primitives P173 \u2013 P176, P182 \u2013 P185.\nThis property corresponds to the following Allen temporal relation (Allen, 1983) : {before}.\nThis property is transitive.\n\nFigure 18: Temporal entity A ends before the start of temporal entity B. Here A is longer than B\n\nFigure 19: Temporal entity A ends before the start of temporal entity B. Here A is shorter than B" .
<http://www.cidoc-crm.org/cidoc-crm/P183_ends_before_the_start_of> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.cidoc-crm.org/cidoc-crm/E2_Temporal_Entity> .
<http://www.cidoc-crm.org/cidoc-crm/P183_ends_before_the_start_of> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.cidoc-crm.org/cidoc-crm/E2_Temporal_Entity> .
<http://www.cidoc-crm.org/cidoc-crm/P183_ends_before_the_start_of> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.cidoc-crm.org/cidoc-crm/P182_ends_before_or_with_the_start_of> .
......
......@@ -2288,7 +2288,7 @@ Figure 17: Temporal entity A ends before or with the start of temporal entity B.
owl:inverseOf <http://www.cidoc-crm.org/cidoc-crm/P182_ends_before_or_with_the_start_of>.
<http://www.cidoc-crm.org/cidoc-crm/P183_ends_before_the_start_of> a rdf:Property;
rdfs:comment """This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends definitely before the start of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end &lt; B-start is true.
In other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end &lt; B-start is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to the following Allen temporal relation (Allen, 1983) : {before}.
This property is transitive.
......
......@@ -2289,7 +2289,7 @@ Figure 17: Temporal entity A ends before or with the start of temporal entity B.
owl:inverseOf <http://www.cidoc-crm.org/cidoc-crm/P182_ends_before_or_with_the_start_of>.
<http://www.cidoc-crm.org/cidoc-crm/P183_ends_before_the_start_of> a rdf:Property;
rdfs:comment """This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends definitely before the start of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end &lt; B-start is true.
In other words, if A = [A-start, A-end] and B = [B-start, B-end], we mean A-end &lt; B-start is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to the following Allen temporal relation (Allen, 1983) : {before}.
This property is transitive.
......
This diff is collapsed.
This diff is collapsed.
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xml:lang="en" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.cidoc-crm.org/cidoc-crm/">
<!--
CIDOC CRM v7.1.2 module for the implementation of properties of properties in RDFs.
Created by FORTH-ICS Wednesday September 14, 2022
CC BY 4.0 https://creativecommons.org/licenses/by/4.0/legalcode
This model provides classes and properties for encoding in RDF the below
properties of properties of CIDOC-CRM:
- P3.1 has type: E55 Type
- P14.1 in the role of: E55 Type
- P16.1 mode of use: E55 Type
- P19.1 mode of use: E55 Type
- P62.1 mode of depiction: E55 Type
- P67.1 has type: E55 Type
- P69.1 has type: E55 Type
- P102.1 has type: E55 Type
- P107.1 kind of member: E55 Type
- P130.1 kind of similarity: E55 Type
- P136.1 in the taxonomic role: E55 Type
- P137.1 in the taxonomic role: E55 Type
- P138.1 mode of representation: E55 Type
- P139.1 has type: E55 Type
- P144.1 kind of member: E55 Type
- P189.1 has type: E55 Type
The model introduces the class 'PC0 Typed CRM Property' and the properties
'P01 has domain' and 'P02 has range' that can be used for representing
properties of properties in RDF.
-->
<rdfs:Class rdf:about="PC0_Typed_CRM_Property" />
<rdf:Property rdf:about="P01_has_domain">
<rdfs:domain rdf:resource="PC0_Typed_CRM_Property" />
<rdfs:range rdf:resource="E1_CRM_Entity" />
</rdf:Property>
<rdf:Property rdf:about="P01i_is_domain_of">
<rdfs:domain rdf:resource="E1_CRM_Entity" />
<rdfs:range rdf:resource="PC0_Typed_CRM_Property" />
</rdf:Property>
<rdf:Property rdf:about="P02_has_range">
<rdfs:domain rdf:resource="PC0_Typed_CRM_Property" />
<rdfs:range rdf:resource="E1_CRM_Entity" />
</rdf:Property>
<rdf:Property rdf:about="P02i_is_range_of">
<rdfs:domain rdf:resource="E1_CRM_Entity" />
<rdfs:range rdf:resource="PC0_Typed_CRM_Property" />
</rdf:Property>
<rdf:Property rdf:about="P03_has_range_literal">
<rdfs:domain rdf:resource="PC0_Typed_CRM_Property" />
<rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal" />
</rdf:Property>
<rdfs:Class rdf:about="PC3_has_note">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P3.1_has_type">
<rdfs:domain rdf:resource="PC3_has_note" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC14_carried_out_by">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P14.1_in_the_role_of">
<rdfs:domain rdf:resource="PC14_carried_out_by" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC16_used_specific_object">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P16.1_mode_of_use">
<rdfs:domain rdf:resource="PC16_used_specific_object" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC19_was_intended_use_of">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P19.1_mode_of_use">
<rdfs:domain rdf:resource="PC19_was_intended_use_of" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC62_depicts">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P62.1_mode_of_depiction">
<rdfs:domain rdf:resource="PC62_depicts" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC67_refers_to">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P67.1_has_type">
<rdfs:domain rdf:resource="PC67_refers_to" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC69_has_association_with">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P69.1_has_type">
<rdfs:domain rdf:resource="PC69_has_association_with" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC102_has_title">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P102.1_has_type">
<rdfs:domain rdf:resource="PC102_has_title" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC107_has_current_or_former_member">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P107.1_kind_of_member">
<rdfs:domain rdf:resource="PC107_has_current_or_former_member" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC130_shows_features_of">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P130.1_kind_of_similarity">
<rdfs:domain rdf:resource="PC130_shows_features_of" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC136_was_based_on">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P136.1_in_the_taxonomic_role">
<rdfs:domain rdf:resource="PC136_was_based_on" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC137_exemplifies">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P137.1_in_the_taxonomic_role">
<rdfs:domain rdf:resource="PC137_exemplifies" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC138_represents">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P138.1_mode_of_representation">
<rdfs:domain rdf:resource="PC138_represents" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC139_has_alternative_form">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P139.1_has_type">
<rdfs:domain rdf:resource="PC139_has_alternative_form" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC144_joined_with">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P144.1_kind_of_member">
<rdfs:domain rdf:resource="PC144_joined_with" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
<rdfs:Class rdf:about="PC189_approximates">
<rdfs:subClassOf rdf:resource="PC0_Typed_CRM_Property" />
</rdfs:Class>
<rdf:Property rdf:about="P189.1_has_type">
<rdfs:domain rdf:resource="PC189_approximates" />
<rdfs:range rdf:resource="E55_Type" />
</rdf:Property>
</rdf:RDF>
\ No newline at end of file
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xml:lang="en" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.cidoc-crm.org/cidoc-crm/">
<!--
RDFs Implementation (September 2022) of CIDOC-CRM 7.1.2 Supplementary declarations.
CIDOC-CRM version 7.1.2 defines the below subpropertyOf relations:
- `P168 place is defined by` `subPropertyOf` `P1 is identified by`
- `P169i spacetime volume is defined by` `subPropertyOf` `P1 is identified by`
- `P170i time is defined by` `subPropertyOf` `P1 is identified by`
The range of P168, P169i and P170i is `E94 Space Primitive`, `E95 Spacetime Primitive` and `E61 Time Primitive` respectively, which are all subclasses of `E41 Appellation` and interpreted as `rdfs:Literal` in RDFS, i.e. these three properties are datatype properties. However, the P1 property has range E41 Appellation, i.e. this property is an object property. Since OWL 2 distinguishes between object subproperties (https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Object_Subproperties), data subproperties (https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Data_Subproperties) and annotation subproperties (https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Annotation_Subproperties), and also in OWL-DL the subject and object of a subproperty statement must be either both datatype properties or both object properties (see here (https://www.w3.org/TR/owl-ref/#subPropertyOf-def)), we do not include these three subPropertyOf relations in the provided RDFS implementation to avoid inconsistencies when reasoning with OWL 2 and OWL DL. Instead, we provide them in this ‘supplementary’ RDFS file which one can use if such inconsistencies are not expected.
In addition, since in the current practice, the property `rdfs:label` is widely used to denote appellations (see CRM-SIG Issue 394 (http://cidoc-crm.org/Issue/ID-394-solution-for-dualism-of-e41-appellation-and-rdfslabel)), the following `subPropertyOf` relation is also included:
- `rdfs:label` subPropertyOf `P1 is identified by`
Note that according to the RDF Schema 1.1 specification, the domain (or range) of a property does not necessarily need to be 'subClassOf' or 'equal' to the domain (or range) of its superproperties. By including this subproperty relation, one can either directly use `rdfs:label` for providing a non-URI identifier/appellation for an instance of `E1 CRM Entity`, or use `P1 is identified by` for associating an additional URI-identifier with an instance of `E1 CRM Entity`, or use `P1 is identified by` and create an intermediate node (i.e. a URI-identifier for instance of `E41_Appellation`) for providing more detailed information about this appellation.
-->
<rdf:Property rdf:about="http://www.w3.org/2000/01/rdf-schema#label">
<rdfs:subPropertyOf rdf:resource="http://www.cidoc-crm.org/cidoc-crm/P1_is_identified_by" />
</rdf:Property>
<rdf:Property rdf:about="P168_place_is_defined_by">
<rdfs:subPropertyOf rdf:resource="P1_is_identified_by" />
</rdf:Property>
<rdf:Property rdf:about="P169i_spacetime_volume_is_defined_by">
<rdfs:subPropertyOf rdf:resource="P1_is_identified_by" />
</rdf:Property>
<rdf:Property rdf:about="P170i_time_is_defined_by">
<rdfs:subPropertyOf rdf:resource="P1_is_identified_by" />
</rdf:Property>
</rdf:RDF>
\ No newline at end of file
CC BY 4.0 https://creativecommons.org/licenses/by/4.0/legalcode
# CIDOC-CRM implementation in RDF Schema 1.1 (RDFS)
This repository keeps track of the CIDOC-CRM v7.1.2 RDFS implementation.
## Statistics
Release date: 12/09/2022
Version: 7.1.2 CIDOC Classes: 81 CIDOC Properties: 160
- CIDOC Classes definitions in RDFS: 75 (another 6 interpreted as rdfs:Literal)
- CIDOC Properties forward definitions in RDFS: 158
- CIDOC Properties backwards definitions in RDFS: 145
- RDFS Implementation of Value Interval Properties: 6
- RDFS Multiple ISA custom declaration Classes: 1
## RDFS Generation Policies
### Sources
Policies followed for the RDFS implementation of CIDOC v.7.1.2 were created w.r.t.:
- [Implementing the CIDOC Conceptual Reference Model in RDF](http://www.cidoc-crm.org/Resources/implementing-the-cidoc-conceptual-reference-model-in-rdf)
- [How to implement CRM Time in RDF](http://old.cidoc-crm.org/docs/How_to%20implement%20CRM_Time_in%20RDF.pdf)
- CIDOC-CRM SIG feedback and the general guidelines:
- Each property is declared twice, forward and backwards, unless no inverse name is defined in parentheses, or domain or range is interpreted as literal
- All Primitive Values become rdfs:Literal
- All IsA declarations from/to and between Primitive values are ignored
### Policies
&nbsp;
#### **A. CIDOC Classes implementation in RDFS**
The CIDOC-CRM model defines classes, that in Triple Stores are typically implemented as primitive values. These classes are all subclasses of `E59 Primitive Value` and in RDFS they are interpreted as Literal. There are some classes in the CIDOC-CRM model that are both subclasses of `E59 Primitive Value` and E41 Appellation. So far we have followed the decision by CRM-SIG in "Issue 394: Solution for Dualism of E41 Appellation and rdfs:label" in 28-11-2018 wrt the question whether these classes should be implemented as rdfs:Class or still be interpreted as rdfs:Literal.
In this version we have followed the following policy regarding CIDOC Classes implementation in RDFS:
&nbsp;
> A1. CIDOC Classes that are subClasses of `E59 Primitive Value` are interpreted as rdfs:Literal regardless of whether they are also subClasses of another Class.
As a result, the following CIDOC classes were not defined in RDFS:
- `E59 Primitive Value`
- `E60 Number`
- `E61 Time Primitive`
- `E62 String`
- `E94 Space Primitive`
- `E95 Spacetime Primitive`
Additionally, the following isA relationships were not defined in RDFS:
- `E59 Primitive Value` `subClassOf` `E1 CRM Entity`
- `E60 Number` `subClassOf` `E59 Primitive Value`
- `E61 Time Primitive` `subClassOf` `E41 Appellation`
- `E61 Time Primitive` `subClassOf` `E59 Primitive Value`
- `E62 String` `subClassOf` `E59 Primitive Value`
- `E94 Space Primitive` `subClassOf` `E41 Appellation`
- `E94 Space Primitive` `subClassOf` `E59 Primitive Value`
- `E95 Spacetime Primitive` `subClassOf` `E41 Appellation`
- `E95 Spacetime Primitive` `subClassOf` `E59 Primitive Value`
&nbsp;
#### **B. CIDOC Properties implementation in RDFS**
The decisions in policy A affect the implementation of CIDOC Properties in RDFS. A property cannot define an rdfs:Literal as rdfs:domain, and the backwards direction of a property with an rdfs:Literal as rdfs:range cannot be created for the exact same reason.
Further, the property ranges defined as rdfs:Literal in this implementation do not inherit the properties of the superclasses defined in the CIDOC Model. A separate guideline will describe how to instantiate such properties if at all needed.
Another aspect considered for the implementation of properties in RDFS is whether a distinct inverse property definition should be provided.
In this version we followed the following policies regarding CIDOC Properties implementation in RDFS:
> B1. CIDOC Property backwards/inverse direction is **not** defined, whenever no inverse name for the property has been specified in parentheses in the official CIDOC documentation and property domain is not equal with property range.
&nbsp;
As a result, the following properties do not define an inverse direction.
- `E1 CRM Entity. P3 has note: E62 String`
- `E19 Physical Object. P57 has number of parts: E60 Number`
- `E52 Time-Span. P79 beginning is qualified by: E62 String`
- `E52 Time-Span. P80 end is qualified by: E62 String`
- `E52 Time-Span. P81 ongoing throughout: E61 Time Primitive`
- `E52 Time-Span. P82 at some time within: E61 Time Primitive`
- `E54 Dimension. P90 has value: E60 Number`
- `E53 Place. P171 at some place within: E94 Space Primitive`
- `E53 Place. P172 contains: E94 Space Primitive`
- `E90 Symbolic Object. P190 has symbolic content: E62 String`
> B2. CIDOC Property forward direction is **not** defined whenever property domain is interpreted as rdfs:Literal (A.1). Similarly, CIDOC Property backwards/inverse direction is **not** defined, whenever property range is interpreted as rdfs:Literal (A.1). Further, the instances of classes interpreted as rdfs:Literal, cannot express in RDFs their **inherited** properties that could be expressed according to CIDOC Model.
&nbsp;
As a result,
a) The following **direct forward direction** CIDOC Properties **cannot** be expressed and are **not defined** in RDFS:
- `E95 Spacetime Primitive. P169 defines spacetime volume (spacetime volume is defined by): E92 Spacetime Volume`
- `E61 Time Primitive. P170 defines time (time is defined by): E52 Time-Span`
&nbsp;
b) The following **direct backwards direction** CIDOC Properties **cannot** be expressed and are **not defined** in RDFS:
- `E94 Space Primitive. P168i defines place (place is defined by): E53 Place`
&nbsp;
> B3. Whenever no backwards/inverse property name is specified and property domain matches with property range, then the forward/direct property direction should be used for **both** directions and **no backwards/inverse property** needs to be defined.
As a result, we did not implement a separate backwards/inverse direction for the following CIDOC Properties:
- `E53 Place. P121 overlaps with: E53 Place`
- `E53 Place. P122 borders with: E53 Place`
- `E92 Spacetime Volume. P132 spatiotemporally overlaps with: E92 Spacetime Volume`
- `E92 Spacetime Volume. P133 is spatiotemporally separated from: E92 Spacetime Volume`
&nbsp;
Additionally, all aforementioned redundant backwards/inverse CIDOC Property direction references, are replaced by the respective direct/forward CIDOC Property direction.
- The hierarchical link of `P10i` subPropertyOf `P132i` was replaced with `P10i` subPropertyOf `P132`.
&nbsp;
#### **C. Labels and appellations**
CIDOC-CRM version 7.1.2 defines the below subpropertyOf relations:
- `P168 place is defined by` `subPropertyOf` `P1 is identified by`
- `P169i spacetime volume is defined by` `subPropertyOf` `P1 is identified by`
- `P170i time is defined by` `subPropertyOf` `P1 is identified by`
The range of P168, P169i and P170i is `E94 Space Primitive`, `E95 Spacetime Primitive` and `E61 Time Primitive` respectively, which are all subclasses of `E41 Appellation` and interpreted as `rdfs:Literal` in RDFS, i.e. these three properties are datatype properties. However, the P1 property has range E41 Appellation, i.e. this property is an object property. Since OWL 2 distinguishes between [object subproperties](https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Object_Subproperties), [data subproperties](https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Data_Subproperties) and [annotation subproperties](https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Annotation_Subproperties), and also in OWL-DL the subject and object of a subproperty statement must be either both datatype properties or both object properties (see [here](https://www.w3.org/TR/owl-ref/#subPropertyOf-def)), we do not include these three subPropertyOf relations in the provided RDFS implementation to avoid inconsistencies when reasoning with OWL 2 and OWL DL. Instead, we provide them in a separate ‘supplementary’ RDFS file which one can use if such inconsistencies are not expected.
In addition, since in the current practice, the property `rdfs:label` is widely used to denote appellations (see [CRM-SIG Issue 394](http://cidoc-crm.org/Issue/ID-394-solution-for-dualism-of-e41-appellation-and-rdfslabel)), the following `subPropertyOf` relation was also included in the supplementary RDFS file:
- `rdfs:label` subPropertyOf `P1 is identified by`
Note that according to the RDF Schema 1.1 specification, the domain (or range) of a property does not necessarily need to be 'subClassOf' or 'equal' to the domain (or range) of its superproperties. By including this subproperty relation, one can either directly use `rdfs:label` for providing a non-URI identifier/appellation for an instance of `E1 CRM Entity`, or use `P1 is identified by` for associating an additional URI-identifier with an instance of `E1 CRM Entity`, or use `P1 is identified by` and create an intermediate node (i.e. a URI-identifier for instance of `E41_Appellation`) for providing more detailed information about this appellation.
&nbsp;
#### **D. Implementing Value Intervals**
The following are property pairs needed to simulate the interval-valued primitive values foreseen by the CRM:
> D1. addition of two new properties, defined as subproperties of `E52 Time-Span. P81 ongoing throughout: E61 Time Primitive`, for the 'maximum known temporal extent' boundaries specification of `E61 Time Primitive`.
As a result, we have created the following property definitions:
- `E52 Time-Span. P81a end of the begin: rdfs:Literal` (subPropertyOf `E52 Time-Span. P81 ongoing throughout: E61 Time Primitive`)
- `E52 Time-Span. P81b begin of the end: rdfs:Literal` (subPropertyOf `E52 Time-Span. P81 ongoing throughout: E61 Time Primitive`)
&nbsp;
> D2. addition of two new properties, defined as subproperties of `E52 Time-Span. P82 at some time within: E61 Time Primitive`, for the 'minimum outer bounds' specification of `E61 Time Primitive`.
Consequently, we have created the following property definitions:
- `E52 Time-Span. P82a begin of the begin: rdfs:Literal` (subPropertyOf `E52 Time-Span. P82 at some time within: E61 Time Primitive`)
- `E52 Time-Span. P82b end of the end: rdfs:Literal` (subPropertyOf `E52 Time-Span. P82 at some time within: E61 Time Primitive`)
&nbsp;
> D3. addition of two new properties, defined as subproperties of `E54 Dimension. P90 has value: E60 Number`, for the upper and lower boundaries specification of `E60 Number`.
Consequently, we have created the following property definitions:
- `E54 Dimension. P90a has lower value limit: rdfs:Literal` (subPropertyOf `E54 Dimension. P90 has value: E60 Number`)
- `E54 Dimension. P90b has upper value limit: rdfs:Literal` (subPropertyOf `E54 Dimension. P90 has value: E60 Number`)
&nbsp;
#### **E. Multiple ISA custom declaration Classes**
The following are declarations of frequently used multiple instantiations as classes with respective multiple IsA (so far only one):
> E1. addition of a new class, defined as subClassOf `E41 Appellation` and `E33 Linguistic Object`, for all Appellations being regarded
specific to or characteristic for a language group and being described indirectly via a URI.
&nbsp;
As a result, we have created the following class definition:
- `E41_E33_Linguistic_Appellation` subClass of `E41_Appellation` and `E33_Linguistic_Object`
&nbsp;
#### **F. Translations and Scope notes**
> F1. **Translations** Each RDFS Class or Property definition is accompanied by a set of translations expressed as rdfs:labels separated by xml:lang tags. The translation label used for each language is **the most recent** still **valid** translation. Still valid translation may be interpreted in the following ways:
- The English label of the `CurrentVersion` that the current RDFS file is referring to is *almost equal* (accepting only differences regarding multiple spaces) to the English label of the `TranslationVersion` that the translated label was created for. For example, in order to accept a translation for `E22 Human-Made Object` in the CurrentVersion (7.1.2) we should have a translation for E22 that was created based on a CIDOC version that used the same name for E22. The class name of E22 was changed from `E22 Man-Made Object` to `E22 Human-Made Object` in version 6.2.7. So the only **valid** translations would be these that were created based on version 6.2.7 or later. Currently no such translation has been created, so `E22 Human-Made Object` in CurrentVersion (7.1.2) does not define any translation in the RDFS file.
- Another option is to qualify translations as **valid** based on the scope note comparison of `CurrentVersion` and `TranslationVersion`. Since scope notes include formatting information, the comparison should ignore formatting changes.
Currently in this version we follow the option to qualify translations as valid based on the comparison of the respective labels in the corresponding CIDOC versions.
&nbsp;
> F2. **Scope notes** are defined as rdfs:comment and include only the text of the official CIDOC-CRM version in English language. Since scope notes are not just simple texts but include formatting data, a simple removal of the formatting data does not always produce a readable format. Therefore we followed the below simple conventions for the transformation of CIDOC-CRM scope note text into a readable rdfs:comment:
- Each Paragraph defines a new line
- Each element in an unordered list defines a new line
- Each element in an ordered list defines a new line prefixed with `'{order}. '`
- Each superscript text is separated from its base with `'-'`
- Each subscript text is separated from its base with `'_'` (none found)
&nbsp;
> F3. **Scope notes of Inverse Properties**. Scope notes for the inverse/backwards direction of properties are not defined as they are covered by the definition of the direct/forward direction definition. Whenever the direct/forward property direction of a property `Pxxx` is not defined due to policy **B1**, then its scope note is used as scope note for the inverse/backwards property `Pxxxi`, and labeled as `Scope note for 'Pxxx':`.
As a result, the direct/forward property definition was used for the rdfs:comment definition of
- `E92 Spacetime Volume. P169i spacetime volume is defined by: rdfs:Literal`
- `E52 Time-Span. P170i time is defined by: rdfs:Literal`
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
......@@ -2,8 +2,8 @@
This repository keeps track of the CIDOC-CRM RDFS implementations since version 7.1.1.
Link of the **Latest Official Version** RDFs encoding files in: **[7.1.1](https://gitlab.isl.ics.forth.gr/cidoc-crm/cidoc_crm_rdf/-/tree/master/7.1.1/)**
Link of the **Latest Official Version** RDFs encoding files in: **[7.1.2](https://gitlab.isl.ics.forth.gr/cidoc-crm/cidoc_crm_rdf/-/tree/master/7.1.2/)**
The resolvable unversioned namespace pointing to the latest published (community) version of the ontology is: http://www.cidoc-crm.org/cidoc-crm/
The resolvable unversioned namespace pointing to the latest stable/official version of the CIDOC-CRM ontology is: https://www.cidoc-crm.org/cidoc-crm/
A JSON-LD context of the latest published (community) version of the ontology is available at: http://www.cidoc-crm.org/cidoc-crm/json-ld_context.jsonld
A JSON-LD context of the latest stable/official version of the CIDOC-CRM ontology is available at: https://www.cidoc-crm.org/cidoc-crm/json-ld_context.jsonld
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment