Purported example of why at-all-times is wrong
Opened this issue · 0 comments
From alanruttenberg@gmail.com on February 05, 2013 12:21:11
Mentioned by Chris Mungall in https://groups.google.com/d/msg/bfo-owl-devel/4iW_pVjfVIM/l2rZs6cUx6EJ and (I think) https://groups.google.com/d/msg/bfo-owl-devel/ToFi7JazGQc/ZTMFD5B-DzsJ The files pointed to are in: https://code.google.com/p/bfo/source/browse/trunk/src/ontology/owl-group/examples/ ReadmeProver.txt
nuclei-cell-division.out
nuclei-cell-division.prover9
It looks to me that this is an issue with specific versus generic parthood, something that is not handled by any of the current proposals, or by BFO 1.1 OWL, rather than something specific to the temporalization, but a closer analysis will provider further information.
Original issue: http://code.google.com/p/bfo/issues/detail?id=150