Abstract
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 language | English (US) |
|---|---|
| Pages (from-to) | 38-49 |
| Number of pages | 12 |
| Journal | CEUR Workshop Proceedings |
| Volume | 418 |
| State | Published - Dec 1 2008 |
| Event | LPAR 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 2008 → Nov 22 2008 |
Fingerprint
ASJC Scopus subject areas
- Computer Science(all)
Cite this
Sutcliffe, G. (2008). The SZS ontologies for automated reasoning software. CEUR Workshop Proceedings, 418, 38-49.