SWiM/validation

From MathWeb

Jump to: navigation, search

Levels of validating OMDoc:

  • XML syntax: well-formed, RelaxNG-valid
  • types and links of documents and fragments: try to check that using the document ontology
  • types of symbols in formulae: OpenMath STS checking
  • Florian's DG checker for checking consistency of theory graphs

Resources

Retrieved from "http://mathweb.org/wiki/SWiM/validation"
Facts about SWiM/validationRDF feed
Trac URLhttps://trac.kwarc.info/swim/query?component=Validation&order=priority  +
Personal tools
MathWeb
Structures