Dear Martin, all, I looks fine for me.
Bests, Achille > Il giorno 24 nov 2016, alle ore 17:40, martin <mar...@ics.forth.gr> ha > scritto: > > 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 <x-msg://24/#_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 <x-msg://24/#_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 <x-msg://24/#_AP17_is_found> is found by (found): S19 > <x-msg://24/#_S19_Encounter_Event> Encounter Event > > AP18 <x-msg://24/#_AP18_is_embedding> is embedding of (is embedded): E18 > <x-msg://24/#_E18_Physical_Thing> Physical Thing > AP19 <x-msg://24/#_P19_was_intended> is embedding in (contains embedding): A2 > <x-msg://24/#_A2_Stratigraphic_Volume> Stratigraphic Volume Unit > AP20 <x-msg://24/#_AP20_is_embedding> is embedding at (contains): E53 > <x-msg://24/#_E53_Place_1> Place > > AP19 is embedding in (contains embedding) > > Domain: A7 <x-msg://24/#_A7_Embedding> Embedding > > Range: A2 <x-msg://24/#_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 <x-msg://24/#_A7_Embedding> Embedding > Range: E53 <x-msg://24/#_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)] > > > > P157 is at rest relative to (provides reference space for) <> > Domain: E53 <x-msg://24/#_SP3_Reference_Space> Place > Range: E18 <x-msg://24/#_E18_Physical_Thing> Physical Thing > Superproperty of: E53 <x-msg://24/#_E53_Place> Place. P59i is > located on or within: E18 <x-msg://24/#_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: mar...@ics.forth.gr > <mailto:mar...@ics.forth.gr> | > | > 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 > <http://www.ics.forth.gr/isl> | > -------------------------------------------------------------- > > _______________________________________________ > Crm-sig mailing list > Crm-sig@ics.forth.gr <mailto:Crm-sig@ics.forth.gr> > http://lists.ics.forth.gr/mailman/listinfo/crm-sig > <http://lists.ics.forth.gr/mailman/listinfo/crm-sig>