history-of elucidation problem

[zhengj2007]

From alanruttenberg@gmail.com on May 10, 2013 09:23:14

as(history_of)[Elucidation: b history_of c if c is a material entity or site and b is a history that is the unique history of c

We can't have histories of sites because sites and other continuants can share spatiotemporal regions, which would make the relation not necessarily 1:1. Histories and history-of need to be restricted to material entities.

Workarounds would be to have an addition class/relation for sites, or to not have sites occupy spatiotemporal regions. I would guess you (Barry) would prefer 1 over 2, but would find neither appealing.

Logic sucks that way.

-Alan

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

[zhengj2007]

From alanruttenberg@gmail.com on May 15, 2013 03:33:12

At the meeting I proposed to modify the definition to address the current situation in which immaterial entities are considered parts of material entities. We would change the definition to:

ELUCIDATION: A history of a material entity is a process that is the sum of the totality of processes taking place in the spatiotemporal regions occupied by its material parts.

and add

No two material entities occupy the same spatial region at the same time.

[zhengj2007]

From alanruttenberg@gmail.com on June 05, 2013 11:37:58

have to add site-history-of has-site-history plus segments (if we want to enable histories of sites)

Barry will add and Fix this: "No two material entities occupy the same spatial region at the same time unless one is part of the other at that time? "

(have to make sure that hands occupying a part of the region of the body is ok, but hands of two different people don't occupy the same region at the same time)

If we can't use one relation for sites and material entities, fix in the next release