CRMarchaeo 2.1.1 / OWL
type: Ontology
version info: CRMarchaeo 2.1.1 (April, 2024) including references to CIDOC-CRM 7.1.2 and CRMsci 2.0

A1 Excavation Processing Unit
type: Class
notation: A1
preferred label: Excavation Processing Unit
subclass of: E12 Production
subclass of: E64 End of Existence
subclass of: S1 Matter Removal
subclass of: S4 Observation
comment: Scope note: This class comprises activities of excavating in the sense of archaeology, which are documented as a coherent set of actions of progressively recording and removing matter from a pre-specified location under specific rules. Typically, an instance of A1 Excavation Processing Unit would be terminated if significant discontinuities of substance or finds come to light, or if the activity is interrupted due to external factors, such as end of a working day. In other cases, the termination would be based on predefined physical specifications, such as the boundaries of a maximal volume of matter to be excavated in one unit of excavation. Depending on the methodology, an instance of A1 Excavation Processing Unit may intend to remove matter only within the boundaries of a particular stratigraphic unit, or it may follow a pre-declared spatial extent such as a trench. It may only uncover, clean or expose a structure or parts of it. The process of excavation results in the production of a set of recorded (documentation) data that should be sufficient to provide researchers enough information regarding the consistency and spatial distribution of the excavated Segment of Matter and things and features embedded in it. Some parts or all of the removed physical material (instances of S11 Amount of Matter) may be dispersed, whereas others may be kept in custody in the form of finds or samples, while others (such as parts of walls) may be left at the place of their discovery. The data produced by an instance of A1 Excavation Processing Unit should pertain to the material state of matter at excavation time only and should be clearly distinguished from subsequent interpretation about the causes for this state of matter. The current class A1 Excavation Processing Unit is somewhat overloaded and may be split into two subclasses, one for the intellectual process and one for the physical process. This is left for a future refinement of the model. Examples: - The activity taking …

A2 Stratigraphic Volume Unit
type: Class
notation: A2
preferred label: Stratigraphic Volume Unit
subclass of: A8 Stratigraphic Unit
comment: Scope note: This class comprises instances of A8 Stratigraphic Unit which are connected portions of terrain or other solid structures on, in, or under the surface of earth or seafloor exhibiting some homogeneity of structure or substance and which are completely bounded by surfaces or discontinuities in substance or structure with respect to other portions of the terrain or surfaces of objects or finds. Normally at least one of the surfaces, i.e. instances of A3 Stratigraphic Interface (such as the lower one), from the genesis event of the A2 Stratigraphic Volume Unit will remain during its existence. An instance of A2 Stratigraphic Volume Unit may contain physical objects. Examples: - the stratigraphic deposit unit number “(2)” of Figure 6 representing the filling of post hole “[3]” - thick layer “A”, consisting of grey soil and small tuff stones [One of the principal successive layers making up a collapsed part of the roof of the West House, which was found in a horizontal position on the first floor during the excavation of Room 3 –see Figure 7] (Michailidou, 2021) - thinner layer “B”, consisting of brownish red soil and marine pebbles [One of the principal successive layers making up a collapsed part of the roof of the West House, which was found in a horizontal position on the first floor during the excavation of Room 3 –see Figure 7] (Michailidou, 2021) In First Order Logic: - A8(x) ⇒ A2(x)

A3 Stratigraphic Interface
type: Class
notation: A3
preferred label: Stratigraphic Interface
subclass of: A8 Stratigraphic Unit
comment: Scope note: This class comprises instances of A8 Stratigraphic Unit, which are coherent parts of a boundary surface that appear as the result of a stratigraphic genesis event or process. The interface marks the limit of the geometric extent of the effect of a genesis or modification event, and indicates in particular where the effect of this event ended. Each event of creation or destruction of a deposition layer implies the creation of new interfaces. Thus, there are two main types of interfaces: those that are surfaces of strata (that can be directly related to the corresponding stratum via the AP12 confines property), and those that are only surfaces, formed by the removal or destruction of existing stratifications. Examples: - the Stratigraphic Interface number “[19]” confining the Stratigraphic Volume Unit number “(2)” in Figure 6 - the stratigraphic interface separating layers “A” and “B”, in Figure 7 (Michailidou, 2021) In First Order Logic: - A3(x) ⇒ A8(x)

A4 Stratigraphic Genesis
type: Class
notation: A4
preferred label: Stratigraphic Genesis
subclass of: A5 Stratigraphic Modification
subclass of: S17 Physical Genesis
comment: Scope note: This class comprises activities or processes that have produced homogeneous, distinguishable units of stratification that are in a relatively stable form from the time of their genesis until they are observed. Such processes may be the aggregation of cycles of erosion/destruction, deposit/accumulation, or transformation/modification occurring on a particular site throughout a particular period of time. These processes are usually not only due to natural forces (i.e., climate, the impact of flora and fauna, other natural events), but also to human activities, in particular excavation and construction. An event of stratification genesis typically produces two main forms of stratification units, both a deposit and an interface. Examples: - the production of the stratigraphic interface “[3]” by the cut in the pre-existing strata of the posthole –see Figure 6 - the production of the stratigraphic unit volume “(18)” via the filling of the posthole with detritus or some other matter –see Figure 6 - the creation of the one-meter-thick level of pumice caused by the Minoan eruption of Thera and consisting of five distinct layers, which covers the ruins at the excavation Akrotiri, Thera –see Figure 9 (Doumas et al., 2015) - the creation of the 8-10-metre-thick level of successive layers volcanic ash deposed on top of the one-meter-thick level of pumice, which covers the ruins at the excavation Akrotiri, Thera—see Figure 9 (Doumas et al., 2015) - the production of the deposits L14-L18 and L22-L24 by at least seven (7) distinct fill episodes of a neolithic ditch, observed at the northern section of Trenches 6 and 21, at the site Paliambela, Kolindros–see Figure 10 In First Order Logic: - A4(x) ⇒ S17(x) - A4(x) ⇒ A5(x)

A5 Stratigraphic Modification
type: Class
notation: A5
preferred label: Stratigraphic Modification
subclass of: S18 Alteration
comment: Scope note: This class comprises activities or processes resulting in the modification of Stratigraphic Units after their genesis through instances of A4 Stratigraphic Genesis Event. Examples: - the event that eroded the number “(1)” Stratigraphic Volume Unit in Figure 4 and diminished it to its actual size - the creation of many burrows, of about 7 cm in diameter on average, due to rodents, lizards and insects disturbing otherwise intact layers, that were uncovered during the excavation at Eagle Cave, Texas (Larsen, 2015) - the deformation of the saturated soil at the Dutton Paleo-Indian site, Colorado [The deformation was caused by involutions (flame-structures) due to aquaturbations] (Wood and Johnson, 1978) In First Order Logic: - A5(x) ⇒ S18(x)

A6 Group Declaration Event
type: Class
notation: A6
preferred label: Group Declaration Event
subclass of: E13 Attribute Assignment
comment: Scope note: This class comprises interpretive activities that lead to the recognition two or more instances of Stratigraphic Units (A8) or other Physical Thing (E18) that simultaneously exist at the time of this activity or at the time of an archaeological observation this activity refers to as source and that are attributed to be the remains of one complete instance of Physical Thing (E18) that had existed at a time of reference in the past. Instances of this class could be, for example: two stratigraphic units (with no evident contact) cut through by a ditch having been segments of the same original stratigraphic unit, two or more surviving parts of a structure having been segments of the same wall (B5), a number of postholes being the indication of a past wooden house or a number of potsherds being segments of the same original artefact. Examples: - declaring post holes “[7]” and “[8]” in Figure 4 to be part of one building - grouping individual deposits forming the fill of the neolithic ditch (L14-18 and L22-24) in Trenches 6 and 21 at the archaeological site of Paliambela, Kolindros into larger stratigraphic entities or fill episodes –see Figure 10 In First Order Logic: - A6(x) ⇒ E13(x)

A7 Embedding
type: Class
notation: A7
preferred label: Embedding
subclass of: A8 Stratigraphic Unit
comment: Scope note: This class comprises instances of A8 Stratigraphic Unit partially or completely embedding one or more instances of E20 Physical Thing and at a particular position with relative stability in one or more instances of A2 Stratigraphic Volume Units. Normally, an embedding is expected to have been stable from the time of generation of the first instance of A2 Stratigraphic Volume Unit that surrounds it. However, it may also be due to later intrusion. As an empirical fact, the expert may only be able to decide that a particular embedding is not recent, i.e. has been persisting for longer than the activity that encountered it. This class can be used to document the fact of embedding generally with respect to the surrounding matter or, more specifically, with respect to a more precise position within this matter. Examples: - the pottery vessels embedded within the deposit on the ground floor of the West House at Akrotiri, Thera [The pottery vessels were discovered during the excavation process of Room 6 of the West House at Akrotiri –see Figure 8] (Michailidou, 2001) - San Galgano’s sword embedded at the Hermitage of Monte Siepi [He retired around 1170 to live as a hermit. As a symbol of peace, he embedded his sword in a stone, which can still be seen today] (Wikipedia, 2023) <https://en.wikipedia.org/wiki/Galgano_Guidotti> In First Order Logic: - A7(x) ⇒ A8(x)

