First order reasoning on a large ontology

Adam Pease; Geoff Sutcliffe

First order reasoning on a large ontology

Adam Pease, Geoff Sutcliffe

Computer Science

Research output: Contribution to journal › Conference article

15 Scopus citations

Abstract

We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology - SUMO), and methods for making SUMO suitable for first order theorem proving. We describe the methods for translating into standard first order format, as well as optimizations that are intended to improve inference performance. We also describe our work in translating SUMO from its native SUO-KIF language into TPTP format.

Original language	English (US)
Pages (from-to)	61-70
Number of pages	10
Journal	CEUR Workshop Proceedings
Volume	257
State	Published - Dec 1 2007
Event	21st CADE 2007 Workshop on Empirically Successful Automated Reasoning in Large Theories, ESARLT 2007 - Bremen, Germany Duration: Jul 17 2007 → Jul 17 2007

ASJC Scopus subject areas

Computer Science(all)

Access to Document

Fingerprint Dive into the research topics of 'First order reasoning on a large ontology'. Together they form a unique fingerprint.

Cite this

Pease, A., & Sutcliffe, G. (2007). First order reasoning on a large ontology. CEUR Workshop Proceedings, 257, 61-70.

@article{952b2827943b4258884983bf750315bc,

title = "First order reasoning on a large ontology",

abstract = "We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology - SUMO), and methods for making SUMO suitable for first order theorem proving. We describe the methods for translating into standard first order format, as well as optimizations that are intended to improve inference performance. We also describe our work in translating SUMO from its native SUO-KIF language into TPTP format.",

author = "Adam Pease and Geoff Sutcliffe",

year = "2007",

month = dec,

day = "1",

language = "English (US)",

volume = "257",

pages = "61--70",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "21st CADE 2007 Workshop on Empirically Successful Automated Reasoning in Large Theories, ESARLT 2007 ; Conference date: 17-07-2007 Through 17-07-2007",

}

TY - JOUR

T1 - First order reasoning on a large ontology

AU - Pease, Adam

AU - Sutcliffe, Geoff

PY - 2007/12/1

Y1 - 2007/12/1

N2 - We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology - SUMO), and methods for making SUMO suitable for first order theorem proving. We describe the methods for translating into standard first order format, as well as optimizations that are intended to improve inference performance. We also describe our work in translating SUMO from its native SUO-KIF language into TPTP format.

AB - We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology - SUMO), and methods for making SUMO suitable for first order theorem proving. We describe the methods for translating into standard first order format, as well as optimizations that are intended to improve inference performance. We also describe our work in translating SUMO from its native SUO-KIF language into TPTP format.

UR - http://www.scopus.com/inward/record.url?scp=84884652201&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84884652201&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84884652201

VL - 257

SP - 61

EP - 70

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

T2 - 21st CADE 2007 Workshop on Empirically Successful Automated Reasoning in Large Theories, ESARLT 2007

Y2 - 17 July 2007 through 17 July 2007

ER -