You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
perhaps Alan just meant theorem prover generically. P9 is an option but you'd have to convert the CLIF using some tool (I have some adhoc tools for this), and P9 may have some limitations.
HETS might be a good choice as this will maximize interoperability with bfo-owl
I meant a theorem prover generically. Don't know HETS. Latest version sent by Mark includes a clif format version. Chris - you should have received that email.
I don't think it is possible to use a reasoner on BFO-FOL as it stands...
For one thing '=df' is not a connective in FOL.
For another, the specification as it stands is incoherent.
From alanruttenberg@gmail.com on May 09, 2012 11:30:16
I think yes, but we should make a decision and then follow it.
Original issue: http://code.google.com/p/bfo/issues/detail?id=30
The text was updated successfully, but these errors were encountered: