Add relation rel-during and class history-segment

[zhengj2007]

From [email protected] on May 15, 2013 06:43:48

to allow for complete use of histories for certain kinds of temporal statements.

rel-during
domain continuant
range history-segment
inverse (invent name)

a rel-during b =
forall t, t part-of temporal-projection-of b
a rel (history-of b)

history-segment =
temporal-part-of some history
subclass of history

history-segment-of
domain history-segment
range continuant
functional
inverse has-history-segment

Original issue: http://code.google.com/p/bfo/issues/detail?id=176

[zhengj2007]

From [email protected] on May 27, 2013 14:30:21

An example inference, from discussion with Barry, explaining need for history-segment-of to be functional.

We want:

part-of-during o is-history-of < part-of-at-some-time.

in other words, if a part-of-during b and b is-history-of c then a part-of-at-some-time b

or

s1 segment of history of a and
s2 segment of history of b
and s1 part of s2
=>
a part-of-at-some-time b

a part-of-during some (history-segment-of b that has-temporal-projection ( is-temporal-projection of s1))

in other words:
s1 segment of history of a and
s2 segment of history of b
and s1 part of s2
then
exists(h,t)
a part-of-during h and
h history-segment-of b and
h has-temporal-projection t and
t is-temporal-projection of s1

--

(I think this can be made into a property chain, so we get (effectively) transitive part during some process)

[zhengj2007]

From [email protected] on June 05, 2013 11:20:35

Discussed on call. Go with it for now, as long as it doesn't slow release and subject to review.