The following table lists the 9 Classes and the 18 Properties declared in CRMgeo version 2.0.1.
| SP1 Phenomenal Spacetime Volume
|
|
|
| SubClass Of: |
|
E92
Spacetime Volume |
E92 |
| SuperClass Of: |
|
E4 Period
|
E4 |
| Scope Note: |
|
This class comprises the 4 dimensional point sets (volumes) (S) which material phenomena (I) occupy
in Space-Time (S). An instance of S1 Space Time Volume represents the true (I) extent of an instance
of E4 Period in spacetime or the true (I) extent of the trajectory of an instance of E18 Physical
Thing during the course of its existence, from production to destruction. A fuzziness of the extent
lies in the very nature of the phenomenon, and not in the shortcomings of observation (U). The degree
of fuzziness with respect to the scale of the phenomenon may vary widely, but the extent is never
exact in a mathematical sense. According to modern physics, points in space-time are absolute with
respect to the physical phenomena happening at them, regardless of the so-called Galilean relativity
of spatial or temporal reference systems in terms of which an observer may describe them. Following
the theory, points relative to different spatial or temporal reference systems can be related if
common points of phenomena in space-time are known in different systems. Instances of SP1 Phenomenal
Space-Time Volume are sets of such absolute space-time points of phenomena (I). The (Einstein)
relativity of spatial and temporal distances is of no concern for the scales of things in the
cultural-historical discourse, but does not alter the above principles. The temporal projection of an
instance of SP1 Phenomenal Space-Time Volume defines an E52 Time-Span while its spatial projection
defines an SP2 Phenomenal Place. The true location of an instance of E18 Physical Thing during some
time-span can be regarded as the spatial projection of the restriction of its trajectory to the
respective time-span.
|
|
| Examples: |
|
- The Space Time Volume (SP1) of the Event (E7) of Ceasar’s (E21) murdering
- The Space Time Volume (SP1) where and when the carbon 14 dating (E16) of the "Schoeninger Speer
II" (E22) in 1996 took place
- The spatio-temporal trajectory (SP1) of the H.M.S. Victory (E22) from its launching (E12) to its
actual location (E9)
- The Space Time Volume (SP1) of the temple in Abu Simbel (E25) before its removal (E6)
|
|
| In First Order Logic: |
|
SP1(x) ⇒ E92(x)
|
| Properties: |
|
Q3 has temporal projection (is temporal projection of):
SP13 Phenomenal Time-Span Q4 has spatial
projection (is spatial projection of): SP2 Phenomenal Place |
|
| SP2 Phenomenal Place
|
|
|
| SubClass Of: |
|
E53 Place
|
E53 |
| SuperClass Of: |
|
- |
- |
| Scope Note: |
|
This class comprises instances of E53 Place (S) whose extent (U) and position is defined by the
spatial projection of the spatiotemporal extent of a real world phenomenon that can be observed or
measured. The spatial projection depends on the instance of S3 Reference Space onto which the extent
of the phenomenon is projected. In general, there are no limitations to the number of Reference Spaces
one could regard, but only few choices are relevant for the cultural-historical discourse. Typical for
the archaeological discourse is to choose a reference space with respect to which the remains of some
events would stay at the same place, for instance, relative to the bedrock of a continental plate. On
the other hand, for the citizenship of babies born in aeroplanes, the space in which the boundaries of
the overflown state are defined may be relevant (I). Instances of SP2 Phenomenal Place exist as long
as the respective reference space is defined. Note that we can talk in particular about what was at a
place in a country before a city was built there, i.e., before the time the event occurred by which
the place is defined, but we cannot talk about the place of earth before it came into existence due to
lack of a reasonable reference space (E).
|
|
| Examples: |
|
- The place (SP2) where the murder (E7) of Caesar (E21) happened
- Place (SP2) on H.M.S. Victory (E22) at which Nelson (E21) died
- The Place (SP2) of the Varus Battle (E7)
- The volume in space (SP2) of my vine glass (E22)
- The place (SP2) the H.M.S Victory (E22) occupied over the seafloor when Nelson (E21) died
- The space (SP2) enclosed by this room (E22)
- The space (SP2) in borehole Nr. 405 (E25)
|
|
| In First Order Logic: |
|
SP2(x) ⇒ E53(x)
|
| Properties: |
|
- |
|
| SP3 Reference Space
|
|
|
| SubClass Of: |
|
E1 CRM
Entity |
E1 |
| SuperClass Of: |
|
- |
- |
| Scope Note: |
|
This class comprises the (typically Eucledian) Space (S) that is at rest (I) in relation to an
instance of E18 Physical Thing and extends (U) infinitely beyond it. It is the space in which we
typically expect things to stay in place if no particular natural or human distortion processes occur.
This definition requires that at least essential parts of the respective physical thing have a
stability of form. The degree of this stability (e.g., elastic deformation of a ship on sea,
landslides, geological deformations) limits the precision to which an instance of SP3 Reference Space
is defined. It is possible to construct types of (non Euclidean) reference spaces which adapt to
elastic deformations or have other geometric and dynamic properties to adapt to changes of form of the
reference object, but they are of rare utility in the cultural-historical discourse.
An instance of SP3 Reference Space begins to exist with the largest thing that is at rest in it and
ceases to exist with its E6 Destruction. If other things are at rest in the same space and their
time-span of existence falls within the one of the reference objects, they share the same reference
space (I). It has therefore the same temporal extent (time-span of existence) as the whole of the E18
Physical Things it is at rest with (E).
|
|
| Examples: |
|
- The Space (SP3) inside and around H.M.S. Victory (E22) while it is moving through the Atlantic
Ocean (E26)
- The Space (SP3) inside and around the Eurasian Continental Plate (E26)
- The Space (SP3) inside and around the Earth (E26)
- The Space (SP3) inside and around the Solar system (E26)
|
|
| In First Order Logic: |
|
SP3(x) ⇒ E1(x)
|
| Properties: |
|
Q6 is at rest in relation to (rests in relation to):
E18 Physical
Thing |
|
| SP4 Spatial Coordinate Reference
System
|
|
|
| SubClass Of: |
|
E29
Design or Procedure |
E29 |
| SuperClass Of: |
|
- |
- |
| Scope Note: |
|
This class comprises systems that are used to describe locations in a SP3 Reference Space (S). An
instance of SP4 Spatial Coordinate Reference System is composed of two parts: The first is a
Coordinate System which is a set of coordinate axes with specified units of measurement and axis
directions. The second part is a set of reference features at rest in the Reference Space it describes
in the real world that relate the Coordinate System to real world locations (U) and fix it with
respect to the reference object of its Reference Space .
In surveying and geodesy, instances of SP4 Spatial Coordinate Reference System are called a datum. In
the case of spatial coordinate reference systems for the earth the datum consists of the reference
points and an ellipsoid that approximates the shape of the earth. National systems often use
ellipsoids that approximate their territory best and shift them in an appropriate position relative to
the earth while WGS84 is an ellipsoid for the whole earth and used in GPS receivers. In engineering a
datum is a reference feature of an object used to create a reference system for measurement. The set
of reference features in the real world are subset of E26 Physical Feature that are within the
described reference space at rest and pertain to the E18 Physical Thing the reference space is at rest
with.
SP4 Spatial Coordinate Reference Systems have a validity for a certain spatial extent of the SP3
Reference Space and in addition a temporal validity. The combination of coordinate reference system
and datum provides a unique identity (I). SP4 Spatial Coordinate Reference Systems may be defined for
the earth, moving objects like planes or ships, linear features like boreholes or local systems. If
there is a standardised identifier system available, such as EPSG codes, it should be used.
|
|
| Examples: |
|
- Longitude-Latitude (ellipsoidal Coordinate System) in WGS84 (Datum)
- EPSG 3241
- the coordinate system to describe locations on H.M.S. Victory (E22) taking the deck foundation of
the middle mast (E26) as origin, the mast as z axis, the line at right angle to the bow line as x
axis and a right angle to both as y axis.
- The printed lines of the millimeter paper on which an archaeological site (E27) is drawn
|
|
| In First Order Logic: |
|
SP4(x) ⇒ E29(x)
|
| Properties: |
|
Q7 describes (is described by): SP3 Reference Space Q8 is fixed on (fixes): E26 Physical Feature
|
|
| SP6 Declarative Place
|
|
|
| SubClass Of: |
|
E53
Place Geometry
|
E53 Geometry |
| SuperClass Of: |
|
Point |
Point |
| Scope Note: |
|
This class comprises instances of E53 Place (S) whose extent (U) and position is defined by an E94
Space Primitive (S). There is one implicit or explicit SP3 Reference Space in which the E94 Space
Primitive describes the intended place. Even though E94 Space Primitives 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 a SP6
Declarative Place in the real world (U).
Several E94 Space Primitives may denote the same SP6 Declarative Place if their precision falls
within the same range (I).
Instances of SP6 Declarative Places may be used to approximate instances of E53 Places or parts of
them. They may as well be used to define the location and spatial extent of property rights or
national borders. Instances of SP6 Declarative Places may be used to approximate instances of E53
Places or parts of them. They may as well be used to define the location and spatial extent of
property rights or national borders.
|
|
| Examples: |
|
- the place (SP6) defined by <gml:Point gml:id="p21"
srsName="http://www.opengis.net/def/crs/EPSG/0/4326"> <gml:coordinates>45.67,
88.56</gml:coordinates> </gml:Point>
- the place (SP6) defined by a line approximating the Danube river (E27)
- the place (SP6) of the Orinoco river (E27) defined in the map (E22) of Diego Ribeiro (E21) in 1529
- the place (SP6) defined through a polygon that represents the boundaries of the Germanisches
Nationalmuseum (E25)
- the extent of the United Kingdom (E25) in the year 2003
|
|
| In First Order Logic: |
|
SP6 (x) ⇒ E53(x)
SP6 (x) ⇒ geo:Geometry
|
| Properties: |
|
Q9 place is expressed in terms of (expresses place):
SP4 Spatial Coordinate Reference System Q10 place
is defined by (defines place): E94 Space
Primitive Q11 approximates place (place is approximated by): SP2 Phenomenal Place |
|
| SP7 Declarative Spacetime Volume
|
|
|
| SubClass Of: |
|
E92
Spacetime Volume Geometry
|
E92 Geometry |
| SuperClass Of: |
|
- |
- |
| Scope Note: |
|
This class comprises instances of E92 Spacetime Volumes (S) whose temporal and spatial extent (U) and
position is defined by a E95 Spacetime Primitive. There is one implicit or explicit SP3 Reference
Space in which the E95 Spacetime Primitive 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 E95 Spacetime Primitives 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 (SP7) defined by a polygon (E94) approximating the Danube river flood in
Austria (E27) between 6th and 9th of August 2002 (E52)
- the spacetime volume (E94) of the Orinoco river (E27) defined in the map (E22) of Diego Ribeiro
(E21) in 1529
- the spacetime volume (SP7) representing the boundaries (E94) of the United Kingdom (E25) from
1900-1950 (E52)
|
|
| In First Order Logic: |
|
SP7 (x) ⇒ E92(x)
SP7 (x) ⇒ geo:Geometry
|
| Properties: |
|
Q12 approximates spacetime (spacetime is approximated by):
SP1 Phenomenal Spacetime Volume Q17 time is
expressed in terms of (expresses time): SP11 Temporal Reference
System Q18 place is expressed in terms of (expresses place): SP4 Spatial Coordinate Reference System |
|
| SP10 DeclarativeTime-Span
|
|
|
| SubClass Of: |
|
E52
Time-Span |
E52 |
| SuperClass Of: |
|
- |
- |
| Scope Note: |
|
This class comprises instances of E52 Time-Spans that represent the Time Span defined by a SP 14 Time
Expression. Thus they derive their identity through an expression defining an extent in time. Even
though SP10 Declarative Time Spans have an unlimited precision, measurement devices and the possible
precision within the SP11 Temporal Reference System impose limitations to the determination of a SP10
Declarative Time Span. The accuracy of a SP10 Declarative Time Spans depends upon the documentation
and measurement method.
SP10 Declarative Time Spans may be used to approximate actual (phenomenal) Time-Spans of temporal
entities.
|
|
| Examples: |
|
- Extent in time defined by the expression “1961”
- Extent in time defined by the expression “From 12-17-1993 to 12-8-1996”
- Extent in time defined by the expression “14h30 – 16h22 4th July 1945”
|
|
| In First Order Logic: |
|
SP10 (x) ⇒ E52(x)
|
| Properties: |
|
Q13 approximates time (time is approximated by): SP13 Phenomenal Time-Span Q15 time is expressed in
terms of (expresses time): SP11 Temporal Reference System |
|
| SP11 Temporal Reference System
|
|
|
| SubClass Of: |
|
E29
Design or Procedure |
E29 |
| SuperClass Of: |
|
- |
- |
| Scope Note: |
|
This class comprises systems (S) that are used to describe positions and extents in a Reference Time.
If relativistic effects are negligible in the wider spacetime area of interest and the speeds of
associated things, then there is only one unique global reference time. The typical way to measure
time is to count the cycles of a periodic process for which we have a hypothesis of constant
frequency, such as oscillations of a crystal, molecular arrangement, rotation of earth around itself
or around the sun. The origin for a Temporal Reference System is fixed on a reference event. As long
as the number of cycles passed from that reference event until now are known, the temporal reference
system exists (E) and expressions in this Reference System can be interpreted with respect to the
Reference Time.
A temporal reference system represents time as a continuous linear interpolation over the infinite
series of cycles extended from the reference event to the past and the future, regardless of the
temporal position of the mathematical point zero of an instance of SP14 Time Expression. For instance
the proleptic Gregorian calendar begins with the event at an arbitrary position, the point zero being
the date of the „Birth of Christ“. The actual date of the birth of Christ is regarded as unknown and
therefore is not the reference event.
The identity of a Temporal Reference System is defined through the type of periodic process it is
based on, the reference event and the distance of the reference event to the position of the
mathematical point zero (I).
A value in the Reference Time is a temporal position measured relative to a temporal reference
system. For dates after 1582, ISO 8601 specifies the use of the Gregorian Calendar and 24 hour local
or Coordinated Universal Time (UTC) for information interchange.ISO 8601 also offers the option to use
the proleptic Gregorian Calendar for dates before 1582 although historically the Julian calendar
applied (https://en.wikipedia.org/wiki/ISO_8601).
SP11 Temporal Reference System should be used to state the calendar explicitly.
In ISO 19108 three common types of temporal reference systems are explicitly stated: calendars (used
with clocks for greater resolution), temporal coordinate systems, and ordinal temporal reference
systems.
Calendars and clocks are both based on interval scales. A calendar is a discrete temporal reference
system that provides a basis for defining temporal position to a resolution of one day. A clock
provides a basis for defining temporal position within a day. A clock must be used with a calendar in
order to provide a complete description of a temporal position within a specific day. Every calendar
provides a set of rules for composing a calendar date from a set of elements such as year, month, and
day. In every calendar, years are numbered relative to the date of a reference event that defines a
calendar era [ISO 19108].
Specifying temporal position in terms of calendar date and time of day complicates the computation of
distances between points and the functional description of temporal operations. A temporal coordinate
system may be used to support applications of this kind. [ISO 19108].
Ordinal temporal reference systems as specified in ISO 19108 are no instances of SP11 Temporal
Reference Systems as they do not define cycles of a periodic process but define a system of time
intervals based on reference periods related to certain natural or cultural phenomena.
|
|
| Examples: |
|
- Gregorian Calendar
- Coordinated Universal Time (UTC)
- Julian date
- Greenwich time
- ISO 8601
|
|
| In First Order Logic: |
|
SP11(x) ⇒ E29(x)
|
| Properties: |
|
Q19 has reference event (is reference event of): E5 Event |
|
| SP13 Phenomenal Time-Span
|
|
|
| SubClass Of: |
|
E52
Time-Span |
E52 |
| SuperClass Of: |
|
- |
- |
| Scope Note: |
|
This class comprises instances of E52 Time-Spans whose extent (U) and position is defined by the
temporal projection of the spatiotemporal extent that can be observed or measured. Thus they derive
their identity through the extent in time of a real world phenomenon (I).
|
|
| Examples: |
|
- Duration of the phenomenal temporal extent of the Trafalgar battle (E7)
- The real duration of the Ming Dynasty (E74)
- The real extent of the lifetime of Caesar (E21) starting with his birth (E67) and ending with his
death (E69)
|
|
| In First Order Logic: |
|
SP13 (x) ⇒ E52(x)
|
| Properties: |
|
- |
|
| Q2 occupied (is occupied by)
|
|
|
| Domain: |
|
E18
Physical Thing |
E18 |
| Range: |
|
SP1 Phenomenal Spacetime Volume |
SP1 |
| SubProperty Of: |
|
E18
Physical Thing. P196
defines (is defined by): E92 Spacetime Volume
|
Error: not found property reference
P196 |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
one to one, necessary (1,1:0,1) |
|
| Scope Note: |
|
This property describes the 4 dimensional point sets (volumes) in spacetime that the trajectory of an
instance of E18 Physical Thing occupies in spacetime in the course of its existence. We include in the
occupied space the space filled by the matter of the physical thing and all inner spaces not
accessible in regular function.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- H.M.S. Victory (E22) occupied a spatio-temporal trajectory (SP1) from its launching (E12) to its
actual location (E9)
|
|
| In First Order Logic: |
|
Q2(x,y) ⇒ E18(x)
Q2(x,y) ⇒ SP1(y)
Q2(x,y) ⇔ P196(x,y)
|
|
| Q3 has temporal projection (is
temporal projection of)
|
|
|
| Domain: |
|
SP1 Phenomenal Spacetime Volume |
SP1 |
| Range: |
|
SP13 Phenomenal Time-Span |
SP13 |
| SubProperty Of: |
|
E92
Spacetime Volume. P160 has temporal
projection (is temporal projection of): E52 Time-Span |
Error: not found property reference
P160 |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
one to one , necessary, dependent (1,1:1,1) |
|
| Scope Note: |
|
This property describes the temporal projection of an instance of a SP1 Phenomenal Spacetime Volume.
This property can be extended in a future model to a ternary (3-ary) relationship describing the
temporal projection under a spatial constraint.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- The spatio-temporal trajectory (SP1) of the H.M.S. Victory (E22) has temporal projection the
phenomenal temporal extent from its from its launching to its actual location (SP13)
|
|
| In First Order Logic: |
|
Q3(x,y) ⇒ SP1(x)
Q3(x,y) ⇒ SP13(y)
|
|
| Q4 has spatial projection (is spatial
projection of)
|
|
|
| Domain: |
|
SP1 Phenomenal Spacetime Volume |
SP1 |
| Range: |
|
SP2 Phenomenal Place |
SP2 |
| SubProperty Of: |
|
E92
Spacetime Volume. P161 has spatial
projection (is spatial projection of): E53 Place |
Error: not found property reference
P161 |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
one to many, necessary, dependent (1,n:1,1) |
|
| Scope Note: |
|
This property describes the spatial projection of an instance of a SP1 Phenomenal Spacetime Volume on
an instance of SP2 Phenomenal Place. Even though the projection of a spacetime volume to one instance
of SP3 Reference Space is unique, each reference space gives rise to another projection. The
projections overlap at the time of the spacetime volume, the respective instances of SP2 Phenomenal
Place may later drift apart, or earlier be yet apart.
This property can be extended in a future model to a ternary (3-ary) relationship describing the
spatial projection under a temporal constraint.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- The spatio-temporal trajectory (SP1) of the H.M.S. Victory (E22) has spatial projection the
phenomenal spatial extent from its from its launching to its actual location (SP2)
|
|
| In First Order Logic: |
|
Q4(x,y) ⇒ SP1(x)
Q4(x,y) ⇒ SP2 (y)
|
|
| Q5 defined in (is reference space
for)
|
|
|
| Domain: |
|
E53 Place
|
E53 |
| Range: |
|
SP3 Reference Space |
SP3 |
| SubProperty Of: |
|
- |
- |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to one, necessary (1,1:0,n) |
|
| Scope Note: |
|
This property associates an instance of E53 Place with the instance of SP3 Reference Space it is
defined in.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- The location of Lord Nelson when he died (E53) defined in the Reference Space (SP3) inside and
around the H.M.S. Victory (E22)
|
|
| In First Order Logic: |
|
Q5(x,y) ⇒ E53(x)
Q5(x,y) ⇒ SP3 (y)
|
|
| Q6 is at rest in relation to (rests
in relation to)
|
|
|
| Domain: |
|
SP3 Reference Space |
SP3 |
| Range: |
|
E18
Physical Thing |
E18 |
| SubProperty Of: |
|
- |
- |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to many, necessary, dependent (1,n:1,n) |
|
| Scope Note: |
|
This property associates an instance of SP3 Reference Space with the instance of E18 Physical Thing
that is at rest in it. For all instances of E18 Physical Thing exist at least one reference space it
is at rest with due to their relative stability of form. Larger constellations of matter may comprise
many physical features that are at rest with them.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- The Reference Space (SP3) which is at rest in relation to the H.M.S. Victory (E22)
|
|
| In First Order Logic: |
|
Q6(x,y) ⇒ SP3 (x)
Q6(x,y) ⇒ E18 (y)
|
|
| Q7 describes (is described by)
|
|
|
| Domain: |
|
SP4 Spatial Coordinate Reference System |
SP4 |
| Range: |
|
SP3 Reference Space |
SP3 |
| SubProperty Of: |
|
- |
- |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to one, necessary (1,1:0,n) |
|
| Scope Note: |
|
This property associates an instance of SP4 Spatial Coordinate Reference System with the instance of
SP3 Reference Space for which it can be used to describe locations.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- The Spatial Coordinate Reference System (SP4) which describes the Reference Space (SP3)
in and around the H.M.S. Victory (E22)
|
|
| In First Order Logic: |
|
Q7(x,y) ⇒ SP4 (x)
Q7(x,y) ⇒ SP3 (y)
|
|
| Q8 is fixed on (fixes)
|
|
|
| Domain: |
|
SP4 Spatial Coordinate Reference System |
SP4 |
| Range: |
|
E26
Physical Feature |
E26 |
| SubProperty Of: |
|
- |
- |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
one to many, necessary, dependent (1,n:1,1) |
|
| Scope Note: |
|
This property defines the physical reference features that ground a spatial coordinate reference
system in the real world.
In surveying and geodesy this is part of the datum definition and is often a point identified by a
physical feature on earth (sometimes monuments) where the earth approximation ellipsoid touches the
earth and one axis of the ellipsoid runs through.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- the Spatial Coordinate Reference System (SP4) of the H.M.S. Victory (E22) is fixed on the mast of
the H.M.S. Victory (E26)
|
|
| In First Order Logic: |
|
Q8(x,y) ⇒ SP4 (x)
Q8(x,y) ⇒ E26 (y)
|
|
| Q9 place is expressed in terms of
(expresses place)
|
|
|
| Domain: |
|
SP6 Declarative Place |
SP6 |
| Range: |
|
SP4 Spatial Coordinate Reference System |
SP4 |
| SubProperty Of: |
|
- |
- |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to many (0,n:0,n) |
|
| Scope Note: |
|
This property defines the coordinate reference system in terms of which a Space Primitive is
formulated.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- the Declarative Place the Spatial Coordinate Reference System (SP4) of the H.M.S. Victory (E22) is
fixed on the mast of the H.M.S. Victory (E26)
|
|
| In First Order Logic: |
|
Q9(x,y) ⇒ SP6 (x)
Q9(x,y) ⇒ SP4 (y)
|
|
| Q10 place is defined by (defines
place)
|
|
|
| Domain: |
|
SP6 Declarative Place |
SP6 |
| Range: |
|
E94
Space Primitive |
E94 |
| SubProperty Of: |
|
E53 Place.
P168 place is
defined by (defines place): E94 Space Primitive
|
Error: not found property reference
P168 |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
one to many, dependent (0,n:1,1) |
|
| Scope Note: |
|
This property associates an instance of SP6 Declarative Place with the instance of E94 Space
Primitive that defines it. Syntactic variants or use of different scripts may result in multiple
instances of E94 Space Primitive defining exactly the same place. Transformations between different
reference systems always result in new definitions of places approximating each other and not in
alternative definitions.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- The centroid from https://sws.geonames.org/735927 (SP6) place is defined by
40°31'17.9"N 21°15'48.3"E (E94). [A single point for approximating the centre of the city of
Kastoria, Greece]
- Martin’s coordinates for Kastoria (SP6) place is defined by 40°30'23"N
21°14'53"E, 40°31'40"N 21°16'43"E (E94). [A square covering the built settlement structure of
Kastoria, Greece]
|
|
| In First Order Logic: |
|
Q10(x,y) ⇒ SP6 (x)
Q10(x,y) ⇒ E94 (y)
Q10(x,y) ⇔ P168(x,y)
|
|
| Q11 approximates place (place is
approximated by)
|
|
|
| Domain: |
|
SP6 Declarative Place |
SP6 |
| Range: |
|
SP2 Phenomenal Place |
SP2 |
| SubProperty Of: |
|
E53 Place.
P189 approximates (is
approximated by): E53
Place |
Error: not found property reference
P189 |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to many (0,n:0,n) |
|
| Scope Note: |
|
This property approximates a SP2 Phenomenal Place which is defined in the same reference space.
The property does not state the quality or accuracy of the approximation, but states the intention to
approximate the place.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- [40°31'17.9"N 21°15'48.3"E] (SP6) approximates place Kastoria, Greece, TGN ID: 7010880
(SP2). [The declarative place with point shape which is defined in terms of coordinates taken from
https://sws.geonames.org/735927
approximates the phenomenal place of Kastoria]
- [40°31'00.1"N 21°16'00.1"E] (SP6) approximates place Kastoria, Greece, TGN ID: 7010880
(E53). [The declarative place with point shape which is defined in terms of coordinates taken from
http://vocab.getty.edu/page/tgn/7010880 approximates the phenomenal place of
Kastoria]
|
|
| In First Order Logic: |
|
Q11(x,y) ⇒ SP6 (x)
Q11(x,y) ⇒ SP2 (y)
|
|
| Q12 approximates spacetime
(spacetime is approximated by)
|
|
|
| Domain: |
|
SP7 Declarative Spacetime Volume |
SP7 |
| Range: |
|
SP1 Phenomenal Spacetime Volume |
SP1 |
| SubProperty Of: |
|
- |
- |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to many (0,n:0,n) |
|
| Scope Note: |
|
This property approximates an E53 Place which is defined in the same reference space.
The property does not state the quality or accuracy of the approximation, but states the intention to
approximate the place.
|
|
| Properties: |
|
- |
|
| Examples: |
|
<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,....0 17.2223,39.783
</coordinates>
</LinearRing>
</outerBoundaryIs>
</Polygon>
</Placemark> [spatial and temporal information in KML] (E95) defining the maximum extent of the
Byzantine Empire (SP7) approximates spacetime the phenomenal maximum extent of the
Byzantine Empire (SP1)
|
|
| In First Order Logic: |
|
Q12(x,y) ⇒ SP7 (x)
Q12(x,y) ⇒ SP1 (y)
|
|
| Q13 approximates time (time is
approximated by)
|
|
|
| Domain: |
|
SP10 DeclarativeTime-Span |
SP10 |
| Range: |
|
SP13 Phenomenal Time-Span |
SP13 |
| SubProperty Of: |
|
- |
- |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to many (0,n:0,n) |
|
| Scope Note: |
|
This property approximates a E52 Time-Span. The property does not state the quality or accuracy of
the approximation, but states the intention to approximate the time span .
|
|
| Properties: |
|
- |
|
| Examples: |
|
- September 1939- September 1945 (SP10) approximates time the phenomenal duration of the
Second World War (SP13)
|
|
| In First Order Logic: |
|
Q13(x,y) ⇒ SP10 (x)
Q13(x,y) ⇒ SP13 (y)
|
|
| Q14 defines time (time is defined
by)
|
| URI (forward direction): |
- |
| URI (inverse direction): |
- |
|
| Domain: |
|
E61 Time
Primitive |
E61 |
| Range: |
|
SP10 DeclarativeTime-Span |
SP10 |
| SubProperty Of: |
|
E61 Time
Primitive. P170
defines time (time is defined by): E52 Time-Span |
Error: not found property reference
P170 |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to one (0,1:0,n) |
|
| Scope Note: |
|
This property associates an instance of E61 Time Primitive with the instance of SP10 Declarative Time
Span it defines. Syntactic variants or use of different scripts may result in multiple instances of
E61 Time Primitive defining exactly the same time span. Transformations between different temporal
reference systems in general result in new definitions of time spans approximating each other.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- “1800/1/1 0:00:00 – 1899/31/12 23:59:59” (E61) defines time the 19th century
(SP10).
- “1968/1/1 – 2018/1/1” (E61) defines time 1968/1/1 – 2018/1/1 (SP10). [an arbitrary
time-span during which the Saint Titus reliquary was present in the Saint Titus Church in Heraklion,
Crete]
|
|
| In First Order Logic: |
|
Q14(x,y) ⇒ E61 (x)
Q14(x,y) ⇒ SP10 (y)
Q14(x,y) ⇔ P170(x,y)
|
|
| Q15 time is expressed in terms of
(expresses time)
|
|
|
| Domain: |
|
SP10 DeclarativeTime-Span |
SP10 |
| Range: |
|
SP11 Temporal Reference System |
SP11 |
| SubProperty Of: |
|
- |
- |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to many (0,n:0,n) |
|
| Scope Note: |
|
This property defines the temporal reference system in terms of which a SP10 Declarative Time-Span is
formulated.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- The declarative time span (SP10) defined by “1800/1/1 0:00:00 – 1899/31/12 23:59:59” (E61)
time is expressed in terms of the Gregorian Calendar (SP11).
|
|
| In First Order Logic: |
|
Q15(x,y) ⇒ SP10 (x)
Q15(x,y) ⇒ SP11 (y)
|
|
| Q16 defines spacetime volume
(spacetime volume is defined by)
|
| URI (forward direction): |
- |
| URI (inverse direction): |
- |
|
| Domain: |
|
E95
Spacetime Primitive |
E95 |
| Range: |
|
SP7 Declarative Spacetime Volume |
SP7 |
| SubProperty Of: |
|
E95
Spacetime Primitive. P169 defines
spacetime volume (spacetime volume is defined by): E92 Spacetime Volume
|
Error: not found property reference
P169 |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to one, necessary (1,1:0,n) |
|
| Scope Note: |
|
This property associates an instance of E95 Spacetime Primitive with the instance of SP7 Declarative
Spacetime Volume it defines. Syntactic variants or use of different scripts may result in multiple
instances of E95 Spacetime Primitive defining exactly the same SP7 Declarative Spacetime Volume.
Transformations between different temporal or spatial reference systems in general result in new
definitions of Spacetime Volumes approximating each other.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- <?xml version="1.0" encoding="UTF-8"?>
<kml xmlns="http://www.opengis.net/kml/2.2"
xmlns:gx="http://www.google.com/kml/ext/2.2">
<Document>
<name>Byzantine Empire – Maximum Extent under Justinian I</name>
<description>
Approximation of the greatest territorial extent of the Eastern Roman
(Byzantine) Empire, reached at the end of Justinian I's reconquests
(Vandal War 533–534, Gothic War 535–554). Polygon is a coarse
illustrative approximation, not a surveyed boundary.
</description>
<Placemark>
<name>Byzantine Empire (maximum extent, c. 555 CE)</name>
<!-- Temporal extent: roughly the year of greatest reach -->
<TimeSpan>
<begin>0555-01-01</begin>
<end>0565-11-14</end>
</TimeSpan>
<!-- Spatial extent: simplified outer ring covering the empire at its peak -->
<Polygon>
<tessellate>1</tessellate>
<outerBoundaryIs>
<LinearRing>
<coordinates>
-9.30,35.90,0 <!-- SW Iberia (Spania province) -->
0.20,38.50,0 <!-- E coast of Spania -->
9.20,37.40,0 <!-- N Africa, Carthage region -->
11.30,33.50,0 <!-- Tripolitania -->
22.00,31.20,0 <!-- Cyrenaica -->
31.20,30.00,0 <!-- Egypt, Nile delta -->
34.50,29.50,0 <!-- Sinai / Palaestina Salutaris -->
37.20,31.30,0 <!-- Arabia / desert limes -->
41.30,36.40,0 <!-- Mesopotamian frontier -->
43.50,38.50,0 <!-- Armenian frontier -->
41.40,41.20,0 <!-- Lazica, E Black Sea -->
35.00,42.50,0 <!-- N coast Anatolia -->
28.00,42.20,0 <!-- Lower Danube frontier (Thrace) -->
22.50,44.00,0 <!-- Danube limes -->
18.00,42.80,0 <!-- Dalmatian coast -->
13.50,45.80,0 <!-- N Italy / Istria -->
7.50,44.00,0 <!-- NW Italy -->
10.20,41.80,0 <!-- W coast Italy -->
15.50,38.30,0 <!-- Sicily -->
8.30,39.50,0 <!-- Sardinia -->
9.20,40.50,0 <!-- back across the Tyrrhenian -->
-2.50,36.10,0 <!-- Balearic/Mauretania II -->
-9.30,35.90,0 <!-- close ring -->
</coordinates>
</LinearRing>
</outerBoundaryIs>
</Polygon>
</Placemark>
</Document>
</kml>
[spatial and temporal information in KML] (E95) defines spacetime volume the declared maximum extent
of the Byzantine Empire between 555 and 565 (proleptic Gregorian calendar per ISO 8601 ) (SP7)
|
|
| In First Order Logic: |
|
Q16(x,y) ⇒ E95 (x)
Q16(x,y) ⇒ SP7 (y)
Q16(x,y) ⇔ P169(x,y)
|
|
| Q17 time is expressed in terms of
(expresses time)
|
|
|
| Domain: |
|
SP7 Declarative Spacetime Volume |
SP7 |
| Range: |
|
SP11 Temporal Reference System |
SP11 |
| SubProperty Of: |
|
- |
- |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to many (0,n:0,n) |
|
| Scope Note: |
|
This property defines the temporal reference system in terms of which a SP7 Declarative Spacetime
Volume is formulated.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- The declared maximum extent of the Byzantine Empire (SP7) defined by <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,....0 17.2223,39.783
</coordinates>
</LinearRing>
</outerBoundaryIs>
</Polygon>
</Placemark> (E95) time is expressed in terms of the proleptic Gregorian Calendar
(SP11).
|
|
| In First Order Logic: |
|
Q17 (x,y) ⇒ SP7 (x)
Q17 (x,y) ⇒ SP11 (y)
|
|
| Q18 place is expressed in terms of
(expresses place)
|
|
|
| Domain: |
|
SP7 Declarative Spacetime Volume |
SP7 |
| Range: |
|
SP4 Spatial Coordinate Reference System |
SP4 |
| SubProperty Of: |
|
- |
- |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to many (0,n:0,n) |
|
| Scope Note: |
|
This property defines the spatial coordinate reference system in terms of which a SP12 Spacetime
Volume Expression is formulated.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- The declared maximum extent of the Byzantine Empire (SP7) defined by <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,....0 17.2223,39.783
</coordinates>
</LinearRing>
</outerBoundaryIs>
</Polygon>
</Placemark> (E95) place is expressed in terms of Longitude-Latitude(ellipsoidal
Coordinate System) in WGS84 (Datum) (SP4)
|
|
| In First Order Logic: |
|
Q18 (x,y) ⇒ SP7 (x)
Q18 (x,y) ⇒ SP4 (y)
|
|
| Q19 has reference event (is
reference event of)
|
|
|
| Domain: |
|
SP11 Temporal Reference System |
SP11 |
| Range: |
|
E5 Event
|
E5 |
| SubProperty Of: |
|
- |
- |
| SuperProperty Of: |
|
- |
- |
| Quantification: |
|
many to one, necessary (1,1:0,n) |
|
| Scope Note: |
|
This property defines the reference event for a SP11 Temporal Reference System.
|
|
| Properties: |
|
- |
|
| Examples: |
|
- the Gregorian Calendar (SP11) has reference event Birth of Christ (E67).
|
|
| In First Order Logic: |
|
Q18 (x,y) ⇒ SP11 (x)
Q18 (x,y) ⇒ E5 (y)
|
|