CRMsci 2.0 / OWL
CRMsci Ontology 2.0 (March, 2023) including references to CIDOC-CRM 7.1.2
S1 Matter Removal
Matter Removal
Scope note: This class comprises the activities that result in an instance of S10 Material Substantial being decreased by the removal of an amount of matter. Typical scenarios include the removal of a component or piece of a physical object, removal of an archaeological or geological layer, taking a tissue sample from a body or a sample of fluid from a body of water. The removed matter may acquire a persistent identity of different nature beyond the act of its removal, such as becoming a physical object in the narrower sense. Such cases should be modeled by using multiple instantiation with adequate concepts of creating the respective items. Examples: - the removal of the layer of black overpainting that covered the background of ‘La Gioconda of the Prado’ between 2011 and 2012 by the Prado Museum in Madrid (S1) (Museo del Prado, 2012) In First Order Logic: - S1(x) ⇒ E7(x)
S2 Sample Taking
Sample Taking
Scope note: This class comprises the activity that results in taking an amount of matter as sample for further analysis from a material substantial such as a body of water, a geological formation or an archaeological object. The removed matter may acquire a persistent identity of different nature beyond the act of its removal, such as becoming a physical object in the narrower sense. The sample is typically removed from a physical feature which is used as a frame of reference, the place of sampling. In case of non-rigid Material Substantials, the source of sampling may regarded not to be modified by the activity of sample taking. Examples: - the water sampling carried out by IGME, sampled from borehole 10/G5 at 419058.03, 4506565 , 95.7 Mygdonia basin on 28/6/2005 (S2) (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - the collection of specimen ‘FHO – Benth. - 1055’ from a plant of the species ‘spiciformis’ in Zambia by Bullock, A.A. in 1939 (S2) - the collection of micro-sample 7, from the paint layer on the area of the apple shown on the painting ‘Cupid complaining to Venus’ (Cranach) by Joyce Plesters in June 1963 (S2) (The National Gallery, London, 1963) In First Order Logic: - S1(x) ⇒ S3(x)
S3 Measurement by Sampling
Measurement by Sampling
Scope note: This class comprises activities of taking a sample and measuring or analyzing it as one unit of activity, in which the sample is typically not identified and preserved beyond the context of this activity. Instances of this class describe the taking of one or more samples regardless whether they are explicitly identified in documentation or preserved beyond this activity. The dimensions observed by the respective measurement of this particular sample are regarded as dimensions of the instance of S10 Material Substantial at the place from which the samples were taken. Therefore, the class S3 Measurement by Sampling inherits the properties of S2 Sample Taking, O3 sampled from: S10 Material Substantial and O4 sampled at: E53 Place, and the properties of S21 Measurement O24 measured: S15 Observable Entity. It needs not instantiate the properties O5 removed: S13 Sample and O24 measured: S15 Observable Entity, if the sample is not documented beyond the context of the activity. Examples: - the chemical analysis 1 on 20/4/2004 which sampled from layer 50501 and observed 70 mg of Ca (S3) (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - the Sphaerosyllislevantina specimen length measurement on 12/3/1999 (S3) (Bekiari et al., 2014) - the measurement of retention times during Gas Chromatography analysis of a paint sample ‘mid-blue paint for the sky’ which identified Linseed oil as the paint medium (S3) (Foister, S, 2015) In First Order Logic: - S3(x) ⇒ S2(x) - S3(x) ⇒ S21(x)
S4 Observation
Observation
Scope note: This class comprises the activity of gaining scientific knowledge about particular states of physical reality through empirical evidence, experiments and measurements. We define observation in the sense of natural sciences, as a kind of human activity: at some place and within some time-span, certain physical things and their behavior and interactions are observed by human sensory impression, and often enhanced by tools and measurement devices. Observed situations or dimensions may pertain to properties confined to a single instance of S15 Observable Entity or pertain to constellations of multiple instances and relations between them, in particular distances between them. The output of the internal processes of measurement devices that do not require additional human interaction are in general regarded as part of the observation and not as additional inference. Primary data from measurement devices are regarded in this model to be results of observation and can be interpreted as propositions believed to be true within the (known) tolerances and degree of reliability of the device. Measurements and witnessing of events are special cases of observations. Observations result in a belief that certain propositions held at a time within the time-span of the observation. In this model, the degree of confidence in the observed properties is regarded to be “true” by default, but could be described differently by adding a property P3 has note to an instance of S4 Observation Examples: - the excavation of unit XI by the Archaeological Institute of Crete in 2004 (S4) - the excavation (S4) in the NE section of the central court of the Knossos palace by the Ephorate of Antiquities of Heraklion in 1997 (S4) (Επιστημονική Επιτροπή Κνωσού, 2008) - the observation of the density of the X-Ray image of cupid's head from the painting ‘Cupid complaining to Venus’ as ‘high density’, on the 19th of March 1963 (S4) (The National Gallery, London, 1963). - the observation of visible light absorption of the painting ‘Cupid complaining to Venus’ as ‘having red pigment’, in 2015 (S4) (Foister, 2015) In First Order Logic: - S4(x) ⇒ E13(x)
S5 Inference Making
Inference Making
Scope note: This class comprises the action of making propositions and statements about particular states of affairs in reality or in possible realities or categorical descriptions of reality by using inferences from other statements based on hypotheses and any form of formal or informal logic. It includes evaluations, calculations, and interpretations based on mathematical formulations and propositions. Examples: - the inference made by Sakellarakis in 1980 about the sacrifice of a young man in the Minoan temple of Anemospilia based on the skeleton found (and 2 more) in the west room of the temple and the ritual bronze knife on it and the hypothesis that he died from loss of blood (S5) [the evidence was that his bones remained white in contrast to the others] (Sakellarakis and Sapouna-Sakellaraki, 1981) - the inference that the underdrawing of the painting ‘Cupid complaining to Venus’ was done with red pigment, based on the observation that red pigment lines appear under the top paint layers (S5) (Foister, 2015) In First Order Logic: - S5(x) ⇒ E13(x)
S6 Data Evaluation
Data Evaluation
Scope note: This class comprises the action of concluding propositions on a respective reality from observational data by making evaluations based on mathematical inference rules and calculations using established hypotheses, such as the calculation of an earthquake epicenter. S6 Data Evaluation is not defined as S21/E16 Measurement; Secondary derivations of dimensions of an object from data measured by different processes are regarded as S6 Data Evaluation and not determining instances of Measurement in its own right. For instance, the volume of a statue concluded from a 3D model is an instance of S6 Data Evaluation and not of Measurement. Examples: - the calculation of the earthquake epicenter of Lokris area in 1989 by IGME (S6) (Ganas et al., 2006) - the calculation of the intensity distance and assignment of PGA_N using the gcf2sac software from the EPPO shock wave recording of 2/2/1990 in Athens (S6) (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - the calculation of the overall height of the statue of Hercules in the Temple of Hercules in Amman from the measurement of the size of the fragment of the fingers (S6) (‘Temple of Hercules (Amman)’, Wikipedia, 2022) In First Order Logic: - S6(x) ⇒ S5(x)
S7 Simulation or Prediction
Simulation or Prediction
Scope note: This class comprises activities of executing algorithms or software for simulating the behavior and the properties of a system of interacting components that form part of reality or not by using a mathematical model of the respective interactions. In particular it implies making predictions about the future behaviors of a system of interacting components of reality by starting simulation from an actually observed state, such as weather forecasts. Simulations may also be used to understand the effects of a theory, to compare theoretical predictions with reality, or to show differences with another theory. Examples: - the forecasting of the imminent flooding of Venice in November 2012 by the Hellenic Centre for Marine Research using the Poseidon Sea Level Forecast System, 72 hours before its actual occurrence (S7) (slide 18 in Kores et al., 2013) - predicting the required temperature to maintain a target RH(%) of 50 based on monthly average temperature and RH in Birmingham, UK (S7) [using the ‘Calculator for conservation heating’] (Padfield, no date) In First Order Logic: - S7(x) ⇒ S5(x)
S8 Categorical Hypothesis Building
Categorical Hypothesis Building
Scope note: This class comprises the action of making categorical hypotheses based on inference rules and theories; By categorical hypotheses we mean assumptions about the kinds of interactions and related kinds of structures of a domain that have the character of “laws” of nature or human behavior, be it necessary or probabilistic. Categorical hypotheses are developed by “induction” from finite numbers of observation and the absence of observations of particular kinds. As such, categorical hypotheses are always subject to falsification by new evidence. Instances of S8 Categorical Hypothesis Building include making and questioning categorical hypotheses. Examples: - hypothesising that “no binding before the 9(th) century is made with spine supports” by Szirmai (S8) [documented in section 7.1 and 7.2 of “The Archaeology of Medieval bookbinding”] (Szirmai, J.A. 1999) In First Order Logic: - S8(x) ⇒ S5(x)
S9 Property Type
Property Type
Scope note: This class comprises types of properties. Typically, instances of S9 Property Type would be taken from an ontology or terminological system. In particular, instances of this class can be used to describe in a parametric way what kind of properties the values in scientific data sets are about. By virtue of such descriptions, numeric data can be interpreted as sets of propositions in terms of a formal ontology, such as “concentration of nitrate”, observed in the ground water from a certain borehole. Examples: - the velocity (S9) (of a station that is observed, meaning a share-wave velocity over the first 30 m). (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - the retention time (S9) [in gas chromatography, meaning the time it takes for a component to pass through the chromatographer's column] (‘Gas chromatography’, Wikipedia, 2018) In First Order Logic: - S9(x) ⇒ E55(x)
S10 Material Substantial
Material Substantial
Scope note: This class comprises constellations of matter with a relative stability of any form sufficient to associate them with a persistent identity, such as being confined to certain extent, having a relative stability of form or structure, or containing a fixed amount of matter. In particular, it comprises physical things in the narrower sense and fluid bodies. It is an abstraction of physical substance for solid and non-solid things of matter. Examples: - the groundwater of the 5-22 basin of Central Macedonia (S10) (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - the Mesozoic carbonate sequence with flysch extracted from the area of Nafplion that was mapped and studied by Tattaris in 1970 (S10) (Photiades, 2010) - Parnassos, the limestone mountain (Strid, 1986) In First Order Logic: - S10(x) ⇒ E70(x)
S11 Amount of Matter
Amount of Matter
Scope note: This class comprises fixed amounts of matter specified as some air, some water, some soil, etc., defined by the total and integrity of their material content. In order to be able to identify and recognize in practice one instance of S11 Amount of Matter, some sort of confinement is needed that serves as a constraint for the enclosed matter and the integrity of the content, such as a bottle. In contrast to instances of E18 Physical Thing, no stability of form is required. The content may be put into another bottle without losing its identity. Subclasses may define very different identity conditions for the integrity of the content, such as chemical composition, or the sequence of layers of a bore core. Whereas an instance of E18 Physical Thing may gradually change form and chemical composition while preserving its identity, such as living beings, an instance of S11 Amount of Matter may lose its identifying features by such processes. What matters for the identity of an instance of S1 Amount of Matter is the preservation of a relevant composition from the initial state of definition onwards. Examples: - the mass of soil that was removed from sections 1, 2, 3 and 4 of the central building of Zominthos in order to be sieved, during the excavation in 2006 (S11) (Archaeological Institute of America, 2006) - the amount of natural cement (S11) that was added in a proportion of 5% in 2016 for the development of the sample of mortar in the laboratory of Ceramic, in Boumerdes University (Kelouaz et al., 2016) In First Order Logic: - S11(x) ⇒ S10(x)
S12 Amount of Fluid
Amount of Fluid
Scope note: This class comprises fixed amounts of fluid (be they gas or liquid) defined by the total of its material content, typically molecules. They frequently acquire identity in laboratory practice by the fact of being kept or handled together within some adequate containers. Examples: - J.K.’s blood sample 0019FCF5 for the measurement of the cholesterol blood level (fictitious) In First Order Logic: - S12(x) ⇒ S11(x) - S12(x) ⇒ S14(x)
S13 Sample
Sample
Scope note: This class comprises instances of S11 Amount of Matter taken from some instance of S10 Material Substantial with the intention to be representative for some material qualities of the instance of S10 Material Substantial or part of it was taken for further analysis. We typically regard a sample as ceasing to exist when the respective representative qualities become corrupted, such as the purity of a water sample or the layering of a bore core. Examples: - the ground water sample with ID 105293 that was extracted from the top level of the intake No32 under terrain (S13, S12) (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - the micro-sample 7, taken from the painting ‘Cupid complaining to Venus’ (Cranach) by Joyce Plesters in June, 1963 (S13) (The National Gallery, London, 1963) In First Order Logic: - S13(x) ⇒ S11(x)
S14 Fluid Body
Fluid Body
Scope note: This class comprises a mass of matter in fluid form environmentally constraint in some persistent form allowing for identifying it for the management or research of material phenomena, such as a part of the sea, a river, the atmosphere or the milk in a bottle. Fluids are generally defined by the continuity criterion which is characteristic of their substance: their amorphous matter is continuous and tends to flow. Therefore, contiguous amounts of matter within a fluid body may stay contiguous or at least be locally spatially confined for a sufficiently long time in order to be temporarily identified and traced. This is a much weaker concept of stability of form than the one we would apply to what one would call a physical object. In general, an instance of Fluid Body may gain or lose matter over time through so-called sources or sinks in its surface, in contrast to physical things, which may lose or gain matter by exchange of pieces such as spare parts or corrosion. Examples: - The Rhine River In First Order Logic: - S14(x) ⇒ S10(x)
S15 Observable Entity
Observable Entity
Scope note: This class comprises instances of E5 Event or S10 Material Substantial (i.e. items or phenomena, such as physical things, their behaviour, states and interactions or events), that can be observed by measurement or detection devices or by human sensory impression including when enhanced by tools. In order to be observable, instances of E5 Event must consist of some interaction or action of material substance. In some cases, the spatiotemporal confinement of the event itself, such as a flash, a car stopping etc. marks the limits of a documented observation of an event. In other cases, such as the situation of a car passing by a certain object, the spatiotemporal limits of the event of observing itself, as well as the direction of attention or the orientation of used instruments, may constrain the observed detail of a larger process, e.g., noticing the sight of a car passing by; a light emission, etc. Conceptual objects manifest through their carriers such as books, digital media, or even human memory. Attributes of conceptual objects, such as number of words, can be observed on their carriers. If the respective properties between carriers differ, either they carry different instances of conceptual objects or the difference can be attributed to accidental deficiencies in one of the carriers. In that sense even immaterial objects are observable. By this model we address the fact that frequently, the actually observed carriers of conceptual objects are not explicitly identified in documentation, i.e., they are assumed to have existed but they are unknown as individuals. Examples: - the domestic goose from Guangdong/1/1996 (H5N1) that was identified in 1996 in farmed geese in southern China as circulating highly pathogenic H5N1 (E20) (Wan, 2012) - the flight of a male Bearded Vulture observed near Loukia, Heraklion, Crete in the morning of the 24(th) of October 2020 (E5) [The Bearded Vulture (Gypaetus Barbatus) is a threatened species in Crete] (Claes, 2020) - the eruption of Krakatoa volcano at Indonesia in 1883 (E5) (Symons et al., 1888) - the cupid head area in the X-Ray of the painting ‘Cupid complaining to Venus’ (E25) (The National Gallery, London, 1963) In First Order Logic: - S15(x) ⇒ E1(x)
S17 Physical Genesis
Physical Genesis
Scope note: This class comprises events or processes that result in (generate) physical things, man-made or natural, coming into being in the form by which they are later identified. The creation of a new physical item, at the same time, can be a result of an alteration (modification) – it can become a new thing due to an alteration activity. Examples: - the desertification process that resulted in the spatial distribution of ‘tiger bush’ pattern on the gradually sloped terrain in Western Africa, as it was studied in 1994 (S17) (Thiery et al., 1995) - the corrosion process affecting my copper samples in the artificial aging salt-spray apparatus after 10 cycles which produced layers of cuprite and malachite (E12) In First Order Logic: - S17(x) ⇒ E63(x) - S17(x) ⇒ S18(x)
S18 Alteration
Alteration
Scope note: This class comprises natural events or man-made processes that create, alter or change physical things, by affecting permanently their form or consistency without changing their identity. Examples include alterations on depositional features-layers by natural factors or disturbance by roots or insects, organic alterations, petrification, etc. Examples: - the petrification process of the Lesvos forest related to the intense volcanic activity in Lesvos island during late Oligocene - middle Miocene period (S18) (Marinos, 1997) - the flattening of the Lanhydrock Pedigree parchment after humidification (E11) (Pickwoad, N., 2016) In First Order Logic: - S18(x) ⇒ E5(x)
S19 Encounter Event
Encounter Event
Scope note: This class comprises activities of S4 Observation (substance) where an E39 Actor encounters an instance of E18 Physical Thing of a kind relevant for the mission of the observation or regarded as potentially relevant for some community (identity). This observation produces knowledge about the existence of the respective thing at a particular place in or on surrounding matter. This knowledge may be new to the group of people the actor belongs to. In that case we would talk about a discovery. The observer may recognize or assign an individual identity of the thing encountered or regard only the type as noteworthy in the associated documentation or report. In archaeology there is a particular interest if an object is found “in situ”, i.e. if its embedding in the surrounding matter supports the assumption that the object was not moved since the archaeologically relevant deposition event. The surrounding matter with the relative position of the object in it as well as the absolute position and time of the observation may be recorded in order to enable inferences about the history of the object. In Biology, additional parameters may be recorded like the kind of ecosystem, if the biological individual survives the observation, what detection or catching devices have been used or if the encounter event supported the detection of a new biological kind (“taxon”). Examples: - the finding, by Prof. Stampolidis, of a complete skeleton, in situ, at the site of Eleutherna during the archaeological excavation carried out by the University of Crete in 2007 (S19) (Bonn-Muller, 2010) - the detection of lagocephalos_Sceleratus was carried out with the trawler 419 in the Mediteranean sea, during the first week of August 2014 (S19) (Bekiari et al., 2014) - the encounter of the marble floor of the Villa of the Papyri in Herculaneum during the digging of a well in 1750 (S19) (Sider, 1990, p. 536) - the encounter of oak planks from a ship during a dig in a mound at the farm Lille Oseberg in Norway in 1908 (S19) (Ferguson, 2009, p.10-11) In First Order Logic: - S19(x) ⇒ S4(x)
S20 Rigid Physical Feature
Rigid Physical Feature
Scope note: Any instance of this class is a physical feature with sufficient stability of form in itself and with respect to the physical object bearing it in order to associate a permanent reference space within which its form is invariant and at rest. The maximum volume in space that an instance of S20 Rigid Physical Feature occupies defines uniquely a place for the feature with respect to its surrounding matter. Therefore we model S20 Rigid Physical Feature as a subclass of E26 Physical Feature and of E53 Place. The latter is intended as a phenomenal place as defined in CRMgeo (Doerr and Hiebel 2013). By virtue of this multiple inheritance we can discuss positions relative to the extent of an instance of S20 Rigid Physical Feature without representing each instance of it together with an instance of its associated place. However, since the identity and existence of this place depends uniquely on the identity of the instance of S20 Rigid Physical Feature as matter, this multiple inheritance is unambiguous and effective and furthermore corresponds to the intuitions of natural language. It shortcuts an implicit self-referential path from E26 Physical Feature through P156 occupies, E53 Place, P157 is at rest relative to E26 Physical Feature. In cases of instances of S20 Rigid Physical Feature on or in the surface of earth, the default reference is typically fixed to the closer environment of the tectonic plate or sea floor. In cases of features on mobile objects, the reference space is typically fixed to the geometry of the bearing object. Note that the reference space associated with the instance of S20 Rigid Physical Feature may quite well be deformed over time, as long the continuity of its topology does not become unclear, such as the compression of dinosaur bones in geological layers, or the distortions of the hull of a ship by the waves of the sea. Defined in this way, the reference space can be used as a means to infer from current topological relationships past topological relationships of interest. Examples: - the temple in Abu Simbel before its removal, which was carved out of solid rock (‘Abu Simbel’, Wikipedia, 2022) - Albrecht Duerer's signature on his painting of Charles the Great (Germanisches Nationalmuseum, 2022) - the damaged form of the nose of the Great Sphinx in Giza (‘Great Sphinx of Giza’, Wikipedia, 2022) - the ‘Central Orygma’ (pit-house) which dominates the central part of the excavated area of the settlement of Mavropigi, representing phases I-III (Karamitrou-Mentessidi et al., 2015) - the top surface of the clay floor A11 [Heterogeneous, yellow to grey silty clay; clear, wavy lower boundary] (illu p. 1601, Croix et al, 2019) In First Order Logic: - S20(x) ⇒ E18(x) - S20(x) ⇒ E53(x)
S21 Measurement
Measurement
Scope note: This class comprises actions measuring instances of S15 Observable Entity, properties of physical things, or phenomena, states and interactions or events, that can be determined by a systematic procedure. Primary data from measurement devices are regarded to be results of an observation process. Examples: - the magnitude measurement of the earthquake of Mexico city in 2017. (S21) [It had the magnitude 6.2 Richter] (Mindock, 2017) - the sensor measurement by IGME in 1999 which measured the landslide displacement in the area of Parnitha, Greece. (S21) (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) In First Order Logic: - S21(x) ⇒ S4(x)
S22 Segment of Matter
Segment of Matter
Scope note: This class comprises physical features with relative stability of form and structure within a declared spatial volume of interest. The spatial extent of an instance of S22 Segment of Matter may be declared or defined by a researcher or observer usually because the arrangement and composition of substance is characteristic for the surrounding matter or can be interpreted as traces of its genesis and subsequent internal and external processes it was exposed to. The defining spatial extent is typically declared on a continuous matter by means of geometric determination without observable boundaries on all sides or any side. It may however be extracted at some point in time along the declared boundaries. An instance of S22 Segment of Matter is regarded to be existing from the time on it completely solidified with a structure that is still preserved in a recognizable way at the time of its spatial definition. Its existence is regarded to end when its respective integrity is partially or completely corrupted. Uncorrupted subsections of an instance of S22 Segment of Matter may continue to exist as segments of matter in their own right beyond the existence of the containing instance, and may have solidified before it. Typical examples are segments of archaeological or geological layers. They are regarded as uncorrupted even if they have undergone conformal deformations, such as compressions or shifts, as long as the effects of these deformations do not destroy the relevant structures of interest. This means that the defining spatial volume may be only geometrically valid for an instant of time for which it was declared, and undergo before and after deformations. In some cases, it may be possible to calculate the initial volume at the time of solidification, for instance for petrified bones compressed in Jurassic layers. Examples: - the clay floor A11 [Heterogeneous, yellow to grey silty clay; clear, wavy lower boundary] (illu p. 1601, Croix et al, 2019) In First Order Logic: - S22(x) ⇒ S20(x)
S23 Position Determination
Position Determination
Scope note: This class comprises activities of determining positions in space and time. The determined position is intended to approximate a part or all of the extent of the presence (instance of E93 Presence) of an instance of E18 Physical Thing or E4 Period of interest, such as the outer walls of an excavated settlement, the position of a ship sailing or the start and end of athlete's run in a competition. Characteristically, a theodolite or GPS device may be positioned on some persistent feature. Determining the position of the device will yield an approximation of the position of the feature of interest. Alternatively, some material item may be observed moving through a determined position at a given time. This class does not inherit properties from class S21 Measurement. A position determination is an evaluation of a combination of measurement of multiple associated distances and/or angles (instances of E54 Dimension) from a particular spot to certain reference points of previously known position in the same reference space. A particular role is played by the Earth's magnetic field and rotational axis as reference for an angle or direction. Often, the observed constituting dimensions are not documented, or hidden in an electronic device software. The determined position is given as an E94 Space Primitive corresponding to a declarative place. Together with the measured time-span covering the time-critical observations it forms a spacetime volume, which should normally overlap with the spatiotemporal extent of the thing or phenomenon of interest. Examples: - the determination of the position of the Titanic for the initial distress call after hitting an iceberg (S23) [The iceberg was hit on 14 April 1912 at 23:40 ship’s time. The subsequent position determination was likely done by Capt. Edward Smith and was transmitted 15 April 1912 at 00:27.] (Halpern, 2011) - the determination of the position of the Titanic by officer Joseph G. Boxhall after the initial distress signal was sent (S23) [done between 00:27 and 00:35, when Boxhall showed the coordinates to Smith] (Halpern, 2011) - the determination of the position of the Titanic by Robert Ballard's team after the Titanic ship-wreck was found (S23) (Ballard et al., 1987) - Samuel Halpern’s 2007 determination of the position of the Titanic at the time of the collision (S23) [based on the position of the ship-wreck] (Halpern, 2007) In First Order Logic: - S23(x) ⇒ S4(x) - S23(x) ⇒ (∃y,z) [E94(y) ∧ S15(z) ∧ O30 (x,y) ∧ O32 (x,z)]
S24 Sample Splitting
Sample Splitting
Scope note: This class comprises the activity of dividing an instance of S13 Sample into new instances of S13 Sample. This activity describes cases of sub-sampling where the resulting instance maintains the characteristic qualities of the original instance. Any observations of these qualities made on the new instance also apply to the original one. This class should be used to model cases of splitting a homogenous sample into multiple ones. Examples: - the activity of removing a part from the sample, which was originally taken from the tusk fragment GT993 by Godfrey et al. in 2000, in order to analyse it through ICP-AES analysis to reveal the composition of the original sample [A sample from a section of the tusk fragment GT993 which was originally found in the ship-wreck of Vergulde Draeck in Western Australia was taken. This sample was homogenous (ground to fine powder). Part of the sample was then removed for elemental analysis using inductively coupled plasma atomic emission spectrometry (ICP-AES). Another part was removed for carbon/nitrogen analysis using a LECO analyser.] (Godfrey et al., 2002) In First Order Logic: - S24(x) ⇒ S2(x)
O1 diminished
diminished
Quantification: many to many, necessary (1,n:0,n) Scope note: This property associates an instance of S1 Matter Removal with the instance of S10 Material Substantial that this activity diminished. Although an instance of S1 Matter Removal activity normally concerns only one item of S10 Material Substantial, it is possible to imagine circumstances under which more than one item might be diminished by a single Matter Removal activity. An instance S1 Matter Removal activity requires to diminish at least one item of S10 Material Substantial. This may be realized by any of the subproperties of O1 diminished. Therefore the instantiation of a particular subproperty of O1 diminished is not necessary. Examples: - The removal of the fill from the interior of the ‘tomb of Lagadas’ at Derveni Thessaloniki by the excavators in 1995 (S1) diminished the width of the cross-section of the burial chamber and the fill of the façade. (S10) (Papasotiriou et al., 2010). In First Order Logic: - O1(x,y) ⇒ S1(x) - O1(x,y) ⇒ S10(y)
O1i was diminished by
was diminished by
Quantification of the inverse property: many to many, necessary (1,n:0,n) Scope note of the inverse property: This property associates an instance of S1 Matter Removal with the instance of S10 Material Substantial that this activity diminished. Although an instance of S1 Matter Removal activity normally concerns only one item of S10 Material Substantial, it is possible to imagine circumstances under which more than one item might be diminished by a single Matter Removal activity. An instance S1 Matter Removal activity requires to diminish at least one item of S10 Material Substantial. This may be realized by any of the subproperties of O1 diminished. Therefore the instantiation of a particular subproperty of O1 diminished is not necessary. Examples of the inverse property: - The removal of the fill from the interior of the ‘tomb of Lagadas’ at Derveni Thessaloniki by the excavators in 1995 (S1) diminished the width of the cross-section of the burial chamber and the fill of the façade. (S10) (Papasotiriou et al., 2010). In First Order Logic of the inverse property: - O1(x,y) ⇒ S1(x) - O1(x,y) ⇒ S10(y)
O2 removed
removed
Quantification: many to many (0,n:0,n) Scope note: This property associates an instance of S1 Matter Removal with the instance of S11 Amount of Matter that it has removed. Examples: - The ‘La Gioconda of the Prado’ layer removal by the conservators of Prado Museum in Madrid (S1) removed the layer of black overpainting (S11) that covered the background of it (Museo del Prado, 2012) In First Order Logic: - O2(x,y) ⇒ S1(x) - O2(x,y) ⇒ S11(y) - O2(x,y) ⇒ O1(x,y)
O2i was removed by
was removed by
Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property associates an instance of S1 Matter Removal with the instance of S11 Amount of Matter that it has removed. Examples of the inverse property: - The ‘La Gioconda of the Prado’ layer removal by the conservators of Prado Museum in Madrid (S1) removed the layer of black overpainting (S11) that covered the background of it (Museo del Prado, 2012) In First Order Logic of the inverse property: - O2(x,y) ⇒ S1(x) - O2(x,y) ⇒ S11(y) - O2(x,y) ⇒ O1(x,y)
O3 sampled from
sampled from
Quantification: many to many, necessary (1,n:0,n) Scope note: This property associates an instance of S2 Sample Taking with the instance S10 Material Substantial from which a sample was taken. In particular, it may be a feature or a fluid body from which a sample was removed. Examples: - Water Sample Taking 74001(S2) sampled from the acquifer (S10) that overlaps with borehole 10/G5 (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - The collection (S2) of micro-sample 7, sampled from the painting (S10) ‘Cupid complaining to Venus’ (Cranach) by Joyce Plesters in June 1963 (The National Gallery, London, 1963). In First Order Logic: - O3(x,y) ⇒ S2(x) - O3(x,y) ⇒ S10(y) - O3(x,y) ⇒ O2(x,y)
O3i was sample by
was sample by
Quantification of the inverse property: many to many, necessary (1,n:0,n) Scope note of the inverse property: This property associates an instance of S2 Sample Taking with the instance S10 Material Substantial from which a sample was taken. In particular, it may be a feature or a fluid body from which a sample was removed. Examples of the inverse property: - Water Sample Taking 74001(S2) sampled from the acquifer (S10) that overlaps with borehole 10/G5 (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - The collection (S2) of micro-sample 7, sampled from the painting (S10) ‘Cupid complaining to Venus’ (Cranach) by Joyce Plesters in June 1963 (The National Gallery, London, 1963). In First Order Logic of the inverse property: - O3(x,y) ⇒ S2(x) - O3(x,y) ⇒ S10(y) - O3(x,y) ⇒ O2(x,y)
O4 sampled at
sampled at
Quantification: necessary one to many (1,1:0,n) Scope note: This property associates an instance of S2 Sample Taking with the instance of E53 Place ("spot") at which this activity sampled. It identifies the narrowest relevant area on the material substantial from which the sample was taken. This may be known or given in absolute terms or relative to an instance of the material substantial from which it was taken. If samples are taken from more than one spot, the sample taking activity must be documented by separate instances for each spot. The property P7 took place at, inherited from E4 Period, describes the position of the area in which the sampling activity occurred; this latter comprises the space within which operators and instruments were contained during the activity, and the sample taking spot. Examples: - Water Sample Taking 74001(S2) sampled at borehole 10/G5 at depth 0 which falls within the water district 10/G5 in Central Macedonia (E53) (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - The collection (S2) of micro-sample 7 (S13) sampled at the area of the apple (E53) shown on the painting ‘Cupid complaining to Venus’ (Cranach) (The National Gallery, London, 1963) In First Order Logic: - O4(x,y) ⇒ S2(x) - O4(x,y) ⇒ E53(y)
O4i was sampling location of
was sampling location of
Quantification of the inverse property: necessary one to many (1,1:0,n) Scope note of the inverse property: This property associates an instance of S2 Sample Taking with the instance of E53 Place ("spot") at which this activity sampled. It identifies the narrowest relevant area on the material substantial from which the sample was taken. This may be known or given in absolute terms or relative to an instance of the material substantial from which it was taken. If samples are taken from more than one spot, the sample taking activity must be documented by separate instances for each spot. The property P7 took place at, inherited from E4 Period, describes the position of the area in which the sampling activity occurred; this latter comprises the space within which operators and instruments were contained during the activity, and the sample taking spot. Examples of the inverse property: - Water Sample Taking 74001(S2) sampled at borehole 10/G5 at depth 0 which falls within the water district 10/G5 in Central Macedonia (E53) (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - The collection (S2) of micro-sample 7 (S13) sampled at the area of the apple (E53) shown on the painting ‘Cupid complaining to Venus’ (Cranach) (The National Gallery, London, 1963) In First Order Logic of the inverse property: - O4(x,y) ⇒ S2(x) - O4(x,y) ⇒ E53(y)
O5 removed
Quantification: many to many, necessary (1,n:0,n) Scope note: This property associates an instance of S2 Sample Taking with the instance of S13 Sample that was taken during the activity. Examples: - Lithology Sample Taking 201 (S2) removed sample 2B (S13) (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - The sampling (S2) undertaken by Joyce Plesters in June 1963 while she was working on the painting ‘Cupid complaining to Venus’ (Cranach), removed micro-sample 7 (S13) (The National Gallery, London, 1963). In First Order Logic: - O5(x,y) ⇒ S2(x) - O5(x,y) ⇒ S13(y) - O5(x,y) ⇒ O2(x,y)
O5i was removed by
Quantification of the inverse property: many to many, necessary (1,n:0,n) Scope note of the inverse property: This property associates an instance of S2 Sample Taking with the instance of S13 Sample that was taken during the activity. Examples of the inverse property: - Lithology Sample Taking 201 (S2) removed sample 2B (S13) (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - The sampling (S2) undertaken by Joyce Plesters in June 1963 while she was working on the painting ‘Cupid complaining to Venus’ (Cranach), removed micro-sample 7 (S13) (The National Gallery, London, 1963). In First Order Logic of the inverse property: - O5(x,y) ⇒ S2(x) - O5(x,y) ⇒ S13(y) - O5(x,y) ⇒ O2(x,y)
O6 is former or current part of
is former or current part of
Quantification: many to many (0,n:0,n) Scope note: This property associates an instance of S12 Amount of Fluid with an instance of S14 Fluid Body which formed or forms part of it. It allows instances of S14 Fluid Body to be analyzed into elements of S12 Amount of Fluid. Examples: - J.K.’s blood sample 0019FCF5 (S12) is former or current part of J.K.’s blood (S14) (fictitious) In First Order Logic: - O6(x,y) ⇒ S12(x) - O6(x,y) ⇒ S14(y)
O6i has former or current part
has former or current part
Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property associates an instance of S12 Amount of Fluid with an instance of S14 Fluid Body which formed or forms part of it. It allows instances of S14 Fluid Body to be analyzed into elements of S12 Amount of Fluid. Examples of the inverse property: - J.K.’s blood sample 0019FCF5 (S12) is former or current part of J.K.’s blood (S14) (fictitious) In First Order Logic of the inverse property: - O6(x,y) ⇒ S12(x) - O6(x,y) ⇒ S14(y)
O7 confines
confines
Quantification: many to many (0,n:0,n) Scope note: This property associates an instance of S20 Rigid Physical Feature with an instance of S10 Material Substantial that it partially or completely confines. It describes cases in which rigid features such as stratigraphic layers, walls, dams, riverbeds, etc. form the boundaries of some item such as another stratigraphic layer or the waters of a river. Examples: - The Stavros – Farsala artesian acquifer (S20) confines the overexploited groundwater of the area (S10) (Rozos et al., 2017) - The posthole (S20) confines the organic material (S10) identified in the 1997 analysis of the post holes of the structure 2 in the Tutu archaeological village site (Righter, 2002) - Borehole No1234 confines intake No5 (Lucchese et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013 Kritikos et al., 2013) In First Order Logic: - O7(x,y) ⇒ S20(x) - O7(x,y) ⇒ S10(y)
O7i is confined by
is confined by
Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property associates an instance of S20 Rigid Physical Feature with an instance of S10 Material Substantial that it partially or completely confines. It describes cases in which rigid features such as stratigraphic layers, walls, dams, riverbeds, etc. form the boundaries of some item such as another stratigraphic layer or the waters of a river. Examples of the inverse property: - The Stavros – Farsala artesian acquifer (S20) confines the overexploited groundwater of the area (S10) (Rozos et al., 2017) - The posthole (S20) confines the organic material (S10) identified in the 1997 analysis of the post holes of the structure 2 in the Tutu archaeological village site (Righter, 2002) - Borehole No1234 confines intake No5 (Lucchese et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013 Kritikos et al., 2013) In First Order Logic of the inverse property: - O7(x,y) ⇒ S20(x) - O7(x,y) ⇒ S10(y)
O8 observed
observed
Quantification: many to one, necessary (1,1:0,n) Scope note: This property associates an instance of S4 Observation with an instance of S15 Observable Entity that was observed. Specifically it describes that a thing, a feature, a phenomenon or its reaction is observed by an activity of Observation. Examples: - The engineers’ observation on the slope of Panagopoula coastal site, near Patras, on the 25th–26th April 1971 and the 3rd May 1971(S4) observed the rotational landslide at the same site (S15) (Tavoularis et al., 2017). - The survey (S4) of Sinai MS GREEK 418 observed a detached triple-braided clasp strap (S15) (Honey and Pickwoad, 2010). In First Order Logic: - O8(x,y) ⇒ S4(x) - O8(x,y) ⇒ S15(y) - O8(x,y) ⇒ P140(x,y)
O8i was observed by
was observed by
Quantification of the inverse property: many to one, necessary (1,1:0,n) Scope note of the inverse property: This property associates an instance of S4 Observation with an instance of S15 Observable Entity that was observed. Specifically it describes that a thing, a feature, a phenomenon or its reaction is observed by an activity of Observation. Examples of the inverse property: - The engineers’ observation on the slope of Panagopoula coastal site, near Patras, on the 25th–26th April 1971 and the 3rd May 1971(S4) observed the rotational landslide at the same site (S15) (Tavoularis et al., 2017). - The survey (S4) of Sinai MS GREEK 418 observed a detached triple-braided clasp strap (S15) (Honey and Pickwoad, 2010). In First Order Logic of the inverse property: - O8(x,y) ⇒ S4(x) - O8(x,y) ⇒ S15(y) - O8(x,y) ⇒ P140(x,y)
O9 observed property type
observed property type
Quantification: one to one (1,1:0,n) Scope note: This property associates an instance of S4 Observation with the instance of S9 Property Type for which the observation provides a value or evidence, such as “concentration of nitrate” observed in the water from a particular borehole. Encoding the observed property by type, observed entity and value (properties O9, O10, O16) is a method to circumscribe the reification of the observed property by the respective instance of S4 Observation. In an RDFS encoding, this circumscription can be transformed into an explicit representation of the observed property in terms of a formal ontology either by use of a reification construct or by the use of a Named Graph containing the observed property. The latter representation allows for more formal reasoning with the model, the former is more flexible about the kinds of observations. Examples: - The seismic hazard analysis and recording by EPPO in 1990 (S4), in the area of Attiki observed property type share wave velocity (S9) and recorded it (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - The Gas Chromatography analysis (S4) of the sample ‘mid-blue paint from the sky’ observed property type retention time (S9). (Foister, 2015) In First Order Logic: - O9(x,y) ⇒ S4(x) - O9(x,y) ⇒ S9(y) - O9(x,y) ⇒ P177(x,y)
O9i property type was observed by
property type was observed by
Quantification of the inverse property: one to one (1,1:0,n) Scope note of the inverse property: This property associates an instance of S4 Observation with the instance of S9 Property Type for which the observation provides a value or evidence, such as “concentration of nitrate” observed in the water from a particular borehole. Encoding the observed property by type, observed entity and value (properties O9, O10, O16) is a method to circumscribe the reification of the observed property by the respective instance of S4 Observation. In an RDFS encoding, this circumscription can be transformed into an explicit representation of the observed property in terms of a formal ontology either by use of a reification construct or by the use of a Named Graph containing the observed property. The latter representation allows for more formal reasoning with the model, the former is more flexible about the kinds of observations. Examples of the inverse property: - The seismic hazard analysis and recording by EPPO in 1990 (S4), in the area of Attiki observed property type share wave velocity (S9) and recorded it (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) - The Gas Chromatography analysis (S4) of the sample ‘mid-blue paint from the sky’ observed property type retention time (S9). (Foister, 2015) In First Order Logic of the inverse property: - O9(x,y) ⇒ S4(x) - O9(x,y) ⇒ S9(y) - O9(x,y) ⇒ P177(x,y)
O10 assigned dimension
assigned dimension
Quantification: many to many, necessary (1,n:0,n) Scope note: This property associates an instance of S6 Data Evaluation with an instance of E54 Dimension that a data evaluation activity has assigned. In that case, dimensions may be determined by making evaluations on observational data based on mathematical inference rules and calculations. Examples: - The shock wave recording (S6) carried out by EPPO in 1999 assigned dimension PSA_10(E54) [The dimension had value 0.0008.] (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) In First Order Logic: - O10(x,y) ⇒ S6(x) - O10(x,y) ⇒ E54(y)
O10i dimension was assigned by
dimension was assigned by
Quantification of the inverse property: many to many, necessary (1,n:0,n) Scope note of the inverse property: This property associates an instance of S6 Data Evaluation with an instance of E54 Dimension that a data evaluation activity has assigned. In that case, dimensions may be determined by making evaluations on observational data based on mathematical inference rules and calculations. Examples of the inverse property: - The shock wave recording (S6) carried out by EPPO in 1999 assigned dimension PSA_10(E54) [The dimension had value 0.0008.] (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) In First Order Logic of the inverse property: - O10(x,y) ⇒ S6(x) - O10(x,y) ⇒ E54(y)
O11 described
described
Quantification: many to many, necessary (1,n:0,n) Scope note: This property associates an instance of S6 Data Evaluation with an instance of S15 Observable Entity for which a data evaluation activity provides a description. This description of any Observable Entity is based on data evaluations. Examples: - The quantitative analysis of Munsell colour data carried out by C.T. Brown in 1999 in Yukatan, Mexico (S6) described the slipped sherds of Mayapan period ceramics (S15) (Ruck and Brown, 2015). - The linear extrapolation of overall figure height from the size of the fingers (S6) described the statue of Hercules (S15) [The statue is located in Amman] (‘Temple of Hercules (Amman)’, Wikipedia, 2022). In First Order Logic: - O11(x,y) ⇒ S6(x) - O11(x,y) ⇒ S15(y)
O11i was described by
was described by
Quantification of the inverse property: many to many, necessary (1,n:0,n) Scope note of the inverse property: This property associates an instance of S6 Data Evaluation with an instance of S15 Observable Entity for which a data evaluation activity provides a description. This description of any Observable Entity is based on data evaluations. Examples of the inverse property: - The quantitative analysis of Munsell colour data carried out by C.T. Brown in 1999 in Yukatan, Mexico (S6) described the slipped sherds of Mayapan period ceramics (S15) (Ruck and Brown, 2015). - The linear extrapolation of overall figure height from the size of the fingers (S6) described the statue of Hercules (S15) [The statue is located in Amman] (‘Temple of Hercules (Amman)’, Wikipedia, 2022). In First Order Logic of the inverse property: - O11(x,y) ⇒ S6(x) - O11(x,y) ⇒ S15(y)
O12 has dimension
has dimension
Quantification: one to many, dependent (0,n:1,1) Scope note: This property associates an instance of S15 Observable Entity with an instance of E54 Dimension that the observable entity has. It offers no information about how and when an E54 Dimension was established. In case the instance of S15 Observable Entity is more specifically an instance of E18 Physical Thing, using the property O12 has dimension (is dimension of) is equivalent to using the property P43 has dimension (is dimension of). In other words, using the one implies the other. Examples: - The earthquake of Mexico city in 2017 (E7) has dimension magnitude 6.2 Richter (Mindock, 2017). - The landslide that was activated in Parnitha in 1999 after the earthquake (E26), has dimension crest length > 70 (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) In First Order Logic: - O12(x,y) ⇒ S15(x) - O12(x,y) ⇒ E54(y) - [O12(x,y) ∧ E18(x)] ⇒ P43(x,y) - [P43(x,y) ∧ E18(x)] ⇒ O12(x,y)
O12i is dimension of
is dimension of
Quantification of the inverse property: one to many, dependent (0,n:1,1) Scope note of the inverse property: This property associates an instance of S15 Observable Entity with an instance of E54 Dimension that the observable entity has. It offers no information about how and when an E54 Dimension was established. In case the instance of S15 Observable Entity is more specifically an instance of E18 Physical Thing, using the property O12 has dimension (is dimension of) is equivalent to using the property P43 has dimension (is dimension of). In other words, using the one implies the other. Examples of the inverse property: - The earthquake of Mexico city in 2017 (E7) has dimension magnitude 6.2 Richter (Mindock, 2017). - The landslide that was activated in Parnitha in 1999 after the earthquake (E26), has dimension crest length > 70 (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) In First Order Logic of the inverse property: - O12(x,y) ⇒ S15(x) - O12(x,y) ⇒ E54(y) - [O12(x,y) ∧ E18(x)] ⇒ P43(x,y) - [P43(x,y) ∧ E18(x)] ⇒ O12(x,y)
O13 triggered
triggered
Quantification: many to many (0,n:0,n) Scope note: This property associates an instance of E5 Event that triggered another instance of E5 Event with the latter. It identifies the interaction between events: an event can activate (trigger) other events in a target system that is in a situation of sustained tension, such as a trap or an unstable mountain slope giving way to a land slide after a rain or earthquake. In that sense the triggering event is interpreted as a cause. However, the association of the two events is based on their temporal proximity, with the triggering event ending when the triggered event starts. Examples: - The earthquake of Parnitha in 1999 (E5) triggered the rotational landslide that was observed along the road on the same day (E5). (fictitious) - The explosion at the Montserrat massif in 2007 (E5) (near Barcelona, Spain) triggered the rock fall event (E5) which happened on 2007-02-14 (Vilajosana et al., 2008). - The 1966 flood in Florence (E5) triggered mould growth on books (E5) stored in flooded library rooms (Rubinstein, N., 1966) In First Order Logic: - O13(x,y) ⇒ E5(x) - O13(x,y) ⇒ E5(y) - O13(x,y) ⇒ P182(x,y)
O13i was triggered by
was triggered by
Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property associates an instance of E5 Event that triggered another instance of E5 Event with the latter. It identifies the interaction between events: an event can activate (trigger) other events in a target system that is in a situation of sustained tension, such as a trap or an unstable mountain slope giving way to a land slide after a rain or earthquake. In that sense the triggering event is interpreted as a cause. However, the association of the two events is based on their temporal proximity, with the triggering event ending when the triggered event starts. Examples of the inverse property: - The earthquake of Parnitha in 1999 (E5) triggered the rotational landslide that was observed along the road on the same day (E5). (fictitious) - The explosion at the Montserrat massif in 2007 (E5) (near Barcelona, Spain) triggered the rock fall event (E5) which happened on 2007-02-14 (Vilajosana et al., 2008). - The 1966 flood in Florence (E5) triggered mould growth on books (E5) stored in flooded library rooms (Rubinstein, N., 1966) In First Order Logic of the inverse property: - O13(x,y) ⇒ E5(x) - O13(x,y) ⇒ E5(y) - O13(x,y) ⇒ P182(x,y)
O15 occupied
occupied
Scope note: This property associates an instance of S10 Material Substantial with the instance of E53 Place that this substance occupied. It describes the space filled (occupied) by a physical matter. This property is the development of the shortcut expressed in the proposition of classification: “S20 Physical Feature” isA “E53 Place”. This property is equivalent to P156 occupies (is occupied by) with domain E18 Physical Thing and range E53 Place. Examples: - The layer of pink plaster that occupied the block 30 floor of the area X. on 2009-02-03. [The plaster covered the floor] (fictitious) In First Order Logic: - O15(x,y) ⇒ S10(x) - O15(x,y) ⇒ E53(y) - O15(x,y) ∧ E18(x) ⇔ P156(x,y)
O15i was occupied by
was occupied by
Scope note of the inverse property: This property associates an instance of S10 Material Substantial with the instance of E53 Place that this substance occupied. It describes the space filled (occupied) by a physical matter. This property is the development of the shortcut expressed in the proposition of classification: “S20 Physical Feature” isA “E53 Place”. This property is equivalent to P156 occupies (is occupied by) with domain E18 Physical Thing and range E53 Place. Examples of the inverse property: - The layer of pink plaster that occupied the block 30 floor of the area X. on 2009-02-03. [The plaster covered the floor] (fictitious) In First Order Logic of the inverse property: - O15(x,y) ⇒ S10(x) - O15(x,y) ⇒ E53(y) - O15(x,y) ∧ E18(x) ⇔ P156(x,y)
O16 observed value
observed value
Quantification: many to one, necessary (1,1:0,n) Scope note: This property associates a value assigned to an entity observed by S4 Observation. Examples: - The surface survey at the bronze age site of Mitrou in east Lokris carried out by Cornell University in 1989 (S4) observed value 600 (of sherds) (E1) (Kramer-Hajos and O’Neill, 2008). In First Order Logic: - O16(x,y) ⇒ S4(x) - O16(x,y) ⇒ E1(y) - O16(x,y) ⇒ P141(x,y)
O16i value was observed by
value was observed by
Quantification of the inverse property: many to one, necessary (1,1:0,n) Scope note of the inverse property: This property associates a value assigned to an entity observed by S4 Observation. Examples of the inverse property: - The surface survey at the bronze age site of Mitrou in east Lokris carried out by Cornell University in 1989 (S4) observed value 600 (of sherds) (E1) (Kramer-Hajos and O’Neill, 2008). In First Order Logic of the inverse property: - O16(x,y) ⇒ S4(x) - O16(x,y) ⇒ E1(y) - O16(x,y) ⇒ P141(x,y)
O17 generated
generated
Quantification: one to many, necessary (1,n:0,1) Scope note: This property associates an instance of S17 Physical Genesis event with an instance of E18 Physical Thing that the event generated. Examples: - The landslide of Parnitha in 1999 generated the head of the landslide feature. (fictitious) - The mud flow in the western region of Thessaly million years ago generated the deposits of solidified mud with irregular surface in the area. (fictitious) - The introduction of my copper samples in the salt-spray apparatus (S17) generated new corrosion layers of cuprite and malachite (E18). (Velios, 1998)
O17i was generated by
was generated by
Quantification of the inverse property: one to many, necessary (1,n:0,1) Scope note of the inverse property: This property associates an instance of S17 Physical Genesis event with an instance of E18 Physical Thing that the event generated. Examples of the inverse property: - The landslide of Parnitha in 1999 generated the head of the landslide feature. (fictitious) - The mud flow in the western region of Thessaly million years ago generated the deposits of solidified mud with irregular surface in the area. (fictitious) - The introduction of my copper samples in the salt-spray apparatus (S17) generated new corrosion layers of cuprite and malachite (E18). (Velios, 1998)
O18 altered
altered
Quantification: many to many, necessary (1,n:0,n) Scope note: This property associates an instance of S18 Alteration process with an instance of E18 Physical Thing which was altered by this activity. Examples: - The death of the trees caused by beetle infestation in 1995 (S18), altered the Brazilian forest (E18) (Paine, 2008). - The application of tension (S18) altered the humidified parchment of the Lanhydrock Pedigree (E18) (Pickwoad, 2010). In First Order Logic: - O18(x,y) ⇒ S18(x) - O18(x,y) ⇒ E18(y)
O18i was altered by
was altered by
Quantification of the inverse property: many to many, necessary (1,n:0,n) Scope note of the inverse property: This property associates an instance of S18 Alteration process with an instance of E18 Physical Thing which was altered by this activity. Examples of the inverse property: - The death of the trees caused by beetle infestation in 1995 (S18), altered the Brazilian forest (E18) (Paine, 2008). - The application of tension (S18) altered the humidified parchment of the Lanhydrock Pedigree (E18) (Pickwoad, 2010). In First Order Logic of the inverse property: - O18(x,y) ⇒ S18(x) - O18(x,y) ⇒ E18(y)
O19 encountered object
encountered object
Quantification: many to many, necessary (1,n:0,n) Scope note: This property associates an instance of S19 Encounter Event with an instance of E18 Physical Thing that was encountered or observed as present during the event. Examples: - The encounter of a marble floor during the digging of a well in 1750 (S19) encountered object the Villa of the Papyri in Herculaneum (E18). (Sider, 1990, p. 536) - The encounter of oak planks from a ship during a dig in a mound at the farm Lille Oseberg in Norway, in 1904 (S19) encountered object the Oseberg Ship (E18). (Ferguson, 2009, p.10-11) In First Order Logic: - O19(x,y) ⇒ S19(x) - O19(x,y) ⇒ E18(y) - O19(x,y) ⇒ (∃z)[ E53(z) ∧ O21(x,z)]
O19i was object encountered through
was object encountered through
Quantification of the inverse property: many to many, necessary (1,n:0,n) Scope note of the inverse property: This property associates an instance of S19 Encounter Event with an instance of E18 Physical Thing that was encountered or observed as present during the event. Examples of the inverse property: - The encounter of a marble floor during the digging of a well in 1750 (S19) encountered object the Villa of the Papyri in Herculaneum (E18). (Sider, 1990, p. 536) - The encounter of oak planks from a ship during a dig in a mound at the farm Lille Oseberg in Norway, in 1904 (S19) encountered object the Oseberg Ship (E18). (Ferguson, 2009, p.10-11) In First Order Logic of the inverse property: - O19(x,y) ⇒ S19(x) - O19(x,y) ⇒ E18(y) - O19(x,y) ⇒ (∃z)[ E53(z) ∧ O21(x,z)]
O20 sampled from type of part
sampled from type of part
Quantification: many to many (0,n:0,n) Scope note: This property associates the activity of a Sample Taking with the type of the location part from which a sample was taken. It is a shortcut of the property O4 sampled at, and it is used as an alternative property, identifying features and material substantial as types of parts of sampling positions. Examples: - The sampling (S2) of tissue for DNA analysis of human remains in an archaeological site, sampled from type of part molar tooth (E55). (fictitious) - The sampling (S2) undertaken by Joyce Plesters in June 1963 while she was working on the painting ‘Cupid complaining to Venus’ (Cranach), sampled from type of part paint (E55). (The National Gallery, London, 1963) In First Order Logic: - O20(x,y) ⇒ S2(x) - O20(x,y) ⇒ E55(y)
O20i type of part was sampled by
type of part was sampled by
Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property associates the activity of a Sample Taking with the type of the location part from which a sample was taken. It is a shortcut of the property O4 sampled at, and it is used as an alternative property, identifying features and material substantial as types of parts of sampling positions. Examples of the inverse property: - The sampling (S2) of tissue for DNA analysis of human remains in an archaeological site, sampled from type of part molar tooth (E55). (fictitious) - The sampling (S2) undertaken by Joyce Plesters in June 1963 while she was working on the painting ‘Cupid complaining to Venus’ (Cranach), sampled from type of part paint (E55). (The National Gallery, London, 1963) In First Order Logic of the inverse property: - O20(x,y) ⇒ S2(x) - O20(x,y) ⇒ E55(y)
O21 encountered at
encountered at
Quantification: many to many, necessary (1,n:0,n) Scope note: This property associates an instance of S19 Encounter Event with an instance of E53 Place at which the things, which were encountered, were observed to be present. This may be given in absolute terms or in terms relative to the observed thing. The associated place must be within the boundaries of the E53 Place at which the S19 Encounter Event took place, if that has been given. Note, that the encountered object may be larger and extend beyond the place of encounter, such as a corner of a building being excavated. Examples: - The encounter of the Oseberg Ship in 1904 (S19) encountered at the farm Lille Oseberg in Norway (E53). (Ferguson, 2009, p.10-11) In First Order Logic: - O21(x,y) ⇒ S19(x) - O21(x,y) ⇒ E53(y) - O21(x,y) ⇒ (∃z)[ E53(z) ∧ P161(x,z) ∧ P89(y,z)] - O21(x,y) ⇒ (∃z,v,w)[ E93(w) ∧ E18(z) ∧ E52(v) ∧ O19(x,z) ∧ P195(w,z) ∧ P4(x,v) ∧ P164(w,v) ∧ P197(w,y)]
O21i witnessed encounter
witnessed encounter
Quantification of the inverse property: many to many, necessary (1,n:0,n) Scope note of the inverse property: This property associates an instance of S19 Encounter Event with an instance of E53 Place at which the things, which were encountered, were observed to be present. This may be given in absolute terms or in terms relative to the observed thing. The associated place must be within the boundaries of the E53 Place at which the S19 Encounter Event took place, if that has been given. Note, that the encountered object may be larger and extend beyond the place of encounter, such as a corner of a building being excavated. Examples of the inverse property: - The encounter of the Oseberg Ship in 1904 (S19) encountered at the farm Lille Oseberg in Norway (E53). (Ferguson, 2009, p.10-11) In First Order Logic of the inverse property: - O21(x,y) ⇒ S19(x) - O21(x,y) ⇒ E53(y) - O21(x,y) ⇒ (∃z)[ E53(z) ∧ P161(x,z) ∧ P89(y,z)] - O21(x,y) ⇒ (∃z,v,w)[ E93(w) ∧ E18(z) ∧ E52(v) ∧ O19(x,z) ∧ P195(w,z) ∧ P4(x,v) ∧ P164(w,v) ∧ P197(w,y)]
O23 is defined by
is defined by
Quantification: many to one, necessary (1,1:0,n) Scope note: This property identifies the E92 Spacetime Volume that defines a S22 Segment of Matter. The spatial boundaries of the E92 Spacetime Volume are defined through S4 Observation or declaration while the temporal boundaries are confined by S18 Alteration events. Examples: - The accumulation zone (S22) of the landslide is defined by the evolution of the landslide of Santomerion village in 2008 (E92) (Litoseliti et al., 2014). In First Order Logic: - O23(x,y) ⇒ S22(x) - O23(x,y) ⇒ E92(y)
O23i defines
defines
Quantification of the inverse property: many to one, necessary (1,1:0,n) Scope note of the inverse property: This property identifies the E92 Spacetime Volume that defines a S22 Segment of Matter. The spatial boundaries of the E92 Spacetime Volume are defined through S4 Observation or declaration while the temporal boundaries are confined by S18 Alteration events. Examples of the inverse property: - The accumulation zone (S22) of the landslide is defined by the evolution of the landslide of Santomerion village in 2008 (E92) (Litoseliti et al., 2014). In First Order Logic of the inverse property: - O23(x,y) ⇒ S22(x) - O23(x,y) ⇒ E92(y)
O24 measured
measured
Quantification: many to one, necessary (1,1:0,n) Scope note: This property associates an instance of S21 Measurement with the instance of S15 Observable Entity to which it applied. An instance of S15 Observable Entity may be measured more than once. Material and immaterial things and processes may be measured, e.g. the number of words in a text, or the duration of an event. Examples: - The sensor measurement by IGME in 1999 (S21) measured the landslide displacement (S15) in the area of Parnitha (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) In First Order Logic: - O24(x,y) ⇒ S21(x) - O24(x,y) ⇒ S15(y) - O24(x,y) ⇒ O8(x,y)
O24i was measured by
was measured by
Quantification of the inverse property: many to one, necessary (1,1:0,n) Scope note of the inverse property: This property associates an instance of S21 Measurement with the instance of S15 Observable Entity to which it applied. An instance of S15 Observable Entity may be measured more than once. Material and immaterial things and processes may be measured, e.g. the number of words in a text, or the duration of an event. Examples of the inverse property: - The sensor measurement by IGME in 1999 (S21) measured the landslide displacement (S15) in the area of Parnitha (Lucchese et al., 2013; Kritikos et al., 2013; InGeoCloudS, 2012; InGeoCloudS, 2013) In First Order Logic of the inverse property: - O24(x,y) ⇒ S21(x) - O24(x,y) ⇒ S15(y) - O24(x,y) ⇒ O8(x,y)
O25 contains
contains
Quantification: many to many (0,n:0,n) Scope note: This property describes that an instance of S10 Material Substantial was or is contained in another instance of S10 Material Substantial regardless of whether the identity of the involved instances is based on the persistence of the form of material or on material substance that may change form. Examples: - The opal specimen from Jalisco in Mexico (E18) contains the fluid inclusion of the specimen (S14). (Rentro, 2019) In First Order Logic: - O25(x,y) ⇒ E18(x) - O25(x,y) ⇒ E18(y)
O25i is contained in
is contained in
Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property describes that an instance of S10 Material Substantial was or is contained in another instance of S10 Material Substantial regardless of whether the identity of the involved instances is based on the persistence of the form of material or on material substance that may change form. Examples of the inverse property: - The opal specimen from Jalisco in Mexico (E18) contains the fluid inclusion of the specimen (S14). (Rentro, 2019) In First Order Logic of the inverse property: - O25(x,y) ⇒ E18(x) - O25(x,y) ⇒ E18(y)
O27 split
split
Quantification: many to many (0,n:0,n) Scope note: This property associates an instance of S24 Sample Splitting with the instance of S13 Sample which is the original sample being split. Examples: - The subsampling activity by Godfrey et al. in 2000 (S24) split the homogenous Sample (S13). [Part of the finely ground sample from fragment GT993 was taken to be used in ICP-AES analysis.] (Godfrey et al., 2002) In First Order Logic: - O27(x,y) ⇒ S24(x) - O27(x,y) ⇒ S13(y)
O27i was source for
was source for
Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property associates an instance of S24 Sample Splitting with the instance of S13 Sample which is the original sample being split. Examples of the inverse property: - The subsampling activity by Godfrey et al. in 2000 (S24) split the homogenous Sample (S13). [Part of the finely ground sample from fragment GT993 was taken to be used in ICP-AES analysis.] (Godfrey et al., 2002) In First Order Logic of the inverse property: - O27(x,y) ⇒ S24(x) - O27(x,y) ⇒ S13(y)
O28 is conceptually greater than
is conceptually greater than
Quantification: many to many (0,n:0,n) Scope note: This property allows an instance of E55 Type from a particular concept scheme or vocabulary to be declared as having an order relative to other instances of E55 Type in the same or other concept schemes, without necessarily having a specific value associated with either instance. This allows, for example, for an E55 Type instance representing the concept of "good" in a conservation report vocabulary to be greater than the E55 Type instance representing the concept of "average" in the same vocabulary. This property is transitive, and thus if "average" is greater than "poor", then "good" is also greater than "poor". In the domain of statistics, types that participate in this kind of relationship are called "Ordinal Variables"; as opposed to those without order which are called "Nominal Variables". This property allows for queries that select based on the relative position of participating E55 Types. Examples: - In the condition survey of the manuscripts of the library of the Saint Catherine Monastery, the option ‘supple’ (E55) is conceptually greater than the option ‘stiff’ (E55). [These options are used for assessing parchment on page 2, section 2 of the survey form and within the context of the dry conditions of the Sinai desert where the Monastery is, ‘supple’ is considered better because it is less brittle] (Pickwoad, 2004)
O28i is conceptually less than
is conceptually less than
Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property allows an instance of E55 Type from a particular concept scheme or vocabulary to be declared as having an order relative to other instances of E55 Type in the same or other concept schemes, without necessarily having a specific value associated with either instance. This allows, for example, for an E55 Type instance representing the concept of "good" in a conservation report vocabulary to be greater than the E55 Type instance representing the concept of "average" in the same vocabulary. This property is transitive, and thus if "average" is greater than "poor", then "good" is also greater than "poor". In the domain of statistics, types that participate in this kind of relationship are called "Ordinal Variables"; as opposed to those without order which are called "Nominal Variables". This property allows for queries that select based on the relative position of participating E55 Types. Examples of the inverse property: - In the condition survey of the manuscripts of the library of the Saint Catherine Monastery, the option ‘supple’ (E55) is conceptually greater than the option ‘stiff’ (E55). [These options are used for assessing parchment on page 2, section 2 of the survey form and within the context of the dry conditions of the Sinai desert where the Monastery is, ‘supple’ is considered better because it is less brittle] (Pickwoad, 2004)
O29 removed sub-sample
removed sub-sample
Quantification: many to many (0,n:0,n) Scope note: This property associates an instance of S24 Sample Splitting with the resulting instance of S13 Sample that has been removed from the original sample. The new sample (i.e. the sub-sample) maintains the characteristic qualities of the original. Examples: - The subsampling activity by Godfrey et al. in 2000 (S24) removed sub-sample the ICP-AES subsample (S13). [This sub-sample was used for elemental analysis using inductively coupled plasma atomic emission spectrometry (ICP-AES) to reveal the composition of the original sample.] (Godfrey et al., 2002) In First Order Logic: - O29(x,y) ⇒ S24(x) - O29(x,y) ⇒ S13(y)
O29i was sub-sample removed by
was sub-sample removed by
Quantification of the inverse property: many to many (0,n:0,n) Scope note of the inverse property: This property associates an instance of S24 Sample Splitting with the resulting instance of S13 Sample that has been removed from the original sample. The new sample (i.e. the sub-sample) maintains the characteristic qualities of the original. Examples of the inverse property: - The subsampling activity by Godfrey et al. in 2000 (S24) removed sub-sample the ICP-AES subsample (S13). [This sub-sample was used for elemental analysis using inductively coupled plasma atomic emission spectrometry (ICP-AES) to reveal the composition of the original sample.] (Godfrey et al., 2002) In First Order Logic of the inverse property: - O29(x,y) ⇒ S24(x) - O29(x,y) ⇒ S13(y)
O30 determined position
determined position
Quantification: many to many (0,n:0,n) Scope note: This property associates an instance of S23 Position Determination with the instance of E94 Space Primitive which is the result of that determination. The instance of E94 Space Primitive approximates the place occupied by the entity whose position is being determined. Examples: - The determination of the position of the Titanic for the initial distress call after hitting an iceberg (S23) determined position 41°44′N 50°24′W (E94). [This was quickly determined via ‘dead reckoning’, i.e. based on the distance travelled since the previous known location, extrapolating a previous dead reckoning for 14 April 1912 20:00] (Halpern, 2011, Boxhall, 1962) - The determination of the position of the Titanic by officer Joseph G. Boxhall after the initial distress signal was sent (S23) determined position 41°46′N 50°14′W (E94). [This was again determined via dead reckoning but extrapolating Boxhall's own determination shortly after 20:00, and revised the original position.] (Halpern, 2011, Boxhall, 1962) - The calculation of the position of the Titanic by Robert Ballard's team after the Titanic ship-wreck was found (S23) determined position 41°43′32′′N 49°56′49′′W (E94). [This was the position of the centre of the ‘boiler field’, part of the Titanic debris] (Ballard et al., 1987) - Samuel Halpern’s 2007 determination of the position of the Titanic at the time of the collision (S23) determined position 41°45.5′N 49°55′W (E94). [This was based on the position of the boiler field and the ocean drift at the time.] (Halpern, 2007) In First Order Logic: - O30(x,y) ⇒ S23(x) - O30(x,y) ⇒ E94(y)
O31 has validity time-span
has validity time-span
Quantification: many to one, necessary (1,1:0,n) Scope note: This property associates an instance of S23 Position Determination with the instance of E52 Time-Span for which the determination is valid according to the observer at the time of the observation. No inferences can be made in relation to the validity of the determination outside this time-span despite the fact that some entities are relatively stable and their positions may remain the same after the determination. The time-span of validity should fall within the overall time-span of the process of determination. Examples: - The determination of the position of the Titanic for the initial distress call after hitting an iceberg (S23) has validity time-span the time of the collision (E52). [This is a plausible guess based on Boxhall’s account; the collision was on 14 April 1912 23:40 ship’s time.] (Halpern, 2011, Boxhall, 1962) - The determination of the position of the Titanic by officer Joseph G. Boxhall after the initial distress signal was sent (S23) has validity time-span the time of the collision (E52). [Boxhall was convinced of the correctness of his position determination until his death.] (Halpern 2011, Boxhall, 1962) - The determination of the position of the Titanic by Robert Ballard's team after the Titanic ship-wreck was found (S23) has validity time-span the time of the position determination (E52). [This time period falls within the 1(st) of September 1985 00:48, i.e. the first encounter of a piece of Titanic debris and 1987] (Ballard et al., 1987) In First Order Logic: - O31(x,y) ⇒ S23(x) - O31(x,y) ⇒ E52(y) - Oxx2(x,y) ⇒ P4(x,z) ) ∧ P86(y,z)
O31i is time-span validity for
is time-span validity for
Quantification of the inverse property: many to one, necessary (1,1:0,n) Scope note of the inverse property: This property associates an instance of S23 Position Determination with the instance of E52 Time-Span for which the determination is valid according to the observer at the time of the observation. No inferences can be made in relation to the validity of the determination outside this time-span despite the fact that some entities are relatively stable and their positions may remain the same after the determination. The time-span of validity should fall within the overall time-span of the process of determination. Examples of the inverse property: - The determination of the position of the Titanic for the initial distress call after hitting an iceberg (S23) has validity time-span the time of the collision (E52). [This is a plausible guess based on Boxhall’s account; the collision was on 14 April 1912 23:40 ship’s time.] (Halpern, 2011, Boxhall, 1962) - The determination of the position of the Titanic by officer Joseph G. Boxhall after the initial distress signal was sent (S23) has validity time-span the time of the collision (E52). [Boxhall was convinced of the correctness of his position determination until his death.] (Halpern 2011, Boxhall, 1962) - The determination of the position of the Titanic by Robert Ballard's team after the Titanic ship-wreck was found (S23) has validity time-span the time of the position determination (E52). [This time period falls within the 1(st) of September 1985 00:48, i.e. the first encounter of a piece of Titanic debris and 1987] (Ballard et al., 1987) In First Order Logic of the inverse property: - O31(x,y) ⇒ S23(x) - O31(x,y) ⇒ E52(y) - Oxx2(x,y) ⇒ P4(x,z) ) ∧ P86(y,z)
O32 determined position of
determined position of
Quantification: many to one, necessary (1,1:0,n) Scope note: This property connects an instance of S23 Position Determination with the instance of S15 Observable Entity whose position is being determined. Examples: - The determination of the position of the Titanic for the initial distress call after hitting an iceberg (S23) determined position of the Titanic (E22). (Halpern, 2011) - The determination of the position of the Titanic by officer Joseph G. Boxhall after the initial distress signal was sent (S23) determined position of the Titanic (E22) (Halpern, 2011) - The determination of the position of the Titanic by Robert Ballard's team after the Titanic ship-wreck was found (S23) determined position of the Titanic. [More precisely it determined the position of the centre of the ‘boiler field’ of Titanic’s debris] (E22) (Ballard et al., 1987) - Samuel Halpern’s 2007 determination of the position of the Titanic at the time of the collision (S23) determined position of the Titanic (E22). (Halpern, 2007) In First Order Logic: - O32(x,y) ⇒ S23(x) - O32 (x,y) ⇒ S15(y) - O32 (x,y) ⇒ (∃z,u,v,w) [E93(z) ∧ P195(z,y) ∧ E52(w) ∧ O31(x,w) ∧ P164(z,w) ∧ E94(v) - ∧ O30(x,v) ∧ E53(u) ∧ P161(z,u) ∧ P121(v,u)]
O32i was located by
was located by
Quantification of the inverse property: many to one, necessary (1,1:0,n) Scope note of the inverse property: This property connects an instance of S23 Position Determination with the instance of S15 Observable Entity whose position is being determined. Examples of the inverse property: - The determination of the position of the Titanic for the initial distress call after hitting an iceberg (S23) determined position of the Titanic (E22). (Halpern, 2011) - The determination of the position of the Titanic by officer Joseph G. Boxhall after the initial distress signal was sent (S23) determined position of the Titanic (E22) (Halpern, 2011) - The determination of the position of the Titanic by Robert Ballard's team after the Titanic ship-wreck was found (S23) determined position of the Titanic. [More precisely it determined the position of the centre of the ‘boiler field’ of Titanic’s debris] (E22) (Ballard et al., 1987) - Samuel Halpern’s 2007 determination of the position of the Titanic at the time of the collision (S23) determined position of the Titanic (E22). (Halpern, 2007) In First Order Logic of the inverse property: - O32(x,y) ⇒ S23(x) - O32 (x,y) ⇒ S15(y) - O32 (x,y) ⇒ (∃z,u,v,w) [E93(z) ∧ P195(z,y) ∧ E52(w) ∧ O31(x,w) ∧ P164(z,w) ∧ E94(v) - ∧ O30(x,v) ∧ E53(u) ∧ P161(z,u) ∧ P121(v,u)]