Common Logic (CL) (2GT6)
see: http://cl.tamu.edu (2GT7)
The CL mailing list, includes current working group participants and the archives of the email discussions. (3IIV)
see also: CommonLogic_V2 (3IIX)
The ISO Common Logic effort (2GT8)
The ISO effort towards an international standard for Common Logic began in June 2003 with the approval of a New Work Item (NP) for Common Logic. This project was assigned to WG2 (Metadata) under SC32 (Data Interchange) of ISO/IEC JTC1. This effort ended on October 1, 2007 with the publication of the final standard, in the approval and publication of the Common Logic (CL) Standard ISO/IEC IS 24707:2007 (2GT9)
Note that a "new" effort and a working group has started (in Sep-2012) to revise and enhance the current (2007) Common Logic (CL) Standard. The project homepage for that work is at: CommonLogic_V2 (3IIW)
The Common Logic project clarifies the mathematical and logical basis behind Logic-based solutions, which may underly several different "surface forms" such as UML, Conceptual Graphs, KIF, or OWL Full (BUM)
CL is specifically relating to First Order Logic (FOL) to OWL conversion ... DavidWhitten (who wrote this and the paragraph above on 2005.04.01), you or some core contributor on the CLv2 team, might want to review and possibly edit/re-state this. --ppy/2012.11.26) (BUN)