search

zhengj2007 / bfo-export

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

Purported example of why at-all-times is wrong #150

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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:
http://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 reported on code.google.com by alanruttenberg@gmail.com on 5 Feb 2013 at 5:21