Closure axioms
Opened this issue · 2 comments
zhengj2007 commented
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
zhengj2007 commented
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.
zhengj2007 commented
From alanruttenberg@gmail.com on July 09, 2012 21:34:49
Status: Submitter-Review