Cyc XML Schemas

Some Cyc results and output are available as XML files.  The following XSDs describe the most commonly used Cyc XML outputs:

  • Cyc Concepts

    XML schema for Cyc concepts.

    cycconcepts.xsd

  • Cycl Query

    XML schema for CycL query specifications, including query sentence, microtheory, and inference parameters.

    cyclquery.xsd

  • Cyc ML

    XML schema for CycL terms, including constants, formulas, assertions, etc.

    cycml.xsd

  • Forumula Template

    XML schema for formula templates. Used for loading CycL query specifications from a Cyc image.

    formulatemplate.xsd

  • Proof View

    XML schema for proof-views, a natural-language justification format.

    proofview.xsd

  • Text Processing

    XML schema for text processing results.

    textpprocessing.xsd

  • Lightweight Result Set

    XML schema for minimal result sets used for autocomplete and simple query results.

    ligthweightresultset.xsd