search

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

Add relation rel-during and class history-segment #176

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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 reported on code.google.com by alanruttenberg@gmail.com on 15 May 2013 at 10:43

GoogleCodeExporter commented 9 years ago 
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)

Original comment by alanruttenberg@gmail.com on 27 May 2013 at 9:30

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

Original comment by alanruttenberg@gmail.com on 5 Jun 2013 at 6:20