A8 Stratigraphic Unit
type: Class
notation: A8
preferred label: Stratigraphic Unit
subclass of: S20 Rigid Physical Feature
comment: Scope note: This class comprises instances of S20 Rigid Physical Features which appear as the result of a stratigraphic genesis event or process. The form of an instance of A8 Stratigraphic Unit should be of a kind that can be attributed to a single genesis event or process and has the potential to be observed. One genesis event may have created more than one SU. An instance of A8 Stratigraphic Unit is regarded to exist as long as a part of its matter is still in place with respect to a surrounding reference space, such that its spatial features can be associated with effects of the genesis process of interest. This also implies that a certain degree of coherent (“conformal”) deformation is tolerable within its time-span of existence. Therefore, the place an instance of A8 Stratigraphic Unit occupies can be uniquely identified with respect to the surrounding reference space of archaeological interest Examples: - post holes “[7]” and “[8]” (A3) in Figure 4 - the one-meter-thick level of pumice caused by the Minoan eruption of Thera, which consists of five distinct layers and covers the ruins at the excavation Akrotiri, Thera –see Figure 9 (Doumas et al., 2015) In First Order Logic: - A8(x) ⇒ S20(x)

A9 Archaeological Excavation
type: Class
notation: A9
preferred label: Archaeological Excavation
subclass of: S4 Observation
comment: Scope note: This class describes the general concept of archaeological excavation intended as a coordinated set of activities performed on an area considered as part of a broader topographical, rural, urban, or monumental context. An archaeological excavation is usually under the responsibility of a coordinator, officially designated, which is legally and scientifically responsible for all the activities carried out within each instance of A1 Excavation Processing Unit and is also responsible for the documentation of the whole process. Examples: - excavating the West House found at the archaeological site of Akrotiri, Thera, between 1967 and 1973, led by the archaeologist Sp. Marinatos (Michailidou, 2001) In First Order Logic: - A9(x) ⇒ S4(x)

A10 Excavation Interface
type: Class
notation: A10
preferred label: Excavation Interface
subclass of: E25 Human-Made Feature
subclass of: S20 Rigid Physical Feature
comment: Scope note: This class comprises instances of S20 Rigid Physical Feature that constitutes a surface produced through one or several instances of A1 Excavation Processing Unit. Instances are often documented through drawing and/or measured by technical means such as photography, tachymetry or laser scanning. Using a planar excavation methodology this is typically the surface of a planum or the surface of a profile. Using a stratigraphic excavation methodology, the instance of A10 Excavation Interface would have the intention to approximate an instance of A3 Stratigraphic Interface. The drawing and measurement of profiles is also common practice when a stratigraphic excavation methodology is used. Examples: - the Excavation Interface Planum 6 of square I22 in Area F-I, documented in the field drawing “Planum 6 F-I i22”, created in Fall 1982 (Bietak, 1996) - the Excavation Interface Eastern profile of square I22 in Area F-I, documented in field drawing “Ostprofil F-I i22”, confining the excavation square I22 to the East (Hiebel, Aspöck and Kucera, 2017) In First Order Logic: - A10(x) ⇒ S20(x)

AP1 produced
type: ObjectProperty
notation: AP1
preferred label: produced
domain: A1 Excavation Processing Unit
range: S11 Amount of Matter
inverse of: AP1i was produced by
sub property of: O2 removed
comment: Quantification: one to many (0,n:0,1) Scope note: This property identifies the S11 Amount of Matter, e.g. a basket, that is preserved (part or total of) from an instance of A1 Excavation Processing Unit for further examination or evidence keeping. Examples: - The excavation of the posthole (A1) produced an amount of black turf with wood inclusions (S11). In First Order Logic: - AP1(x,y) ⇒ A1(x) - AP1(x,y) ⇒ S11 (y) - AP1(x,y) ⇒ O2(x,y)

AP1i was produced by
type: ObjectProperty
notation: AP1i
preferred label: was produced by
domain: S11 Amount of Matter
range: A1 Excavation Processing Unit
inverse of: AP1 produced
sub property of: O2i was removed by
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property identifies the S11 Amount of Matter, e.g. a basket, that is preserved (part or total of) from an instance of A1 Excavation Processing Unit for further examination or evidence keeping. Examples of the inverse property: - The excavation of the posthole (A1) produced an amount of black turf with wood inclusions (S11). In First Order Logic of the inverse property: - AP1(x,y) ⇒ A1(x) - AP1(x,y) ⇒ S11 (y) - AP1(x,y) ⇒ O2(x,y)

AP2 discarded
type: ObjectProperty
notation: AP2
preferred label: discarded
domain: A1 Excavation Processing Unit
range: S11 Amount of Matter
inverse of: AP2i was discarded by
sub property of: O2 removed
comment: Quantification: one to many (0,n:0,1) Scope note: This property identifies an instance of S11 Amount of Matter discarded (e.g. onto a heap) by an instance of A1 Excavation Processing Unit. Examples: - The stratum of ash, pumice and other volcanic material removed (S11) was discarded by the excavation of Villa of the Mysteries in Pompeii, Italy (A1). (Maiuri, 1931) In First Order Logic: - AP2(x,y) ⇒ A1(x) - AP2(x,y) ⇒ S11(y) - AP2(x,y) ⇒ O2(x,y)

AP2i was discarded by
type: ObjectProperty
notation: AP2i
preferred label: was discarded by
domain: S11 Amount of Matter
range: A1 Excavation Processing Unit
inverse of: AP2 discarded
sub property of: O2i was removed by
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property identifies an instance of S11 Amount of Matter discarded (e.g. onto a heap) by an instance of A1 Excavation Processing Unit. Examples of the inverse property: - The stratum of ash, pumice and other volcanic material removed (S11) was discarded by the excavation of Villa of the Mysteries in Pompeii, Italy (A1). (Maiuri, 1931) In First Order Logic of the inverse property: - AP2(x,y) ⇒ A1(x) - AP2(x,y) ⇒ S11(y) - AP2(x,y) ⇒ O2(x,y)

AP3 investigated
type: ObjectProperty
notation: AP3
preferred label: investigated
domain: A9 Archaeological Excavation
range: E27 Site
inverse of: AP3i was investigated by
sub property of: O8 observed
comment: Quantification: one to many (0,n:0,1) Scope note: This property identifies the 3D excavated volume instance of E27 Site, i.e., a three- dimensional volume, that was actually investigated during an A9 Archaeological Excavation. Examples: - The 1938 archaeological excavation, carried out by Pietro Romanelli (A9), investigated the archaeological site of the ancient Etruscan city of Tarquinia (E27). (Romanelli, 1940) In First Order Logic: - AP3(x,y) ⇒ A9(x) - AP3(x,y) ⇒ E27(y) - AP3(x,y) ⇒ O8(x,y)

AP3i was investigated by
type: ObjectProperty
notation: AP3i
preferred label: was investigated by
domain: E27 Site
range: A9 Archaeological Excavation
inverse of: AP3 investigated
sub property of: O8i was observed by
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property identifies the 3D excavated volume instance of E27 Site, i.e., a three- dimensional volume, that was actually investigated during an A9 Archaeological Excavation. Examples of the inverse property: - The 1938 archaeological excavation, carried out by Pietro Romanelli (A9), investigated the archaeological site of the ancient Etruscan city of Tarquinia (E27). (Romanelli, 1940) In First Order Logic of the inverse property: - AP3(x,y) ⇒ A9(x) - AP3(x,y) ⇒ E27(y) - AP3(x,y) ⇒ O8(x,y)

AP4 produced surface
type: ObjectProperty
notation: AP4
preferred label: produced surface
domain: A1 Excavation Processing Unit
range: A10 Excavation Interface
inverse of: AP4i was surface produced by
sub property of: P108 has produced
comment: Quantification: one to many (0,n:0,1) Scope note: This property identifies the instance of A10 Excavation Interface that constitutes the new surface produced during an instance of A1 Excavation Processing Unit in the excavated area. Frequently this surface or parts of it are documented through drawing and/or measured by technical means such as photography, tachymetry or laser scanning. Examples: - The excavation of the south trench in 1949 (A1) produced surface the confinement of the south part of the archaeological site of Sybaris, Italy (A10). (Guzzo, 2014) In First Order Logic: - AP4(x,y) ⇒ A1(x) - AP4(x,y) ⇒ A10 (y) - AP4(x,y) ⇒ O2(x,y) - AP4(x,y) ⇒ P108(x,y)

AP4i was surface produced by
type: ObjectProperty
notation: AP4i
preferred label: was surface produced by
domain: A10 Excavation Interface
range: A1 Excavation Processing Unit
inverse of: AP4 produced surface
sub property of: P108i was produced by
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property identifies the instance of A10 Excavation Interface that constitutes the new surface produced during an instance of A1 Excavation Processing Unit in the excavated area. Frequently this surface or parts of it are documented through drawing and/or measured by technical means such as photography, tachymetry or laser scanning. Examples of the inverse property: - The excavation of the south trench in 1949 (A1) produced surface the confinement of the south part of the archaeological site of Sybaris, Italy (A10). (Guzzo, 2014) In First Order Logic of the inverse property: - AP4(x,y) ⇒ A1(x) - AP4(x,y) ⇒ A10 (y) - AP4(x,y) ⇒ O2(x,y) - AP4(x,y) ⇒ P108(x,y)

AP5 removed part or all of
type: ObjectProperty
notation: AP5
preferred label: removed part or all of
domain: A1 Excavation Processing Unit
range: A8 Stratigraphic Unit
inverse of: AP5i was partially or totally removed by
sub property of: O1 diminished
comment: Quantification: one to many (0,n:0,1) Scope note: This property identifies the instance of A8 Stratigraphic Unit that was cut during an A1 Excavation Processing Unit. Examples: - The spit excavation producing the surface “S2” (A1) removed part or all of the structures and infill marked “2”, “3”, “4”, “18”, and “19”, (A8) in Figure 4a. In First Order Logic: - AP5(x,y) ⇒ A1(x) - AP5(x,y) ⇒ A8(y) - AP5(x,y) ⇒ O2(x,y)

AP5i was partially or totally removed by
type: ObjectProperty
notation: AP5i
preferred label: was partially or totally removed by
domain: A8 Stratigraphic Unit
range: A1 Excavation Processing Unit
inverse of: AP5 removed part or all of
sub property of: O1i was diminished by
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property identifies the instance of A8 Stratigraphic Unit that was cut during an A1 Excavation Processing Unit. Examples of the inverse property: - The spit excavation producing the surface “S2” (A1) removed part or all of the structures and infill marked “2”, “3”, “4”, “18”, and “19”, (A8) in Figure 4a. In First Order Logic of the inverse property: - AP5(x,y) ⇒ A1(x) - AP5(x,y) ⇒ A8(y) - AP5(x,y) ⇒ O2(x,y)

AP6 intended to approximate
type: ObjectProperty
notation: AP6
preferred label: intended to approximate
domain: A1 Excavation Processing Unit
range: A3 Stratigraphic Interface
inverse of: AP6i was approximated by
sub property of: O8 observed
comment: Quantification: one to many (0,n:0,1) Scope note: This property identifies the A3 Stratigraphic Interface that was intended to approximate during an A1 Excavation Processing Unit. This property should be assigned when a stratigraphic excavation methodology is used. It enables the linkage of the surface produced by an A1 Excavation Processing Unit and an A3 Stratigraphic Interface. Examples: - The excavation at ancient Akrotiri (A1) intended to approximate the various interfaces witnessing the sequences of the Minoan eruption of Thera (A3), see Figure 9. - The excavation (A1) of the neolithic ditch at Trenches 6 and 21 at Paliambela, Kolindros, intended to approximate the various interfaces witnessing the sequence of the ditch's fill episodes (A3), see Figure 9. In First Order Logic: - AP6(x,y) ⇒ A1(x) - AP6(x,y) ⇒ A3 (y) - AP6(x,y) ⇒ O8(x,y)

AP6i was approximated by
type: ObjectProperty
notation: AP6i
preferred label: was approximated by
domain: A3 Stratigraphic Interface
range: A1 Excavation Processing Unit
inverse of: AP6 intended to approximate
sub property of: O8i was observed by
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property identifies the A3 Stratigraphic Interface that was intended to approximate during an A1 Excavation Processing Unit. This property should be assigned when a stratigraphic excavation methodology is used. It enables the linkage of the surface produced by an A1 Excavation Processing Unit and an A3 Stratigraphic Interface. Examples of the inverse property: - The excavation at ancient Akrotiri (A1) intended to approximate the various interfaces witnessing the sequences of the Minoan eruption of Thera (A3), see Figure 9. - The excavation (A1) of the neolithic ditch at Trenches 6 and 21 at Paliambela, Kolindros, intended to approximate the various interfaces witnessing the sequence of the ditch's fill episodes (A3), see Figure 9. In First Order Logic of the inverse property: - AP6(x,y) ⇒ A1(x) - AP6(x,y) ⇒ A3 (y) - AP6(x,y) ⇒ O8(x,y)

AP7 produced
type: ObjectProperty
notation: AP7
preferred label: produced
domain: A4 Stratigraphic Genesis
range: A8 Stratigraphic Unit
inverse of: AP7i was produced by
sub property of: O17 generated
comment: Quantification: one to many (0,n:0,1) Scope note: This property identifies the instance of A8 Stratigraphic Unit that was produced during an instance of A4 Stratigraphic Genesis Event. Examples: - The one-meter-thick level of pumice covering the ruins at Akrotiri, Thera, (A8) was produced by the Minoan eruption of Thera –see Figure 9. (Doumas et al., 2015) - The 8-10-metre-thick level of successive layers volcanic ash deposed on top of the one-meter-thick level of pumice covering the ruins at Akrotiri, Thera, was produced by the Minoan eruption of Thera –see Figure 9. (Doumas et al., 2015) In First Order Logic: - AP7(x,y) ⇒ A4(x) - AP7(x,y) ⇒ A8(y) - AP7(x,y) ⇒ O17(y)

AP7i was produced by
type: ObjectProperty
notation: AP7i
preferred label: was produced by
domain: A8 Stratigraphic Unit
range: A4 Stratigraphic Genesis
inverse of: AP7 produced
sub property of: O17i was generated by
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property identifies the instance of A8 Stratigraphic Unit that was produced during an instance of A4 Stratigraphic Genesis Event. Examples of the inverse property: - The one-meter-thick level of pumice covering the ruins at Akrotiri, Thera, (A8) was produced by the Minoan eruption of Thera –see Figure 9. (Doumas et al., 2015) - The 8-10-metre-thick level of successive layers volcanic ash deposed on top of the one-meter-thick level of pumice covering the ruins at Akrotiri, Thera, was produced by the Minoan eruption of Thera –see Figure 9. (Doumas et al., 2015) In First Order Logic of the inverse property: - AP7(x,y) ⇒ A4(x) - AP7(x,y) ⇒ A8(y) - AP7(x,y) ⇒ O17(y)

AP8 disturbed
type: ObjectProperty
notation: AP8
preferred label: disturbed
domain: A5 Stratigraphic Modification
range: A8 Stratigraphic Unit
inverse of: AP8i was disturbed by
sub property of: O18 altered
comment: Quantification: one to many (0,n:0,1) Scope note: This property identifies an A8 Stratigraphic Unit that was disturbed through an A5 Stratigraphic Modification. One A5 Stratigraphic Modification may disturb several A8 Stratigraphic Units. Examples: - Rodents, lizards, and insects burrowing into the ground led to the creation of burrows (A5) discovered during the excavation at Eagle Cave, Texas, which disturbed the otherwise intact stratigraphic layers of the archaeological site (A8). (Larsen, 2015) In First Order Logic: - AP8(x,y) ⇒ A5(x) - AP8(x,y) ⇒ A8(y) - AP8(x,y) ⇒ O18(y)

AP8i was disturbed by
type: ObjectProperty
notation: AP8i
preferred label: was disturbed by
domain: A8 Stratigraphic Unit
range: A5 Stratigraphic Modification
inverse of: AP8 disturbed
sub property of: O18i was altered by
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property identifies an A8 Stratigraphic Unit that was disturbed through an A5 Stratigraphic Modification. One A5 Stratigraphic Modification may disturb several A8 Stratigraphic Units. Examples of the inverse property: - Rodents, lizards, and insects burrowing into the ground led to the creation of burrows (A5) discovered during the excavation at Eagle Cave, Texas, which disturbed the otherwise intact stratigraphic layers of the archaeological site (A8). (Larsen, 2015) In First Order Logic of the inverse property: - AP8(x,y) ⇒ A5(x) - AP8(x,y) ⇒ A8(y) - AP8(x,y) ⇒ O18(y)

AP9 took matter from
type: ObjectProperty
notation: AP9
preferred label: took matter from
domain: A4 Stratigraphic Genesis
range: S10 Material Substantial
inverse of: AP9i provided matter to
sub property of: O18 altered
comment: Quantification: one to many (0,n:0,1) Scope note: This property associates an instance of A4 Stratigraphic Genesis with an instance of S10 Material Substantial, from which matter was incorporated in the instance of A8 Stratigraphic Unit produced by this genesis. The instance of A8 Stratigraphic Unit produced by an instance of A4 Stratigraphic Genesis can be documented by using the property AP7 produced (was produced by) and should be distinct from the instance of S10 Material Substantial from which matter was taken. The latter instance will be modified or cease to exist due to this genesis process. Examples: - The formation of two slab deposit layers on the ground floor of Room 5 of the West House in ancient Akrotiri (A4) took matter from the slabs of the collapsed upper storey’s paved floor. (Michailidou, 2001) In First Order Logic: - AP9(x,y) ⇒ A4(x) - AP9(x,y) ⇒ S10(y) - AP9(x,y) ⇒ O18(x,y)

AP9i provided matter to
type: ObjectProperty
notation: AP9i
preferred label: provided matter to
domain: S10 Material Substantial
range: A4 Stratigraphic Genesis
inverse of: AP9 took matter from
sub property of: O18i was altered by
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property associates an instance of A4 Stratigraphic Genesis with an instance of S10 Material Substantial, from which matter was incorporated in the instance of A8 Stratigraphic Unit produced by this genesis. The instance of A8 Stratigraphic Unit produced by an instance of A4 Stratigraphic Genesis can be documented by using the property AP7 produced (was produced by) and should be distinct from the instance of S10 Material Substantial from which matter was taken. The latter instance will be modified or cease to exist due to this genesis process. Examples of the inverse property: - The formation of two slab deposit layers on the ground floor of Room 5 of the West House in ancient Akrotiri (A4) took matter from the slabs of the collapsed upper storey’s paved floor. (Michailidou, 2001) In First Order Logic of the inverse property: - AP9(x,y) ⇒ A4(x) - AP9(x,y) ⇒ S10(y) - AP9(x,y) ⇒ O18(x,y)

AP10 destroyed
type: ObjectProperty
notation: AP10
preferred label: destroyed
domain: A1 Excavation Processing Unit
range: S22 Segment of Matter
inverse of: AP10i was destroyed by
sub property of: P93 took out of existence
comment: Quantification: one to many, necessary (1,n:0,1) Scope note: This property identifies the S22 Segment of Matter that was destroyed through an A1 Excavation Processing Unit. The spatial extent of the instance of S22 Segment of Matter is defined by the extent of the spatial 3-dimensional projection of the A1 Excavation Processing Unit. Depending on the granularity of the documented instance of A1 Excavation Processing Unit, different instances of S22 Segment of Matter may be identified by the A10 property. Examples: - The complete excavation of Villa of the Mysteries in Pompeii, Italy (A1) destroyed the stratum of ash, pumice, and other volcanic material (S22). (Maiuri, 1931) In First Order Logic: - AP10(x,y) ⇒ A1(x) - AP10(x,y) ⇒ S22(y) - AP10 (x,y) ⇒ P13(x,y)

AP10i was destroyed by
type: ObjectProperty
notation: AP10i
preferred label: was destroyed by
domain: S22 Segment of Matter
range: A1 Excavation Processing Unit
inverse of: AP10 destroyed
sub property of: P93i was taken out of existence by
comment: Quantification of the inverse property: one to many, necessary (1,n:0,1) Scope note of the inverse property: This property identifies the S22 Segment of Matter that was destroyed through an A1 Excavation Processing Unit. The spatial extent of the instance of S22 Segment of Matter is defined by the extent of the spatial 3-dimensional projection of the A1 Excavation Processing Unit. Depending on the granularity of the documented instance of A1 Excavation Processing Unit, different instances of S22 Segment of Matter may be identified by the A10 property. Examples of the inverse property: - The complete excavation of Villa of the Mysteries in Pompeii, Italy (A1) destroyed the stratum of ash, pumice, and other volcanic material (S22). (Maiuri, 1931) In First Order Logic of the inverse property: - AP10(x,y) ⇒ A1(x) - AP10(x,y) ⇒ S22(y) - AP10 (x,y) ⇒ P13(x,y)

AP11 has physical relation to
type: ObjectProperty
notation: AP11
preferred label: has physical relation to
domain: A8 Stratigraphic Unit
range: A8 Stratigraphic Unit
inverse of: AP11i is physical relation from
comment: Quantification: many to many (0,n:0,n) Scope note: This property identifies the physical relationship between two A8 Stratigraphic Units. The described relationship may be between two adjacent instances of A2 Stratigraphic Volume Unit sharing a common interface (instance of A3 Stratigraphic Interface), between an instance of A2 Stratigraphic Volume Unit and one of its adjacent interfaces, such as human-made cuts or earthquake induced faults, or even between two intersecting interfaces. The type of physical relationships found between stratigraphic units in archaeological or geological documentation is documented through the property AP11.1 has type. The type applies to the direction from the domain to the range of the property AP11 has physical relation to (is physically related from). The type of physical relationship typically constitutes strong evidence for the sequence of genesis of the related stratigraphic units, which can be documented by the property AP13 has stratigraphic relation to (is stratigraphically related by). The type may either pertain to a relative topology, such as the one being “under” the other, or to the fine-structure of the interface between them, such as a layer of concrete having filled out earlier micro-cavities in various directions in the interface before solidifying. Examples: - The layer of burned remains of the log building in Søndre gate, Trondheim, Norway, (A8) has physical relation to under the foundation of the church of St. Clements (A8). (Norwegian Institute for Cultural Heritage Research, 2018) - The floors at B of the building 1 in Çatalhöyük, Turkey (A8) has physical relation to wall C (A8) has type runs up to (E55) [as observed initially] (Hodder, 1999) - The wall C of the building 1 in Çatalhöyük, Turkey (A8) has physical relation to the floors at B (A8) has type inserted by cut (E55) [as observed finally] (Hodder, 1999) - The wall C of the building 1 in Çatalhöyük, Turkey (A8) has physical relation to wall D (A8) has typ…

AP11i is physical relation from
type: ObjectProperty
notation: AP11i
preferred label: is physical relation from
domain: A8 Stratigraphic Unit
range: A8 Stratigraphic Unit
inverse of: AP11 has physical relation to
comment: Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property identifies the physical relationship between two A8 Stratigraphic Units. The described relationship may be between two adjacent instances of A2 Stratigraphic Volume Unit sharing a common interface (instance of A3 Stratigraphic Interface), between an instance of A2 Stratigraphic Volume Unit and one of its adjacent interfaces, such as human-made cuts or earthquake induced faults, or even between two intersecting interfaces. The type of physical relationships found between stratigraphic units in archaeological or geological documentation is documented through the property AP11.1 has type. The type applies to the direction from the domain to the range of the property AP11 has physical relation to (is physically related from). The type of physical relationship typically constitutes strong evidence for the sequence of genesis of the related stratigraphic units, which can be documented by the property AP13 has stratigraphic relation to (is stratigraphically related by). The type may either pertain to a relative topology, such as the one being “under” the other, or to the fine-structure of the interface between them, such as a layer of concrete having filled out earlier micro-cavities in various directions in the interface before solidifying. Examples of the inverse property: - The layer of burned remains of the log building in Søndre gate, Trondheim, Norway, (A8) has physical relation to under the foundation of the church of St. Clements (A8). (Norwegian Institute for Cultural Heritage Research, 2018) - The floors at B of the building 1 in Çatalhöyük, Turkey (A8) has physical relation to wall C (A8) has type runs up to (E55) [as observed initially] (Hodder, 1999) - The wall C of the building 1 in Çatalhöyük, Turkey (A8) has physical relation to the floors at B (A8) has type inserted by cut (E55) [as observed finally] (Hodder, 1999) - The wall C of the building 1…

AP12 confines
type: ObjectProperty
notation: AP12
preferred label: confines
domain: A3 Stratigraphic Interface
range: A2 Stratigraphic Volume Unit
inverse of: AP12i is confined by
comment: Quantification: many to many (0,n:0,n) Scope note: This property identifies partly or completely the surface (A3 Stratigraphic Interface) of an A2 Stratigraphic Volume Unit. One A3 Stratigraphic Interface may confine two or more A2 Stratigraphic Volume Units. Examples: - The Stratigraphic Interface “[19]” (A3) confines the Stratigraphic Volume Unit “(2)” (A2) –see Figure 4a, above. In First Order Logic: - AP12(x,y) ⇒ A3(x) - AP12(x,y) ⇒ A2(y)

AP12i is confined by
type: ObjectProperty
notation: AP12i
preferred label: is confined by
domain: A2 Stratigraphic Volume Unit
range: A3 Stratigraphic Interface
inverse of: AP12 confines
comment: Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property identifies partly or completely the surface (A3 Stratigraphic Interface) of an A2 Stratigraphic Volume Unit. One A3 Stratigraphic Interface may confine two or more A2 Stratigraphic Volume Units. Examples of the inverse property: - The Stratigraphic Interface “[19]” (A3) confines the Stratigraphic Volume Unit “(2)” (A2) –see Figure 4a, above. In First Order Logic of the inverse property: - AP12(x,y) ⇒ A3(x) - AP12(x,y) ⇒ A2(y)

AP13 has stratigraphic relation to
type: ObjectProperty
notation: AP13
preferred label: has stratigraphic relation to
domain: A5 Stratigraphic Modification
range: A5 Stratigraphic Modification
inverse of: AP13i is stratigraphic relation of
comment: Quantification: one to many (0,n:0,1) Scope note: This property identifies the stratigraphic relation between two A5 Stratigraphic Modification events. This relation may be inferred from the kind of physical relation that exists between the two AP 8 Stratigraphic Units that have been created or modified during the corresponding A5 Stratigraphic Modification events. The type of stratigraphic relationships in archaeological documentation assigned to two A5 Stratigraphic Modification events is documented through the property AP 13.1 has type. Examples: - The burning of the log building in Søndre gate, Trondheim, Norway, (A5) has stratigraphic relation to the laying of the foundation for the church of St. Clements (A5) has type earlier (E55). (Norwegian Institute for Cultural Heritage Research, 2018) - The production of the floors at B of the building 1 in Çatalhöyük, Turkey (E12) has stratigraphic relation to the production of wall C (E12) has type after (E55). [as observed initially, see AP11] (Hodder, 1999) - The production of wall C of the building 1 in Çatalhöyük, Turkey (A5) has stratigraphic relation to the production of the floors at B (A5) has type after (E55). [as observed finally, see AP11] (Hodder,, 1999) - The production of the wall C of the building 1 in Çatalhöyük, Turkey (A5) has stratigraphic relation to the production of wall D (A5) has type after (E55). [See AP11] (Hodder, 1999) - The production of the wall D of the building 1 in Çatalhöyük, Turkey (A5) has stratigraphic relation to the production of the floors B’ (A5) has type after (E55). [See AP11] (Hodder, 1999) Properties: - AP13.1 has type: - AP13.2 justified by (is justification of): AP11 has physical relation to (is physical relation from) In First Order Logic: - AP13(x,y) ⇒ A5(x) - AP13(x,y) ⇒ A5(y) - AP13.1(x,y,z) ⇒ [AP13 (x,y) ∧ E55(z)]

AP13i is stratigraphic relation of
type: ObjectProperty
notation: AP13i
preferred label: is stratigraphic relation of
domain: A5 Stratigraphic Modification
range: A5 Stratigraphic Modification
inverse of: AP13 has stratigraphic relation to
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property identifies the stratigraphic relation between two A5 Stratigraphic Modification events. This relation may be inferred from the kind of physical relation that exists between the two AP 8 Stratigraphic Units that have been created or modified during the corresponding A5 Stratigraphic Modification events. The type of stratigraphic relationships in archaeological documentation assigned to two A5 Stratigraphic Modification events is documented through the property AP 13.1 has type. Examples of the inverse property: - The burning of the log building in Søndre gate, Trondheim, Norway, (A5) has stratigraphic relation to the laying of the foundation for the church of St. Clements (A5) has type earlier (E55). (Norwegian Institute for Cultural Heritage Research, 2018) - The production of the floors at B of the building 1 in Çatalhöyük, Turkey (E12) has stratigraphic relation to the production of wall C (E12) has type after (E55). [as observed initially, see AP11] (Hodder, 1999) - The production of wall C of the building 1 in Çatalhöyük, Turkey (A5) has stratigraphic relation to the production of the floors at B (A5) has type after (E55). [as observed finally, see AP11] (Hodder,, 1999) - The production of the wall C of the building 1 in Çatalhöyük, Turkey (A5) has stratigraphic relation to the production of wall D (A5) has type after (E55). [See AP11] (Hodder, 1999) - The production of the wall D of the building 1 in Çatalhöyük, Turkey (A5) has stratigraphic relation to the production of the floors B’ (A5) has type after (E55). [See AP11] (Hodder, 1999) In First Order Logic of the inverse property: - AP13(x,y) ⇒ A5(x) - AP13(x,y) ⇒ A5(y) - AP13.1(x,y,z) ⇒ [AP13 (x,y) ∧ E55(z)]

AP15 is or contains remains of
type: ObjectProperty
notation: AP15
preferred label: is or contains remains of
domain: A2 Stratigraphic Volume Unit
range: S10 Material Substantial
inverse of: AP15i is or has remains contained in
comment: Quantification: one to many (0,n:0,1) Scope note: This property indicates that an instance of A2 Stratigraphic Volume Unit can be the remains of or contain the remains of an instance of S10 Material Substantial. Examples: - The posthole “Dilling 2AS34019” (A2) is or contains remains of the rotten bottom part of a pole (S10). In First Order Logic: - AP15(x,y) ⇒ A2(x) - AP15(x,y) ⇒ S10(y)

AP15i is or has remains contained in
type: ObjectProperty
notation: AP15i
preferred label: is or has remains contained in
domain: S10 Material Substantial
range: A2 Stratigraphic Volume Unit
inverse of: AP15 is or contains remains of
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property indicates that an instance of A2 Stratigraphic Volume Unit can be the remains of or contain the remains of an instance of S10 Material Substantial. Examples of the inverse property: - The posthole “Dilling 2AS34019” (A2) is or contains remains of the rotten bottom part of a pole (S10). In First Order Logic of the inverse property: - AP15(x,y) ⇒ A2(x) - AP15(x,y) ⇒ S10(y)

AP16 assigned attribute to
type: ObjectProperty
notation: AP16
preferred label: assigned attribute to
domain: A6 Group Declaration Event
range: E18 Physical Thing
inverse of: AP16i was attributed by
sub property of: P140 assigned attribute to
comment: Quantification: one to many (0,n:0,1) Scope note: This property indicates an instance of E18 Physical Thing that was assigned by an instance of A6 Group Declaration Event as remains of the target of this instance of A6 Group Declaration Event. Examples: - declaring post holes “[7]” and “[8]” in Figure 4 to be part of one building (A6) assigned attribute to the post holes [7] and [8] (E18) –see Figure 4a. In First Order Logic: - AP16(x,y) ⇒ A6(x) - AP16(x,y) ⇒ E18(y) - AP16(x,y) ⇒ P140(x,y)

AP16i was attributed by
type: ObjectProperty
notation: AP16i
preferred label: was attributed by
domain: E18 Physical Thing
range: A6 Group Declaration Event
inverse of: AP16 assigned attribute to
sub property of: P140i was attributed by
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property indicates an instance of E18 Physical Thing that was assigned by an instance of A6 Group Declaration Event as remains of the target of this instance of A6 Group Declaration Event. Examples of the inverse property: - declaring post holes “[7]” and “[8]” in Figure 4 to be part of one building (A6) assigned attribute to the post holes [7] and [8] (E18) –see Figure 4a. In First Order Logic of the inverse property: - AP16(x,y) ⇒ A6(x) - AP16(x,y) ⇒ E18(y) - AP16(x,y) ⇒ P140(x,y)

AP17 is found by
type: ObjectProperty
notation: AP17
preferred label: is found by
domain: A7 Embedding
range: S19 Encounter Event
inverse of: AP17i found
sub property of: O8 observed
comment: Quantification: one to many (0,n:0,1) Scope note: This property associates an instance of S19 Encounter Event with an instance of A7 Embedding that has been found during this event. Examples: - The small whetstone with an erratic runic inscription that was embedded in a medieval rubbish dump (A7) is found by the discovery of the whetstone in the early morning in November 2017 in Oslo, Norway (S19). (Norwegian Institute for Cultural Heritage Research, 2017) In First Order Logic: - AP17(x,y) ⇒ A7(x) - AP17(x,y) ⇒ S19(y) - AP17(x,y) ⇒ O8(x,y)

AP17i found
type: ObjectProperty
notation: AP17i
preferred label: found
domain: S19 Encounter Event
range: A7 Embedding
inverse of: AP17 is found by
sub property of: O8i was observed by
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property associates an instance of S19 Encounter Event with an instance of A7 Embedding that has been found during this event. Examples of the inverse property: - The small whetstone with an erratic runic inscription that was embedded in a medieval rubbish dump (A7) is found by the discovery of the whetstone in the early morning in November 2017 in Oslo, Norway (S19). (Norwegian Institute for Cultural Heritage Research, 2017) In First Order Logic of the inverse property: - AP17(x,y) ⇒ A7(x) - AP17(x,y) ⇒ S19(y) - AP17(x,y) ⇒ O8(x,y)

AP18 is embedding of
type: ObjectProperty
notation: AP18
preferred label: is embedding of
domain: A7 Embedding
range: E18 Physical Thing
inverse of: AP18i is embedded
sub property of: P46 is composed of
comment: Quantification: one to many (0,n:0,1) Scope note: This property identifies the E18 Physical Thing that is contained in an A7 Embedding. Examples: - The embedding of the small whetstone with an erratic runic inscription in a medieval rubbish dump (A7) is embedding of this whetstone, discovered in the early morning in November 2017 in Oslo, Norway (E18). (Norwegian Institute for Cultural Heritage Research, 2017) In First Order Logic: - AP18(x,y) ⇒ A7(x) - AP18(x,y) ⇒ E18(y) - AP18(x,y) ⇒ P44(x,y)

AP18i is embedded
type: ObjectProperty
notation: AP18i
preferred label: is embedded
domain: E18 Physical Thing
range: A7 Embedding
inverse of: AP18 is embedding of
sub property of: P46i forms part of
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property identifies the E18 Physical Thing that is contained in an A7 Embedding. Examples of the inverse property: - The embedding of the small whetstone with an erratic runic inscription in a medieval rubbish dump (A7) is embedding of this whetstone, discovered in the early morning in November 2017 in Oslo, Norway (E18). (Norwegian Institute for Cultural Heritage Research, 2017) In First Order Logic of the inverse property: - AP18(x,y) ⇒ A7(x) - AP18(x,y) ⇒ E18(y) - AP18(x,y) ⇒ P44(x,y)

AP19 is embedding in
type: ObjectProperty
notation: AP19
preferred label: is embedding in
domain: A7 Embedding
range: A2 Stratigraphic Volume Unit
inverse of: AP19i contains embedding
comment: Quantification: one to many (1,1:0,n) Scope note: This property identifies the instance of A2 Stratigraphic Volume Unit that contains the A7 Embedding. An Embedding may not extend over more than one instance of A2 Stratigraphic Volume Unit. Examples: - The embedding of the small whetstone with an erratic runic inscription, discovered in the early morning in November 2017 in Oslo, Norway, in a medieval rubbish dump (A7) is embedding in the medieval rubbish dump “Follo234532” (A2). (Norwegian Institute for Cultural Heritage Research, 2017) In First Order Logic: - AP19(x,y) ⇒ A7(x) - AP19(x,y) ⇒ A2(y)

AP19i contains embedding
type: ObjectProperty
notation: AP19i
preferred label: contains embedding
domain: A2 Stratigraphic Volume Unit
range: A7 Embedding
inverse of: AP19 is embedding in
comment: Quantification of the inverse property: one to many (1,1:0,n) Scope note of the inverse property: This property identifies the instance of A2 Stratigraphic Volume Unit that contains the A7 Embedding. An Embedding may not extend over more than one instance of A2 Stratigraphic Volume Unit. Examples of the inverse property: - The embedding of the small whetstone with an erratic runic inscription, discovered in the early morning in November 2017 in Oslo, Norway, in a medieval rubbish dump (A7) is embedding in the medieval rubbish dump “Follo234532” (A2). (Norwegian Institute for Cultural Heritage Research, 2017) In First Order Logic of the inverse property: - AP19(x,y) ⇒ A7(x) - AP19(x,y) ⇒ A2(y)

AP21 contains
type: ObjectProperty
notation: AP21
preferred label: contains
domain: A2 Stratigraphic Volume Unit
range: E18 Physical Thing
inverse of: AP21i is contained in
comment: Quantification: one to many (0,n:0,1) Scope note: This property associates an E18 Physical Thing that is found within an A2 Stratigraphic Volume Unit with the stratigraphic volume unit. AP21 contains (is contained in) is a shortcut for the more detailed path from E18 Physical Thing through AP18i is embedded, A7 Embedding, AP19 is embedding in, A2 Stratigraphic Volume Unit. Examples: - A mediaeval rubbish dump in Oslo, Norway, (A2) contains a whetstone, discovered in the early morning in November 2017 in Oslo, Norway (E18). (Norwegian Institute for Cultural Heritage Research, 2017) In First Order Logic: - AP21(x,y) ⇒ A2(x) - AP21(x,y) ⇒ E18(y)

AP21i is contained in
type: ObjectProperty
notation: AP21i
preferred label: is contained in
domain: E18 Physical Thing
range: A2 Stratigraphic Volume Unit
inverse of: AP21 contains
comment: Quantification of the inverse property: one to many (0,n:0,1) Scope note of the inverse property: This property associates an E18 Physical Thing that is found within an A2 Stratigraphic Volume Unit with the stratigraphic volume unit. AP21 contains (is contained in) is a shortcut for the more detailed path from E18 Physical Thing through AP18i is embedded, A7 Embedding, AP19 is embedding in, A2 Stratigraphic Volume Unit. Examples of the inverse property: - A mediaeval rubbish dump in Oslo, Norway, (A2) contains a whetstone, discovered in the early morning in November 2017 in Oslo, Norway (E18). (Norwegian Institute for Cultural Heritage Research, 2017) In First Order Logic of the inverse property: - AP21(x,y) ⇒ A2(x) - AP21(x,y) ⇒ E18(y)

AP22 is equal in time to
type: ObjectProperty
notation: AP22
preferred label: is equal in time to
domain: E2 Temporal Entity
range: E2 Temporal Entity
sub property of: P175 starts before or with the start of
sub property of: P175i starts after or with the start of
sub property of: P184 ends before or with the end of
sub property of: P184i ends with or after the end of
comment: Quantification: many to many (0,n:0,n) Scope note: This property symmetrically identifies a situation in which the starting point and the ending point for an instance of E2 Temporal Entity is equal to the starting point and the ending point of another instance of E2 Temporal Entity, respectively. This property is only necessary if the time span is unknown (otherwise the equivalence can be calculated). This property is the same as the "equal" relationship of Allen’s temporal logic (Allen, 1983, pp. 832-843). This property is transitive. Examples: - The burning of the Temple of Artemis at Ephesus (E6) is equal in time to the birth of Alexander the Great E69 [on July 6, 356 BC as reported by Plutarch in Vitae Parallelae, III, 3]. (Plutarch, 1919) In First Order Logic: - AP22(x,y) ⇒ E2(x) - AP22(x,y) ⇒ E2(y) - AP22(x,y) ⇒ P175(x,y) - AP22(x,y) ⇒ P175i(x,y) - AP22(x,y) ⇒ P184(x,y) - AP22(x,y) ⇒ P184i(x,y)

AP23 finishes
type: ObjectProperty
notation: AP23
preferred label: finishes
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP23i is finished by
sub property of: P176i starts after the start of
sub property of: P184 ends before or with the end of
sub property of: P184i ends with or after the end of
comment: Quantification: many to many (0,n:0,n) Scope note: This property identifies a situation in which the ending point of an instance of E2 Temporal Entity is equal to the ending point of another temporal entity of longer duration. There is no causal relationship implied by this property. This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "finishes / finished-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). This property is transitive. Examples: - Late Bronze Age (E4) finishes Bronze Age (E4). In First Order Logic: - AP23(x,y) ⇒ E2(x) - AP23(x,y) ⇒ E2(y) - AP23(x,y) ⇒ P76i(x,y) - AP23(x,y) ⇒ P184(x,y) - AP23(x,y) ⇒ P184i(x,y)

AP23i is finished by
type: ObjectProperty
notation: AP23i
preferred label: is finished by
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP23 finishes
sub property of: P176 starts before the start of
sub property of: P184 ends before or with the end of
sub property of: P184i ends with or after the end of
comment: Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property identifies a situation in which the ending point of an instance of E2 Temporal Entity is equal to the ending point of another temporal entity of longer duration. There is no causal relationship implied by this property. This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "finishes / finished-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). This property is transitive. Examples of the inverse property: - Late Bronze Age (E4) finishes Bronze Age (E4). In First Order Logic of the inverse property: - AP23(x,y) ⇒ E2(x) - AP23(x,y) ⇒ E2(y) - AP23(x,y) ⇒ P76i(x,y) - AP23(x,y) ⇒ P184(x,y) - AP23(x,y) ⇒ P184i(x,y)

AP24 starts
type: ObjectProperty
notation: AP24
preferred label: starts
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP24i is started by
sub property of: P175 starts before or with the start of
sub property of: P175i starts after or with the start of
sub property of: P185 ends before the end of
comment: Quantification: many to many (0,n:0,n) Scope note: This property identifies a situation in which the starting point for an instance of E2 Temporal Entity is equal to the starting point of another instance of E2 Temporal Entity of longer duration. This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "starts / started-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). This property is transitive. Examples: - Early Bronze Age (E4) starts Bronze Age (E4). In First Order Logic: - AP24(x,y) ⇒ E2(x) - AP24(x,y) ⇒ E2(y) - AP24(x,y) ⇒ P175(x,y) - AP24(x,y) ⇒ P175i(x,y) - AP24(x,y) ⇒ P185(x,y)

AP24i is started by
type: ObjectProperty
notation: AP24i
preferred label: is started by
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP24 starts
sub property of: P175 starts before or with the start of
sub property of: P175i starts after or with the start of
sub property of: P185i ends after the end of
comment: Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property identifies a situation in which the starting point for an instance of E2 Temporal Entity is equal to the starting point of another instance of E2 Temporal Entity of longer duration. This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "starts / started-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). This property is transitive. Examples of the inverse property: - Early Bronze Age (E4) starts Bronze Age (E4). In First Order Logic of the inverse property: - AP24(x,y) ⇒ E2(x) - AP24(x,y) ⇒ E2(y) - AP24(x,y) ⇒ P175(x,y) - AP24(x,y) ⇒ P175i(x,y) - AP24(x,y) ⇒ P185(x,y)

AP25 occurs during
type: ObjectProperty
notation: AP25
preferred label: occurs during
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP25i includes
sub property of: P176i starts after the start of
sub property of: P185 ends before the end of
comment: Quantification: many to many (0,n:0,n) Scope note: This property identifies the situation in which the entire temporal extent of an instance of E2 Temporal Entity is within the temporal extent of another instance of E2 Temporal Entity that starts before and ends after the included temporal entity. This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "during / includes" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). This property is transitive. Examples: - Middle Saxon period (E4) occurs during Saxon period (E4). In First Order Logic: - AP25(x,y) ⇒ E2(x) - AP25(x,y) ⇒ E2(y) - AP25(x,y) ⇒ P176i(x,y) - AP25(x,y) ⇒ P185(x,y)

AP25i includes
type: ObjectProperty
notation: AP25i
preferred label: includes
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP25 occurs during
sub property of: P176 starts before the start of
sub property of: P185i ends after the end of
comment: Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property identifies the situation in which the entire temporal extent of an instance of E2 Temporal Entity is within the temporal extent of another instance of E2 Temporal Entity that starts before and ends after the included temporal entity. This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "during / includes" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). This property is transitive. Examples of the inverse property: - Middle Saxon period (E4) occurs during Saxon period (E4). In First Order Logic of the inverse property: - AP25(x,y) ⇒ E2(x) - AP25(x,y) ⇒ E2(y) - AP25(x,y) ⇒ P176i(x,y) - AP25(x,y) ⇒ P185(x,y)

AP26 overlaps in time with
type: ObjectProperty
notation: AP26
preferred label: overlaps in time with
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP26i is overlapped in time by
sub property of: P174i ends after the start of
sub property of: P176 starts before the start of
sub property of: P185 ends before the end of
comment: Quantification: many to many (0,n:0,n) Scope note: This property identifies a situation in which there is an overlap between the temporal extents of two instances of E2 Temporal Entity. It implies a temporal order between the two entities: if A overlaps in time B, then A must start before B, and B must end after A. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated). This property is the same as the "overlaps / overlapped-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). Examples: - The Iron Age (E4) overlaps in time with the Roman period (E4). In First Order Logic: - AP26(x,y) ⇒ E2(x) - AP26(x,y) ⇒ E2(y) - AP26(x,y) ⇒ P174i(x,y) - AP26(x,y) ⇒ P176(x,y) - AP26(x,y) ⇒ P185(x,y)

AP26i is overlapped in time by
type: ObjectProperty
notation: AP26i
preferred label: is overlapped in time by
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP26 overlaps in time with
sub property of: P174 starts before the end of
sub property of: P176i starts after the start of
sub property of: P185i ends after the end of
comment: Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property identifies a situation in which there is an overlap between the temporal extents of two instances of E2 Temporal Entity. It implies a temporal order between the two entities: if A overlaps in time B, then A must start before B, and B must end after A. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated). This property is the same as the "overlaps / overlapped-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). Examples of the inverse property: - The Iron Age (E4) overlaps in time with the Roman period (E4). In First Order Logic of the inverse property: - AP26(x,y) ⇒ E2(x) - AP26(x,y) ⇒ E2(y) - AP26(x,y) ⇒ P174i(x,y) - AP26(x,y) ⇒ P176(x,y) - AP26(x,y) ⇒ P185(x,y)

AP27 meets in time with
type: ObjectProperty
notation: AP27
preferred label: meets in time with
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP27i is met in time by
sub property of: P173i ends after or with the start of
sub property of: P182 ends before or with the start of
comment: Quantification: many to many (0,n:0,n) Scope note: This property identifies a situation in which one instance of E2 Temporal Entity immediately follows another instance of E2 Temporal Entity. It implies a particular order between the two entities: if A meets in time with B, then A must precede B. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated). This property is the same as the "meets / met-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). Examples: - Early Saxon Period (E4) meets in time with Middle Saxon Period (E4). In First Order Logic: - AP27(x,y) ⇒ E2(x) - AP27(x,y) ⇒ E2(y) - AP27(x,y) ⇒ P173i(x,y) - AP27(x,y) ⇒ P182(x,y)

AP27i is met in time by
type: ObjectProperty
notation: AP27i
preferred label: is met in time by
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP27 meets in time with
sub property of: P173 starts before or with the end of
sub property of: P182i starts after or with the end of
comment: Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property identifies a situation in which one instance of E2 Temporal Entity immediately follows another instance of E2 Temporal Entity. It implies a particular order between the two entities: if A meets in time with B, then A must precede B. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated). This property is the same as the "meets / met-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843). Examples of the inverse property: - Early Saxon Period (E4) meets in time with Middle Saxon Period (E4). In First Order Logic of the inverse property: - AP27(x,y) ⇒ E2(x) - AP27(x,y) ⇒ E2(y) - AP27(x,y) ⇒ P173i(x,y) - AP27(x,y) ⇒ P182(x,y)

AP28 occurs before
type: ObjectProperty
notation: AP28
preferred label: occurs before
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP28i occurs after
sub property of: P183 ends before the start of
comment: Quantification: many to many (0,n:0,n) Scope note: This property identifies the relative chronological sequence of two temporal entities. It implies that a temporal gap exists between the end of A and the start of B. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated). This property is the same as the "before / after" relationships of Allen’s temporal logic(Allen, 1983). This property is transitive. Examples: - Early Bronze Age (E4) occurs before Late Bronze age (E4). In First Order Logic: - AP28(x,y) ⇒ E2(x) - AP28(x,y) ⇒ E2(y) - AP28(x,y) ⇒ P183(x,y)

AP28i occurs after
type: ObjectProperty
notation: AP28i
preferred label: occurs after
domain: E2 Temporal Entity
range: E2 Temporal Entity
inverse of: AP28 occurs before
sub property of: P183i starts after the end of
comment: Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property identifies the relative chronological sequence of two temporal entities. It implies that a temporal gap exists between the end of A and the start of B. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated). This property is the same as the "before / after" relationships of Allen’s temporal logic(Allen, 1983). This property is transitive. Examples of the inverse property: - Early Bronze Age (E4) occurs before Late Bronze age (E4). In First Order Logic of the inverse property: - AP28(x,y) ⇒ E2(x) - AP28(x,y) ⇒ E2(y) - AP28(x,y) ⇒ P183(x,y)

AP29 appears in
type: ObjectProperty
notation: AP29
preferred label: appears in
domain: E55 Type
range: E4 Period
inverse of: AP29i has appearing type
comment: Quantification: many-to-many (0,n:0,n) Scope note: This property associates a kind of object (documented as an instance of E55 Type) with an instance of E4 Period indicating that objects of this kind have been brought into existence during this period. The genesis of such objects may be the result of human, biological, geological or other processes. This property makes a weak statement about the distribution of the associated object kind in the archaeological record: that is, if the genesis of an object of the type can plausibly be assumed to fall within the genesis of the context within which it was found, then this property supports reasoning, ceteris paribus, that the genesis period of the context forms part of, or overlaps with, one of the instances of E4 Period in which the respective object type has appeared. Such weak statements may also be useful in the context of geological or paleontological observations. Stronger claims can be made using the properties AP30 restricted to and AP31 typical for. Examples: - The “Cycladic” figurine type (E55) appears in the Early Cycladic period (E4). (Sotirakopoulou, 2005) In First Order Logic: - AP29(x,y) ⇒ E55(x) - AP29(x,y) ⇒ E4(y)

AP29i has appearing type
type: ObjectProperty
notation: AP29i
preferred label: has appearing type
domain: E4 Period
range: E55 Type
inverse of: AP29 appears in
comment: Quantification of the inverse property: many-to-many (0,n:0,n) Scope note of the inverse property: This property associates a kind of object (documented as an instance of E55 Type) with an instance of E4 Period indicating that objects of this kind have been brought into existence during this period. The genesis of such objects may be the result of human, biological, geological or other processes. This property makes a weak statement about the distribution of the associated object kind in the archaeological record: that is, if the genesis of an object of the type can plausibly be assumed to fall within the genesis of the context within which it was found, then this property supports reasoning, ceteris paribus, that the genesis period of the context forms part of, or overlaps with, one of the instances of E4 Period in which the respective object type has appeared. Such weak statements may also be useful in the context of geological or paleontological observations. Stronger claims can be made using the properties AP30 restricted to and AP31 typical for. Examples of the inverse property: - The “Cycladic” figurine type (E55) appears in the Early Cycladic period (E4). (Sotirakopoulou, 2005) In First Order Logic of the inverse property: - AP29(x,y) ⇒ E55(x) - AP29(x,y) ⇒ E4(y)

AP30 restricted to
type: ObjectProperty
notation: AP30
preferred label: restricted to
domain: E55 Type
range: E4 Period
inverse of: AP30i restricts appearance of
sub property of: AP29 appears in
comment: Quantification: many-to-many (0,n:0,n) Scope note: This property associates a kind of object (documented as an instance of E55 Type) with an instance of E4 Period indicating that objects of this kind have been generated exclusively in this period. This property makes a strong statement concerning the distribution of the associated object kind in the observed record: If the genesis of an object of this type can plausibly be assumed to fall within the genesis of the context in which it was found, then the statement made with this property would support reasoning, ceteris paribus, that the genesis period of the find context actually forms part of the related instance of E4 Period, or at least overlaps with it. In contrast, objects from previous periods may appear in a context because they are still in use, and objects from later periods may have been displaced into an older context. Weaker claims can be made using the properties AP29 appears in (gas appearing type) and AP31 typical for (has typical type). Examples: - The “Phylakopi I” and “Ayia Irini” (E55) types of Cycladic figurines are restricted to the Early Cycladic III period (E4). (Sotirakopoulou, 2005) In First Order Logic: - AP30(x,y) ∧ AP30(x,z) ⇒ P132(y,z)

AP30i restricts appearance of
type: ObjectProperty
notation: AP30i
preferred label: restricts appearance of
domain: E4 Period
range: E55 Type
inverse of: AP30 restricted to
sub property of: AP29i has appearing type
comment: Quantification of the inverse property: many-to-many (0,n:0,n) Scope note of the inverse property: This property associates a kind of object (documented as an instance of E55 Type) with an instance of E4 Period indicating that objects of this kind have been generated exclusively in this period. This property makes a strong statement concerning the distribution of the associated object kind in the observed record: If the genesis of an object of this type can plausibly be assumed to fall within the genesis of the context in which it was found, then the statement made with this property would support reasoning, ceteris paribus, that the genesis period of the find context actually forms part of the related instance of E4 Period, or at least overlaps with it. In contrast, objects from previous periods may appear in a context because they are still in use, and objects from later periods may have been displaced into an older context. Weaker claims can be made using the properties AP29 appears in (gas appearing type) and AP31 typical for (has typical type). Examples of the inverse property: - The “Phylakopi I” and “Ayia Irini” (E55) types of Cycladic figurines are restricted to the Early Cycladic III period (E4). (Sotirakopoulou, 2005) In First Order Logic of the inverse property: - AP30(x,y) ∧ AP30(x,z) ⇒ P132(y,z)

AP31 typical for
type: ObjectProperty
notation: AP31
preferred label: typical for
domain: E55 Type
range: E4 Period
inverse of: AP31i has typical type
sub property of: AP29 appears in
comment: Quantification: many-to-many (0,n:0,n) Scope note: This property associates a kind of object (documented as an instance of E55 Type) with an instance of E4 Period indicating that objects of this kind have been generated in this period in significantly greater numbers and in wider distributions, than in other periods. This property makes a moderate statement concerning the distribution of the associated object kind in the observed record: If a "sufficient number" of objects of this type are found in a context, and their genesis can plausibly be assumed to fall within the genesis of the find context, then the statement made with this property would support reasoning, ceteris paribus, that the genesis period of the find context is likely to form part of the related instance of E4 Period, or at least overlap with it. “Sufficient number” means that the density of objects of this kind in the find context is compatible with the general density that this kind of object had during the associated period in contexts of a comparable nature and deposition history. A stronger claim can be made using AP30 restricted to (restricts appearance of) while a weaker claim would use AP29 appears in (has appearing type). Examples: - The “violin-shaped” (E55) type of Cycladic figurines is typical for the Early Cycladic I period (E4). (Sotirakopoulou, 2005) In First Order Logic: - AP31(x,y) ⇒ E55(x) - AP31(x,y) ⇒ E4(y)

AP31i has typical type
type: ObjectProperty
notation: AP31i
preferred label: has typical type
domain: E4 Period
range: E55 Type
inverse of: AP31 typical for
sub property of: AP29i has appearing type
comment: Quantification of the inverse property: many-to-many (0,n:0,n) Scope note of the inverse property: This property associates a kind of object (documented as an instance of E55 Type) with an instance of E4 Period indicating that objects of this kind have been generated in this period in significantly greater numbers and in wider distributions, than in other periods. This property makes a moderate statement concerning the distribution of the associated object kind in the observed record: If a "sufficient number" of objects of this type are found in a context, and their genesis can plausibly be assumed to fall within the genesis of the find context, then the statement made with this property would support reasoning, ceteris paribus, that the genesis period of the find context is likely to form part of the related instance of E4 Period, or at least overlap with it. “Sufficient number” means that the density of objects of this kind in the find context is compatible with the general density that this kind of object had during the associated period in contexts of a comparable nature and deposition history. A stronger claim can be made using AP30 restricted to (restricts appearance of) while a weaker claim would use AP29 appears in (has appearing type). Examples of the inverse property: - The “violin-shaped” (E55) type of Cycladic figurines is typical for the Early Cycladic I period (E4). (Sotirakopoulou, 2005) In First Order Logic of the inverse property: - AP31(x,y) ⇒ E55(x) - AP31(x,y) ⇒ E4(y)

AP32 discarded into
type: ObjectProperty
notation: AP32
preferred label: discarded into
domain: A1 Excavation Processing Unit
range: S11 Amount of Matter
inverse of: AP32i was discarded by
comment: Quantification: many to many (0,n:0,n) Scope note: This property identifies the S11 Amount of Matter (e.g. a heap) into which material from an A1 Excavation Processing Unit is discarded. The same instance of A1 Excavation Processing Unit may discard matter into multiple heaps, but also simply throw away the excavated matter without any order or exported to be deposited elsewhere, thereby breaking any close correspondence between the excavation and the deposit. Examples: - The Excavation Processing Unit that excavated the Stratigraphic Volume Unit “(2)” (A1) discarded into the waste heap of the excavation (S11) –see Figure 4a. In First Order Logic: - AP32(x,y) ⇒ A1(x) - AP32(x,y) ⇒ S11(y)

AP32i was discarded by
type: ObjectProperty
notation: AP32i
preferred label: was discarded by
domain: S11 Amount of Matter
range: A1 Excavation Processing Unit
inverse of: AP32 discarded into
comment: Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property identifies the S11 Amount of Matter (e.g. a heap) into which material from an A1 Excavation Processing Unit is discarded. The same instance of A1 Excavation Processing Unit may discard matter into multiple heaps, but also simply throw away the excavated matter without any order or exported to be deposited elsewhere, thereby breaking any close correspondence between the excavation and the deposit. Examples of the inverse property: - The Excavation Processing Unit that excavated the Stratigraphic Volume Unit “(2)” (A1) discarded into the waste heap of the excavation (S11) –see Figure 4a. In First Order Logic of the inverse property: - AP32(x,y) ⇒ A1(x) - AP32(x,y) ⇒ S11(y)