Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

33

CADE
2007
Springer

favoriteEmaildiscussreport

138views Logical Reasoning» more CADE 2007»

First Order Reasoning on a Large Ontology

14 years 11 months ago

First Order Reasoning on a Large Ontology

Download www.cs.miami.edu

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.

Adam Pease, Geoff Sutcliffe

Real-time Traffic

Automated Reasoning | CADE 2007 | Order Format | Order Theorem | Upper Merged Ontology |

claim paper

Related Content

» DLLite in the Light of FirstOrder Logic

» Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

» TBox Classification in Parallel Design and First Evaluation

» Integrating Rules and Ontologies in the FirstOrder Stable Model Semantics Preliminary Repo...

» Parallel TBox Classification in Description Logics First Experimental Results

» A FirstOrder Bayesian Tool for Probabilistic Ontologies

» A First Step Towards Stream Reasoning

» A Principle for Incorporating Axioms into the FirstOrder Translation of Modal Formulae

» Proof Planning for FirstOrder Temporal Logic

Post Info
More Details (n/a)

Added	03 Dec 2009
Updated	03 Dec 2009
Type	Conference
Year	2007
Where	CADE
Authors	Adam Pease, Geoff Sutcliffe

Comments (0)