search

zhengj2007 / bfo-export

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

Closure axioms #95

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Should closure axioms (with the discussed exceptions) be included into the 
standard owl file or omitted for performance reasons?

Original issue reported on code.google.com by steschu@gmail.com on 8 Jul 2012 at 11:12

GoogleCodeExporter commented 9 years ago 
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.

Original comment by alanruttenberg@gmail.com on 8 Jul 2012 at 1:31

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 10 Jul 2012 at 4:34