ORB
Visualization
(soon)
National Knowledge Project
John (Sowa)
Have you had some experience with people using CLCE to provide machine parsable knowledge?
How are the inter-coder reliability issues?
Otherwise, I agree with John's other comments.
But, first order logic presents expressibility issues when it comes to strategic language: belief, desire, intention, counter-factuals. These kinds of expression are, of course, important for cooperation and competition and their expression in social discourse.
Additionally, first order logic poses a problem type inconsistent tropes (e.g., metaphor) that are an important sources of creativity and openness in language.
So, we need a story for evolving from CLCE towards handling opaque contexts and surface semantics, inter alia, if we are to make progress on unrestricted language.
An interplay between type-consistent, first order logic -style representations and type-inconsistent, higher-order surface semantic representations is required; neither alone will suffice.
John M.