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 defined by a polygon approximating the Danube river flood in Austria between 6th and 9th of August 2002.

The spacetime volume of the Orinoco river in 1529 defined in the map of Diego Ribeiro in 1529.

The spacetime volume representing the boundaries of the UK from 1900-1950.

In First Order Logic:

  • SP7(x) ⇒ E92(x)
  • SP7(x) ⇒ Geometry(x)
  • SP7(x) ⇒ E89(x)

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 defined by a polygon approximating the Danube river flood in Austria between 6th and 9th of August 2002. 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 representing the boundaries of the UK from 1900-1950. 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
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 3 CIDOC CRM version 6.2 E92 - C5
E1 CRM Entity 6 CIDOC CRM version 6.2 E89 - E28 - E71 - E70 - E77
E1 CRM Entity 7 CIDOC CRM version 6.2 E89 - E28 - E71 - E70 - E77 - S15
E28 Conceptual Object 2 CIDOC CRM version 6.2 E89
E70 Thing 4 CIDOC CRM version 6.2 E89 - E28 - E71
E71 Human-Made Thing 3 CIDOC CRM version 6.2 E89 - E28
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 4 OntoME internal model - active version E92 - C5 - E1
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
SpatialObject Spatial Object 2 GeoSPARQL version 1.0 Geometry
S15 Observable Entity 6 CRMsci version 1.2.3 E89 - E28 - E71 - E70 - E77
C5 Region 2 SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing E92

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 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: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 identity defining type (is identity defining type) 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 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 E77 Persistent Item) sdh:P22 has quantifiable quality (is quantifiable quality of) C28 Quantifiable Quality SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
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
SP7 Declarative Spacetime Volume (is a S15 Observable Entity) crmsci:O12 has dimension (is dimension of) E54 Dimension CRMsci version 1.2.3

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
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
E2 Temporal Entity sdh:P1 involves SP7 Declarative Spacetime Volume (is a E1) SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
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
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
S4 Observation crmsci:O16 observed value (value was observed by) SP7 Declarative Spacetime Volume (is a E1) CRMsci version 1.2.3
S4 Observation crmsci:O8 observed (was observed by) SP7 Declarative Spacetime Volume (is a S15) CRMsci version 1.2.3
S6 Data Evaluation crmsci:O11 described (was described by) SP7 Declarative Spacetime Volume (is a S15) CRMsci version 1.2.3
S21 Measurement crmsci:O24 measured (was measured by) SP7 Declarative Spacetime Volume (is a S15) CRMsci version 1.2.3
S22 Segment of Matter crmsci:O23 is defined by (defines) SP7 Declarative Spacetime Volume (is a E92) CRMsci version 1.2.3
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
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
C16 Legal Conceptual Object Creation sdh-so:P25 is legal creation of (was created by) SP7 Declarative Spacetime Volume (is a E28) 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
C5 Step sdh-int:P14 foresees the use of specific object (is foreseen for) SP7 Declarative Spacetime Volume (is a E71) SDHSS Intellectual and Literary Life 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
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
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
C27 Legal Connotation sdh-so:P52 is legal connotation of (has legal connotation) SP7 Declarative Spacetime Volume (is a E77) 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
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
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
C12 Dedication sdh-int:P22 has dedicatory object (is dedicatory object of) SP7 Declarative Spacetime Volume (is a E77) SDHSS Intellectual and Literary Life ongoing

Profiles using this class

Label Version Status Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments