Dear All,
I kindly ask for *help* to produce more nice examples for the new
temporal primitives. This should be the domain of historians and
archaeologists.
I found so far the following:
P173:
The legendary run from Marathon to Athens 490BC (E7) /P173 starts before
or with the end of /The Battle of Marathon 490BC (E7)
P183:
Gisle taking office as Bishop of Linköping 1139(E7) /P183 ends before
the start of/ The Guta saga composition (E65)
See “…the account of the church-building and the arrangements concerning
the Bishop of Linköping advance that by a further century or so, since
the first recorded bishop was Gisle, who took office in 1139. This gives
a terminus postquem of circa 1140 for the saga’s composition.”
In:
Title Guta Lag and Guta Saga: The Law and History of the Gotlanders
Routledge Medieval Translations
Editor Christine Peel
Edition illustrated
Publisher Routledge, 2015
ISBN 1317565258, 9781317565253
The complete list is the following
*1.**P173 starts before or with the end of*
oA^s ^tart ≤ B^e ^nd *//*
*2.**P174 starts before the end of*
oA^s ^tart < B^end *//*
*3.**P175 starts before or with the start of*
oA^s ^tart ≤ B^s ^tart **
*4.**P176 starts before the start of*
oA^s ^tart < B^s ^tart *//*
*5.**P182 ends before or with the start of*
oA^end ≤ B^start
*6.**P183 ends before the start of*
oA^end < B^start
*7.**P184 ends before or with the end of*
oA^end ≤ B^end
*8.**P185 ends before the end of*
oA^end < B^end
--
------------------------------------
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: mar...@ics.forth.gr
Web-site: http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig