Canonicalization subsystem

Home / Glossary / Canonicalization subsystem

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

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA