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) |
|---|---|
| Title of host publication | CEUR Workshop Proceedings |
| Pages | 38-49 |
| Number of pages | 12 |
| Volume | 418 |
| State | Published - 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 |
Other
| Other | 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 |
|---|---|
| Country | Qatar |
| City | Doha |
| Period | 11/22/08 → 11/22/08 |
Fingerprint
ASJC Scopus subject areas
- Computer Science(all)
Cite this
The SZS ontologies for automated reasoning software. / Sutcliffe, Geoffrey.
CEUR Workshop Proceedings. Vol. 418 2008. p. 38-49.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - The SZS ontologies for automated reasoning software
AU - Sutcliffe, Geoffrey
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84885656172&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84885656172&partnerID=8YFLogxK
M3 - Conference contribution
VL - 418
SP - 38
EP - 49
BT - CEUR Workshop Proceedings
ER -