zhengj2007
commented
9 years ago From alanruttenberg@gmail.com on July 08, 2012 06:31:01
There are no closure axioms in BFO2. At every level there is the possibility of other disjoint types. See Issue 47 , and per discussion with Barry. Please close issue if you are satisfied by this conclusion.
From steschu@gmail.com on July 08, 2012 07:12:48
Should closure axioms (with the discussed exceptions) be included into the standard owl file or omitted for performance reasons?
Original issue: http://code.google.com/p/bfo/issues/detail?id=95