The SZS ontologies for automated reasoning software

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Citations (Scopus)

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 languageEnglish (US)
Title of host publicationCEUR Workshop Proceedings
Pages38-49
Number of pages12
Volume418
StatePublished - 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

Other

OtherLPAR 2008 Workshops on Knowledge Exchange: Automated Provers and Proof Assistants, KEAPPA 2008 and the 7th International Workshop on the Implementation of Logics, IWIL 2008
CountryQatar
CityDoha
Period11/22/0811/22/08

Fingerprint

Ontology

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Sutcliffe, G. (2008). The SZS ontologies for automated reasoning software. In CEUR Workshop Proceedings (Vol. 418, pp. 38-49)

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 proceedingConference contribution

Sutcliffe, G 2008, The SZS ontologies for automated reasoning software. in CEUR Workshop Proceedings. vol. 418, pp. 38-49, 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, 11/22/08.
Sutcliffe G. The SZS ontologies for automated reasoning software. In CEUR Workshop Proceedings. Vol. 418. 2008. p. 38-49
Sutcliffe, Geoffrey. / The SZS ontologies for automated reasoning software. CEUR Workshop Proceedings. Vol. 418 2008. pp. 38-49
@inproceedings{f08a9fcf8fd04b44bd1a0ba72e0c0ed0,
title = "The SZS ontologies for automated reasoning software",
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.",
author = "Geoffrey Sutcliffe",
year = "2008",
language = "English (US)",
volume = "418",
pages = "38--49",
booktitle = "CEUR Workshop Proceedings",

}

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

AN - SCOPUS:84885656172

VL - 418

SP - 38

EP - 49

BT - CEUR Workshop Proceedings

ER -