Declarative Spacetime Volume – SP7

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:

Scope notes

Examples

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

* : Standard label for this language

Namespace

Parent classes

Ancestor classes

Child and descendant classes

Related classes

Outgoing properties (this class is domain)

Outgoing properties (inherited from ancestors)

Incoming properties (this class is range)

Incoming properties (inherited from ancestors)

Profiles using this class

Linked classes graph

Use mouse wheel to zoom in/out.

Comments