Common Logic - A standard for exchanging logical semantic dataHarry Delugach
University of Alabama Huntsville
Now that the Common Logic standard (ISO/IEC 24707) is nearing its completion, we can now begin to put it to practical use. This talk will introduce the standard, explain its major parts and give some examples of how it can be used to represent interoperable logical information. Its potential relationship to other standards will also be addressed.