Simplified Common Logic (SCL) is a form of Common Logic with a different emphasis.

This wiki has those slides duplicated here, with the option of enhancing them.

Simplified Common Logic

A flexible framework for information interchange based on first-order logic


SCL ad-hoc working group (formed Dec 2002):
Pat Hayes	IHMC, US
Christopher Menzel	Texas A&M U., US
John Sowa	VivoMind, US
Tanel Tammet	U. Goteborg, Sweden
Bill Anderson	OntologyWorks, US
Murray Altheim	Open University, UK
Harry Delugach	U. of Alabama, US

conventional First-Order Logic

All of this causes problems for interoperability and information exchange None of it is actually required by the FO semantics

~~Lexicon fixed by signature~~ No signature required
~~Lexicon is pre-sorted into relation/function/individual names~~ Lexical categories implicit
~~One context-free syntax for expressing logical forms~~ Syntactic options may be user-defined
~~Only ‘pure’ logical forms allowed SCL~~ can be intermixed with other content, including XML markup
~~No relations in the universe of discourse~~ No restrictions on universe of quantification
~~No global naming scheme~~ Uses WWW standard URI conventions