The SZS ontologies for automated reasoning software

Research output: Contribution to journalConference articlepeer-review

21 Scopus citations


This paper 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.

Original languageEnglish (US)
Pages (from-to)38-49
Number of pages12
JournalCEUR Workshop Proceedings
StatePublished - Dec 1 2008
EventLPAR 2008 Workshops on Knowledge Exchange: Automated Provers and Proof Assistants, KEAPPA 2008 and the 7th International Workshop on the Implementation of Logics, IWIL 2008 - Doha, Qatar
Duration: Nov 22 2008Nov 22 2008

ASJC Scopus subject areas

  • Computer Science(all)

Cite this