The SZS Ontologies for
Automated Reasoning Software
Abstract
This talk describes the SZS ontologies that provide status values for
precisely describing what is known or has been established about logical data.
The ontology values are useful for describing existing logical data, and
for automated reasoning software to describe their input and output.
Standards for presenting the ontology values are also provided.