Declarative Spacetime Volume – SP7
- Summary
- Identification
- Definition
- Properties
- Namespaces
- Hierarchy
- Relations
- Profiles
- Graph
- Comments 0
SP7 Declarative Spacetime Volume
Scope note:
This class comprises instances of SP8 Spacetime Volumes (S) whose temporal and spatial extent (U) and position is defined by a SP12 Spacetime Volume Expression. There is one implicit or explicit SP3 Reference Space in which the SP12 Spacetime Volume Expression describes the intended Spacetime Volume. As we restrict the model to Galilean physics and explicitly exclude systems with velocities close to the speed of light we do not model a “Reference Time” as it would be necessary for relativistic physics. This implies that there is only one Reference Time.
Even though SP12 Spacetime Volume Expressions have an unlimited precision, measurement devices and the precision of the position of reference features relating the SP4 Spatial Coordinate Reference System to a SP3 Reference Space impose limitations to the determination of the spatial part of a SP7 Declarative Spacetime Volume in the real world (U).
The same limitation to precision is true for the temporal part of a SP7 Declarative Spacetime Volume due to precision of time measurement devices and of the determination of the reference event of a SP11 Temporal Reference System.
Several SP12 Spacetime Volume Expressions may denote the same SP7 Declarative Spacetime Volume if their precision falls within the same range (I).
Instances of SP7 Declarative Spacetime Volumes may be used to approximate instances of SP8 Spacetime Volumes or parts of them. They may as well be used to define the spatial and temporal extent of property rights or national borders.
Examples:
The spacetime volume representing the boundaries of the UK from 1900-1950.
The spacetime volume of the Orinoco river in 1529 defined in the map of Diego Ribeiro in 1529.
The spacetime volume defined by a polygon approximating the Danube river flood in Austria between 6th and 9th of August 2002.
In First Order Logic:
- SP7(x) ⇒ E92(x)
- SP7(x) ⇒ Geometry(x)
- SP7(x) ⇒ E89(x)
Outgoing properties:
- crmgeo:Q12 approximates (0,n:0,1) → crm:E92 Spacetime Volume
Incoming properties:
Scope notes
Scope note
This class comprises instances of SP8 Spacetime Volumes (S) whose temporal and spatial extent (U) and position is defined by a SP12 Spacetime Volume Expression. There is one implicit or explicit SP3 Reference Space in which the SP12 Spacetime Volume Expression describes the intended Spacetime Volume. As we restrict the model to Galilean physics and explicitly exclude systems with velocities close to the speed of light we do not model a “Reference Time” as it would be necessary for relativistic physics. This implies that there is only one Reference Time.
Even though SP12 Spacetime Volume Expressions have an unlimited precision, measurement devices and the precision of the position of reference features relating the SP4 Spatial Coordinate Reference System to a SP3 Reference Space impose limitations to the determination of the spatial part of a SP7 Declarative Spacetime Volume in the real world (U).
The same limitation to precision is true for the temporal part of a SP7 Declarative Spacetime Volume due to precision of time measurement devices and of the determination of the reference event of a SP11 Temporal Reference System.
Several SP12 Spacetime Volume Expressions may denote the same SP7 Declarative Spacetime Volume if their precision falls within the same range (I).
Instances of SP7 Declarative Spacetime Volumes may be used to approximate instances of SP8 Spacetime Volumes or parts of them. They may as well be used to define the spatial and temporal extent of property rights or national borders.
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
This class comprises instances of SP8 Spacetime Volumes (S) whose temporal and spatial extent (U) and position is defined by a SP12 Spacetime Volume Expression. There is one implicit or explicit SP3 Reference Space in which the SP12 Spacetime Volume Expression describes the intended Spacetime Volume. As we restrict the model to Galilean physics and explicitly exclude systems with velocities close to the speed of light we do not model a “Reference Time” as it would be necessary for relativistic physics. This implies that there is only one Reference Time. Even though SP12 Spacetime Volume Expressions have an unlimited precision, measurement devices and the precision of the position of reference features relating the SP4 Spatial Coordinate Reference System to a SP3 Reference Space impose limitations to the determination of the spatial part of a SP7 Declarative Spacetime Volume in the real world (U). The same limitation to precision is true for the temporal part of a SP7 Declarative Spacetime Volume due to precision of time measurement devices and of the determination of the reference event of a SP11 Temporal Reference System. Several SP12 Spacetime Volume Expressions may denote the same SP7 Declarative Spacetime Volume if their precision falls within the same range (I). Instances of SP7 Declarative Spacetime Volumes may be used to approximate instances of SP8 Spacetime Volumes or parts of them. They may as well be used to define the spatial and temporal extent of property rights or national borders. | en | CRMgeo version 1.2 | 0 |
Examples
Example
The spacetime volume representing the boundaries of the UK from 1900-1950.
Example
The spacetime volume of the Orinoco river in 1529 defined in the map of Diego Ribeiro in 1529.
Example
The spacetime volume defined by a polygon approximating the Danube river flood in Austria between 6th and 9th of August 2002.
Show | Example | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
The spacetime volume representing the boundaries of the UK from 1900-1950. | en | CRMgeo version 1.2 | 0 | ||
The spacetime volume of the Orinoco river in 1529 defined in the map of Diego Ribeiro in 1529. | en | CRMgeo version 1.2 | 0 | ||
The spacetime volume defined by a polygon approximating the Danube river flood in Austria between 6th and 9th of August 2002. | en | CRMgeo version 1.2 | 0 |
Additional notes
Identifier: SP7
Official URI: http://www.ics.forth.gr/isl/CRMgeo/SP7_Declarative_Spacetime_Volume
OntoME URI: https://ontome.net/ontology/c351
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
Declarative Spacetime Volume * | en | 2021-06-10 | 0 |
* : Standard label for this language
Namespace
Parent classes
Class | Class namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
---|---|---|---|---|---|---|---|
E89 Propositional Object | CIDOC CRM version 6.2 | CRMgeo version 1.2 | 0 | ||||
E92 Spacetime Volume | CIDOC CRM version 6.2 | CRMgeo version 1.2 | 0 | ||||
Geometry | GeoSPARQL version 1.0 | CRMgeo version 1.2 | 0 |
Ancestor classes
Class | Depth | Class namespace | Via |
---|---|---|---|
E1 CRM Entity | 2 | CIDOC CRM version 6.2 | E92 |
E28 Conceptual Object | 2 | CIDOC CRM version 6.2 | E89 |
SpatialObject Spatial Object | 2 | GeoSPARQL version 1.0 | Geometry |
C5 Abstract Region | 2 | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing | E92 |
E1 CRM Entity | 3 | CIDOC CRM version 6.2 | E92 - C5 |
E71 Man-Made Thing | 3 | CIDOC CRM version 6.2 | E89 - E28 |
Thing | 3 | OntoME internal model - active version | E92 - E1 |
Thing | 3 | OntoME internal model - active version | Geometry - SpatialObject |
E70 Thing | 4 | CIDOC CRM version 6.2 | E89 - E28 - E71 |
Thing | 4 | OntoME internal model - active version | E92 - C5 - E1 |
E77 Persistent Item | 5 | CIDOC CRM version 6.2 | E89 - E28 - E71 - E70 |
E1 CRM Entity | 6 | CIDOC CRM version 6.2 | E89 - E28 - E71 - E70 - E77 |
S15 Observable Entity | 6 | CRMsci version 1.2.3 | E89 - E28 - E71 - E70 - E77 |
E1 CRM Entity | 7 | CIDOC CRM version 6.2 | E89 - E28 - E71 - E70 - E77 - S15 |
Thing | 7 | OntoME internal model - active version | E89 - E28 - E71 - E70 - E77 - E1 |
Thing | 8 | OntoME internal model - active version | E89 - E28 - E71 - E70 - E77 - S15 - E1 |
Child and descendant classes
Related classes
Outgoing properties (this class is domain)
Domain | Property identifier | Range | Namespace |
---|---|---|---|
SP7 Declarative Spacetime Volume | crmgeo:Q12 approximates | E92 Spacetime Volume | CRMgeo version 1.2 |
Outgoing properties (inherited from ancestors)
Domain | Property identifier | Range | Namespace |
---|---|---|---|
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crm:P1 is identified by (identifies) | E41 Appellation | CIDOC CRM version 6.2 |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crm:P2 has type (is type of) | E55 Type | CIDOC CRM version 6.2 |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crm:P3 has note | E62 String | CIDOC CRM version 6.2 |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crm:P48 has preferred identifier (is preferred identifier of) | E42 Identifier | CIDOC CRM version 6.2 |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crm:P137 exemplifies (is exemplified by) | E55 Type | CIDOC CRM version 6.2 |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crmdig:L47 has comment | E62 String | CRMdig version 3.2.1 |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crmdig:L4 has preferred label | E62 String | CRMdig version 3.2.1 |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crmdig:L53 is not uniquely identified by | E62 String | CRMdig version 3.2.1 |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | sdh:P70 same resource in the world as (same as) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | sdh:P2 domain class has identity defining component (is identity defining component of domain class) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | sdh:P10 time-independent entity association | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | sdh:P18 is identifying component of range class (range class has identity defining component) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crm-sup:P20 same as external identifier (same as) | E42 Identifier | SDHSS CIDOC CRM supplement – ongoing |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | sdh:P63 has preferred type (is preferred type of) | E55 Type | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crm-sup:P28 same as URI [owl:sameAs] (same as) | C30 Uniform Resource Identifier (URI) | SDHSS CIDOC CRM supplement – ongoing |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crmdig:L54 is same-as (is same-as) | E1 CRM Entity | CRMdig version 3.2.1 |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | crmdig:L55 has inventory no | E62 String | CRMdig version 3.2.1 |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | sdh:P67 has kind (is kind of) | C50 Kind | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
SP7 Declarative Spacetime Volume (is a E1 CRM Entity ) | sdh:P71 could be the same entity as (inverse of could be the same entity as) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
SP7 Declarative Spacetime Volume (is a E28 Conceptual Object ) | crm:P149 is identified by (identifies) | E75 Conceptual Object Appellation | CIDOC CRM version 6.2 |
SP7 Declarative Spacetime Volume (is a E70 Thing ) | crm:P43 has dimension (is dimension of) | E54 Dimension | CIDOC CRM version 6.2 |
SP7 Declarative Spacetime Volume (is a E70 Thing ) | crm:P101 had as general use (was use of) | E55 Type | CIDOC CRM version 6.2 |
SP7 Declarative Spacetime Volume (is a E70 Thing ) | crm:P130 shows features of (features are also found on) | E70 Thing | CIDOC CRM version 6.2 |
SP7 Declarative Spacetime Volume (is a E71 Man-Made Thing ) | crm:P102 has title (is title of) | E35 Title | CIDOC CRM version 6.2 |
SP7 Declarative Spacetime Volume (is a E71 Man-Made Thing ) | crm:P103 was intended for (was intention of) | E55 Type | CIDOC CRM version 6.2 |
Incoming properties (this class is range)
Domain | Property identifier | Range | Namespace |
---|---|---|---|
SP12 Spacetime Volume Expression | crmgeo:Q16 defines spacetime volume | SP7 Declarative Spacetime Volume | CRMgeo version 1.2 |
Incoming properties (inherited from ancestors)
Domain | Property identifier | Range | Namespace |
---|---|---|---|
C11 Appellation in a Language | sdh:P11 is appellation for language of (has appellation for language) | SP7 Declarative Spacetime Volume (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C12 Dedication | sdh-int:P22 has dedicatory object (is dedicatory object of) | SP7 Declarative Spacetime Volume (is a E77) | SDHSS - Propositions, Texts, Intellectual Life ongoing |
C14 Holding of a Right or Obligation | sdh-so:P8 is subjection of (is subject to) | SP7 Declarative Spacetime Volume (is a E77) | SDHSS Social, legal and economic life ongoing |
C19 Legal Integration | sdh-so:P27 is integration of (is integrated by) | SP7 Declarative Spacetime Volume (is a E1) | SDHSS Social, legal and economic life ongoing |
C23 Identification | crm-sup:P18 is identification of (has identification) | SP7 Declarative Spacetime Volume (is a E1) | SDHSS CIDOC CRM supplement – ongoing |
C23 Use | sdh:P31 has purpose (is purpose of) | SP7 Declarative Spacetime Volume (is a E89) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C23 Use | sdh:P32 is use of (is used by) | SP7 Declarative Spacetime Volume (is a E77) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C27 Legal Fact | sdh-so:P52 is legal connotation of (has legal connotation) | SP7 Declarative Spacetime Volume (is a E77) | SDHSS Social, legal and economic life ongoing |
C29 Legal Quality Acquisition | sdh-so:P43 is acquisition by (acquires) | SP7 Declarative Spacetime Volume (is a E77) | SDHSS Social, legal and economic life ongoing |
C3 Epistemic Situation | sdh:P91 involves (is involved in) | SP7 Declarative Spacetime Volume (is a E77) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C30 Connotation | sdh:P39 is connotation of (has connotation) | SP7 Declarative Spacetime Volume (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C38 Presence of a Thing | sdh-so:P75 is presence of (is concerned by) | SP7 Declarative Spacetime Volume (is a E70) | SDHSS Social, legal and economic life ongoing |
C4 Intention | sdh:P34 has content (is content of) | SP7 Declarative Spacetime Volume (is a E89) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C5 Step | sdh-int:P14 foresees the use of specific object (is foreseen for) | SP7 Declarative Spacetime Volume (is a E71) | SDHSS - Propositions, Texts, Intellectual Life ongoing |
C60 Thing Involved in an Epistemic Situation | sdh:P79 is involvement of (has involvement) | SP7 Declarative Spacetime Volume (is a E77) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C66 Involvement of a Thing | sdh:P85 concerned object (is involved in) | SP7 Declarative Spacetime Volume (is a E70) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C8 Intentional Composition | sdh:P53 has intentional component (is component of) | SP7 Declarative Spacetime Volume (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C8 Intentional Composition | sdh:P54 is intentional component of (has intentional component) | SP7 Declarative Spacetime Volume (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
D2 Digitization Process | crmdig:L60 documents | SP7 Declarative Spacetime Volume (is a E1) | CRMdig version 3.2.1 |
D29 Annotation Object | crmdig:L43 annotates (is annotated by) | SP7 Declarative Spacetime Volume (is a E1) | CRMdig version 3.2.1 |
E1 CRM Entity | crmdig:L54 is same-as (is same-as) | SP7 Declarative Spacetime Volume (is a E1) | CRMdig version 3.2.1 |
E1 CRM Entity | sdh:P10 time-independent entity association | SP7 Declarative Spacetime Volume (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
E1 CRM Entity | sdh:P18 is identifying component of range class (range class has identity defining component) | SP7 Declarative Spacetime Volume (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
E1 CRM Entity | sdh:P2 domain class has identity defining component (is identity defining component of domain class) | SP7 Declarative Spacetime Volume (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
E1 CRM Entity | sdh:P70 same resource in the world as (same as) | SP7 Declarative Spacetime Volume (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
Profiles using this class
Linked classes graph
Use mouse wheel to zoom in/out.
Comments
No comment found.