The SZS Ontologies

Ontology of Results and Outputs

• Aim
  • Correctly and precisely specify what is known/established
  • Set standard presentation

• Motivation
  • Avoid misinterpretation of ATP output
    • Meaningless output
    • Non-standard output
    • Imprecise output
    • Misleading output
  • Support tool embedding

Features

• Developed from a semantic basis
• Success ontology
• No success ontology
• Dataform ontology
• Standards for reporting status and output
• Forthcoming standards for questions and answers

Full details available online at www.tptp.org/TSTP

• Feedback welcome