Declarative Spacetime Volume – SP7

SP7 Declarative Spacetime Volume

Subclass of:

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:

Incoming properties:

Scope notes

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

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

Show Notes Type Language Namespace View details Comments

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

Namespace Last updated
CRMgeo version 1.2 2020-09-02

Parent classes

Class Class namespace Relation defined in Justification View details Edit Delete Comments
E92 Spacetime Volume CIDOC CRM version 6.2 CRMgeo version 1.2 0
Geometry GeoSPARQL version 1.0 CRMgeo version 1.2 0
E89 Propositional Object CIDOC CRM version 6.2 CRMgeo version 1.2 0

Ancestor classes

Class Depth Class namespace Via
E1 CRM Entity 2 CIDOC CRM version 6.2 E92
E1 CRM Entity 6 CIDOC CRM version 6.2 E89 - E28 - E71 - E70 - E77
E28 Conceptual Object 2 CIDOC CRM version 6.2 E89
E70 Thing 4 CIDOC CRM version 6.2 E89 - E28 - E71
E71 Man-Made Thing 3 CIDOC CRM version 6.2 E89 - E28
E77 Persistent Item 5 CIDOC CRM version 6.2 E89 - E28 - E71 - E70
Thing 3 OntoME internal model - active version E92 - E1
Thing 3 OntoME internal model - active version Geometry - SpatialObject
Thing 7 OntoME internal model - active version E89 - E28 - E71 - E70 - E77 - E1
SpatialObject Spatial Object 2 GeoSPARQL version 1.0 Geometry

Child and descendant classes

Class Depth Class namespace Via

Related classes

Relation Class Class namespace Justification Relation defined in View details Edit Delete Comments

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 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
SP7 Declarative Spacetime Volume (is a E89 Propositional Object ) crm:P67 refers to (is referred to by) E1 CRM Entity CIDOC CRM version 6.2
SP7 Declarative Spacetime Volume (is a E89 Propositional Object ) crm:P129 is about (is subject of) E1 CRM Entity CIDOC CRM version 6.2
SP7 Declarative Spacetime Volume (is a E89 Propositional Object ) crm:P148 has component (is component of) E89 Propositional Object CIDOC CRM version 6.2
SP7 Declarative Spacetime Volume (is a E92 Spacetime Volume ) crm:P10 falls within (contains) E92 Spacetime Volume CIDOC CRM version 6.2
SP7 Declarative Spacetime Volume (is a E92 Spacetime Volume ) crm:P132 overlaps with E92 Spacetime Volume CIDOC CRM version 6.2
SP7 Declarative Spacetime Volume (is a E92 Spacetime Volume ) crm:P133 is separated from E92 Spacetime Volume CIDOC CRM version 6.2
SP7 Declarative Spacetime Volume (is a E92 Spacetime Volume ) crm:P160 has temporal projection (is temporal projection of) E52 Time-Span CIDOC CRM version 6.2
SP7 Declarative Spacetime Volume (is a E92 Spacetime Volume ) crm:P161 has spatial projection (is spatial projection of) E53 Place CIDOC CRM version 6.2
SP7 Declarative Spacetime Volume (is a Geometry Geometry ) geosparql:asWKT as WKT wktLiteral Well-known Text Literal GeoSPARQL version 1.0
SP7 Declarative Spacetime Volume (is a Geometry Geometry ) geosparql:dimension dimension int int GeoSPARQL version 1.0
SP7 Declarative Spacetime Volume (is a Geometry Geometry ) geosparql:coordinateDimension coordinate dimension int int GeoSPARQL version 1.0
SP7 Declarative Spacetime Volume (is a Geometry Geometry ) geosparql:spatialDimension spatial dimension int int GeoSPARQL version 1.0
SP7 Declarative Spacetime Volume (is a Geometry Geometry ) geosparql:isEmpty is empty boolean boolean GeoSPARQL version 1.0
SP7 Declarative Spacetime Volume (is a Geometry Geometry ) geosparql:isSimple is simple boolean boolean GeoSPARQL version 1.0
SP7 Declarative Spacetime Volume (is a Geometry Geometry ) geosparql:hasSerialization has serialization string string GeoSPARQL version 1.0
SP7 Declarative Spacetime Volume (is a Geometry Geometry ) geosparql:asGML as GML gmlLiteral GML literal GeoSPARQL version 1.0

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
E5 Event crm:P12 occurred in the presence of (was present at) SP7 Declarative Spacetime Volume (is a E77) CIDOC CRM version 6.2
E7 Activity crm:P15 was influenced by (influenced) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E7 Activity crm:P16 used specific object (was used for) SP7 Declarative Spacetime Volume (is a E70) CIDOC CRM version 6.2
E7 Activity crm:P17 was motivated by (motivated) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E7 Activity crm:P19 was intended use of (was made for) SP7 Declarative Spacetime Volume (is a E71) CIDOC CRM version 6.2
E13 Attribute Assignment crm:P140 assigned attribute to (was attributed by) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E13 Attribute Assignment crm:P141 assigned (was assigned by) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E16 Measurement crm:P39 measured (was measured by) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E17 Type Assignment crm:P41 classified (was classified by) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E24 Physical Man-Made Thing crm:P62 depicts (is depicted by) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E31 Document crm:P70 documents (is documented in) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E32 Authority Document crm:P71 lists (is listed in) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E36 Visual Item crm:P138 represents (has representation) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E63 Beginning of Existence crm:P92 brought into existence (was brought into existence by) SP7 Declarative Spacetime Volume (is a E77) CIDOC CRM version 6.2
E64 End of Existence crm:P93 took out of existence (was taken out of existence by) SP7 Declarative Spacetime Volume (is a E77) CIDOC CRM version 6.2
E65 Creation crm:P94 has created (was created by) SP7 Declarative Spacetime Volume (is a E28) CIDOC CRM version 6.2
E70 Thing crm:P130 shows features of (features are also found on) SP7 Declarative Spacetime Volume (is a E70) CIDOC CRM version 6.2
E81 Transformation crm:P123 resulted in (resulted from) SP7 Declarative Spacetime Volume (is a E77) CIDOC CRM version 6.2
E81 Transformation crm:P124 transformed (was transformed by) SP7 Declarative Spacetime Volume (is a E77) CIDOC CRM version 6.2
E83 Type Creation crm:P136 was based on (supported type creation) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E89 Propositional Object crm:P129 is about (is subject of) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E89 Propositional Object crm:P148 has component (is component of) SP7 Declarative Spacetime Volume (is a E89) CIDOC CRM version 6.2
E89 Propositional Object crm:P67 refers to (is referred to by) SP7 Declarative Spacetime Volume (is a E1) CIDOC CRM version 6.2
E92 Spacetime Volume crm:P10 falls within (contains) SP7 Declarative Spacetime Volume (is a E92) CIDOC CRM version 6.2
E92 Spacetime Volume crm:P132 overlaps with SP7 Declarative Spacetime Volume (is a E92) CIDOC CRM version 6.2
E92 Spacetime Volume crm:P133 is separated from SP7 Declarative Spacetime Volume (is a E92) CIDOC CRM version 6.2
E93 Presence crm:P166 was a presence of (had presence) SP7 Declarative Spacetime Volume (is a E92) CIDOC CRM version 6.2
F31 Performance frbroo:R66 included performed version of (had a performed version through) SP7 Declarative Spacetime Volume (is a E89) FRBRoo version 2.4
F35 Nomen Use Statement frbroo:R38 refers to thema (is thema of) SP7 Declarative Spacetime Volume (is a E1) FRBRoo version 2.4
F40 Identifier Assignment frbroo:R45 assigned to (was assigned by) SP7 Declarative Spacetime Volume (is a E1) FRBRoo version 2.4
F51 Pursuit frbroo:R59 had typical subject (was typical subject of) SP7 Declarative Spacetime Volume (is a E1) FRBRoo version 2.4
F52 Name Use Activity frbroo:R63 named (was named by) SP7 Declarative Spacetime Volume (is a E1) FRBRoo version 2.4
SP7 Declarative Spacetime Volume crmgeo:Q12 approximates SP7 Declarative Spacetime Volume (is a E92) CRMgeo version 1.2
Feature Feature geosparql:hasDefaultGeometry has Default Geometry SP7 Declarative Spacetime Volume (is a Geometry) GeoSPARQL version 1.0
Feature Feature geosparql:hasGeometry has Geometry SP7 Declarative Spacetime Volume (is a Geometry) GeoSPARQL version 1.0

Profiles using this class

Label Version Status Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments