Spacetime Volume Expression – SP12

SP12 Spacetime Volume Expression

Scope note:

This class comprises instances of E59 Primitive Value for spacetime volumes that should be implemented with appropriate validation, precision, interval logic and reference systems to express date ranges and geometries relevant to cultural documentation. A Spacetime Volume Expression may consist of one expression including temporal and spatial information like in GML or a different form of expressing spacetime in an integrated way like a formula containing all 4 dimensions. A Spacetime Volume Expression defines a SP7 Declarative Spacetime Volume, which means that the identity of the Spacetime Volume is derived from its geometric and temporal definition. This declarative Spacetime Volume allows for the application of all Spacetime Volume properties to relate phenomenal Spacetime Volumes of Periods and Physical Things to propositions about their spatial and temporal extents.

Examples:

  • Spatial and temporal information in KML for the maximum extent of the Byzantine Empire
    <Placemark>
       <name> Byzantine Empire </name>
       <styleUrl>#style_1</styleUrl>
       <TimeSpan>
          <begin>330</begin>
          <end>1453</end>
       </TimeSpan>
    <Polygon><altitudeMode>clampToGround</altitudeMode><outerBoundaryIs><LinearRing>
    <coordinates>18.452787460,40.85553626,017.2223187,40.589098,........017.2223,39.783
    </coordinates>
    </Polygon>
    </Placemark>
  • a spacetime volume expressed in Geography Markup Language (GML) defining the spatial extent of France from 1792-1816 giving one spatial extent for each year

In First Order Logic:

  • SP12(x) ⇒ E73(x)
  • SP12(x) ⇒ Geometry(x)

Scope notes

Examples

Additional notes

Identifier: SP12

Official URI: http://www.ics.forth.gr/isl/CRMgeo/SP12_Spacetime_Volume_Expression
OntoME URI: https://ontome.net/ontology/c354

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