Dear All,
Here my homework:
CRM archaeo - Issue 303
The CRM-SIG discussed that there is a link between the Range of AP20
to the range of AP19 of type P157 at rest relative to. Means, an
Embedding must be completely contain in a Statigraphic Volume Unit and
not move within it, if you all agree.
I have added the FOL expressions to A2, A7, AP19, AP20, changed the
quantification and scope note of AP19, AP20:
A2 Stratigraphic Volume Unit
Subclass of: A8 <#_A8_Stratigraphic_Unit>Stratigraphic Unit
Scope Note: This class comprises connected portions of terrain or other
solid structure on, in, or under the surface of earth or seafloor
exhibiting some homogeneity of structure or substance and completely
bounded by surfaces or discontinuities in substance or structure with
respect to other portions of the terrain or surfaces of objects/finds.
An instance of A8 Stratigraphic Unit may contain physical objects.
The
internal continuity and the boundaries of an instance of A8
Stratigraphic Unit should be of a kind that can be attributed to a
single genesis event or process and have 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. Normally at least one of the surfaces (such as the
lower one) from its genesis event will remain during its existence.
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:
The stratigraphic deposit unit number (2) of Figure 5 representing the
filling of a post hole
In First Order Logic:
A8(x) ⊃A2(x)
A7 Embedding
Subclass of: S16 <#_S33_Relative_Depth>State
Superclass of:
Scope Note: This class comprises the states of instances of E18 Physical
Things of being partially or completely embedded at a particular
position with relative stability in one or more A2 Stratigraphic Volume
Units. Normally, an embedding is expected having been stable from the
time of generation on of the first 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. It further allows for specifying temporal bounds for which a
particular embedding has been existing as specified according to evidence.
Examples:
The excavator declared the post holes [7] and [8] in Figure 4 to be part
of one building
In First Order Logic:
A7(x) ⊃S16(x)
Properties:**
AP17 <#_AP17_is_found>is found by (found): S19
<#_S19_Encounter_Event>Encounter Event
AP18 <#_AP18_is_embedding>is embedding of (is embedded): E18
<#_E18_Physical_Thing>Physical Thing
AP19 <#_P19_was_intended>is embedding in (contains embedding): A2
<#_A2_Stratigraphic_Volume>Stratigraphic Volume Unit
AP20 <#_AP20_is_embedding>is embedding at (contains): E53
<#_E53_Place_1>Place
AP19 is embedding in (contains embedding)
Domain: A7 <#_A7_Embedding>Embedding
Range: A2 <#_A2_Stratigraphic_Volume>Stratigraphic Volume Unit
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.
In First Order Logic:
AP19(x,y) ⊃A7(x)
AP19(x,y) ⊃A2(y)
AP20 is embedding at (contains)
Domain: A7 <#_A7_Embedding>Embedding
Range: E53 <#_E53_Place>Place
Quantification:one to many (1,n:0,n)
Scope note:This property identifies the E53 Place that is documented as
the E53 Place of the A7 Embedding. This place must be at rest relative
to the instance of A2 Stratigraphic Volume Unit that contains the A7
Embedding.
In First Order Logic:
AP20(x,y) ⊃A7(x)
AP20(x,y) ⊃E53(y)
AP20(x,y) ⊃($z)[ A2(z) ∧AP19(x,z) ∧P157(y,z)]
P157is at rest relative to (provides reference space for)
Domain: _E53_ <#_SP3_Reference_Space> Place
Range: _E18_ <#_E18_Physical_Thing>Physical Thing
Superproperty of: E53 <#_E53_Place> Place. P59i is located on or within:
E18 <#_E18_Physical_Thing> Physical Thing
Quantification: many to many, necessary, dependent (1,n:0,n)
Scope note:This property associates an instance of E53 Place with the
instance of E18 Physical Thing that determines a reference space for
this instance of E53 Place by being at rest with respect to this
reference space. The relative stability of form of an E18 Physical Thing
defines its default reference space. The reference space is not
spatially limited to the referred thing. For example, a ship determines
a reference space in terms of which other ships in its neighbourhood may
be described. Larger constellations of matter, such as continental
plates, may comprise many physical features that are at rest with them
and define the same reference space.
Examples:
§The spatial extent of the municipality of Athens in 2014 (E53) /is at
rest relative to /The Royal Observatory in Greenwich(E25)
§The place where Lord Nelson died on H.M.S. Victory (E53) /is at rest
relative to /H.M.S. Victory (E22)
In First Order Logic:
P157(x,y) ⊃E53(x)
P157(x,y) ⊃E18(y)
Martin
--
--------------------------------------------------------------
Dr. Martin Doerr | Vox:+30(2810)391625 |
Research Director | Fax:+30(2810)391638 |
| Email: [email protected] |
|
Center for Cultural Informatics |
Information Systems Laboratory |
Institute of Computer Science |
Foundation for Research and Technology - Hellas (FORTH) |
|
N.Plastira 100, Vassilika Vouton, |
GR70013 Heraklion,Crete,Greece |
|
Web-site: http://www.ics.forth.gr/isl |
--------------------------------------------------------------
