The SZS Dataform Ontology

Background

• Success describes knowledge about logical data
• Dataform describes format of logical data
• Commonly used to justify success values

The Ontology

• The Meanings

Commonly Useful Values

• Generic proof: Proof
• CNF refutation: CNFRefutation
• Model: Model
• Finite model: FiniteModel
• Saturation: Saturation