The SZS Ontologies for
Automated Reasoning Software

Introduction

• Motivation
• Overview

The SZS Ontologies

• The SZS Success Ontology
• The SZS No-Success Ontology
• The SZS Dataform Ontology
• Validation of the SZS Success Ontology

The SZS Presentation Standards

Conclusion

The End