...forgot:
therefore the equivalence of P160 with P4 from E4 Period downwards is
valid with cardinality (1,1:0,n) and compatible with general cardinality
of P160 (1,n:0,n).
M
On 7/23/2020 1:06 PM, Martin Doerr wrote:
Dear All,
I'd like to add the reasoning about the following in issue 499:
There was a question in the 46th meeting in Athens if the following
paragraph in scope note of P4 Period
"Consequently, an instance of E4 Period may occupy a number of
disjoint spacetime volumes, however there must not be a discontinuity
in the timespan covered by these spacetime volumes. This means that an
instance of E4 Period must be contiguous in time. If it has ended in
all areas, it has ended as a whole. However, it may end in one area
before another, such as in the Polynesian migration, and it continues
as long as it is ongoing in at least one area"
is obsolete, because the scope note of E92 STV states:
"Intersections of instances of E92 Spacetime Volume, E53 Place and E52
Timespan are also regarded as instances of E92 Spacetime Volume. An
instance of E92 Spacetime Volume is either contiguous or composed of a
finite number of contiguous subsets."
However, if intersections of instances of E92 STV should be instances
of E92 STV, contiguity in time will in general not be preserved.
Therefore the SIG decided on 26/2/2020
(a) to NOT delete the following paragraph
and to propose
(b) to change the cardinality of the temporal projection property of
STV → P160 [it’s one to one and has to change]
The subset of instances of E92 STV which are instances of E4 Period by
IsA, are however contiguous in time. Since intersections of E4 Period
are not defined to be instances of E4 Period, there is no conflict
that they are still instances of E92 STV.
Since E93 Presence can be described as intersections of a spatially
unlimited, contiguous "time slice" of spacetime with an STV, instances
of E93 Presence defined for instances of E4 Period or E18 Physical
Thing are also contiguous in time.
Instances of E93 Presence defined for an STV not contiguous in time,
may or may not be contiguous in time depending where it "cuts through".
Best,
Martin
--
------------------------------------
Dr. Martin Doerr
Honorary Head of the
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
Vox:+30(2810)391625
Email: [email protected]
Web-site: http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
[email protected]
http://lists.ics.forth.gr/mailman/listinfo/crm-sig