Dear All,
For:
P170 defines time (time is defined by)
Domain: E61 <#_heading=h.meukdy>Time Primitive
Range: E52 <#_heading=h.319y80a> Time Span
Quantification: many to one (0,1:0,n )
Scope note: This property associates an instance of E61 Time
Primitive with the instance of E52 <about:blank> Time-Span that
constitutes the interpretation of the terms of the time primitive as an
extent in absolute, real time.
Examples:
▪ (1800/1/1 0:00:00 – 1899/31/12 23:59:59)(E61) defines time The 19th
century (E52)
▪ (1968/1/1 – 2018/1/1)(E61) defines time “1968/1/1 – 2018/1/1” (E52)
[an arbitrary time-span during which the Saint Titus reliquary was
present in the Saint Titus Church in Heraklion, Crete]
In First Order Logic:
P170(x,y) ⇒ E61(x)
P170(x,y) ⇒ E52(y)
I propose:
P170(x,y) ⇒ P81(y,x) ˄ P82(y,x)
Meaning: the respective time-span is exactly ongoing and within the
given time primitive.
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
