The canonicalization subsystem is sometimes referred to as “the Canonicalizer” (as is the canonicalizer proper). Taken as a whole, the canonicalization subsystem provides the language-level support for CycL. It primarily implements the conversion from EL to HL and back again. This can be thought of as analogous to compiling (and decompiling) code. The subsystem also handles enforcing well-formedness constraints on CycL. It consists of the following modules:
- Precanonicalizer
- Wff-Checker
- Simplifier
- The canonicalizer proper
- Uncanonicalizer
[restrict level=”employee”]
[Content for Cycorp employees only]
[/restrict]