Common Logic is a knowledge base created in 2003.
| #4651on PLDB | 23Years Old |
Common Logic (CL) is a standardized framework for knowledge interchange, published as ISO/IEC 24707:2007. It provides a first-order logic-based language with dialects like Common Logic Interchange Format (CLIF), Controlled English (CE), and IKL, enabling semantic interoperability across systems for knowledge representation and reasoning.